Max Real Value of $p$ for Triangles with Positive Sides

Click For Summary
SUMMARY

The maximum real value of $p$ for any triple of positive real numbers $m, n, k$ that satisfies the inequality $pmnk > m^3 + n^3 + k^3$ is established as $p = 5$. This conclusion is drawn from the analysis of the specific case where $(m, n, k) = (2, 1, 1)$, which does not form a triangle and satisfies the equality $m^3 + n^3 + k^3 = 5mnk$. The proof involves demonstrating that for any triple of lengths that do not form a triangle, the inequality $m^3 + n^3 + k^3 \geq 5mnk$ holds true.

PREREQUISITES
  • Understanding of triangle inequalities
  • Knowledge of homogeneous functions and their properties
  • Familiarity with calculus, particularly finding maxima and critical points
  • Basic algebraic manipulation of polynomial inequalities
NEXT STEPS
  • Study the properties of homogeneous functions in depth
  • Learn about triangle inequalities and their applications in geometry
  • Explore optimization techniques for multivariable functions
  • Investigate other inequalities related to symmetric sums and their geometric interpretations
USEFUL FOR

Mathematicians, geometry enthusiasts, and students studying inequalities and optimization in mathematics will benefit from this discussion.

anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Find the maximum real value of $p$ if for any triple of positive real numbers $m,\,n,\,k$ that satisfies the inequality $pmnk>m^3+n^3+k^3$, there exists a triangle with side lengths $m,\,n,\,k$.
 
Mathematics news on Phys.org
[sp]The triple $(m,n,k) = (2,1,1)$ satisfies $m^3+n^3+k^3 = 5mnk$. Since those three lengths do not form a triangle, it follows that $p$ cannot be greater than $5$. To show that $p=5$ does have the given property, it will be sufficient to show that every triple $(m,n,k)$ of lengths that do not form a triangle must satisfy the inequality $m^3 + n^3 + k^3 \geqslant 5mnk.$

We may assume that $k$ is the largest of the three numbers. Then the condition that $m$, $n$, $k$ do not form a triangle is $m+n\leqslant k$. The inequality $m^3 + n^3 + k^3 \geqslant 5mnk$ is homogeneous of degree $3$, so it will be sufficient to scale $m$, $n$, $k$ so that $k=1$ and $m+n\leqslant1$. The inequality then becomes $5mn - m^3 - n^3 \leqslant 1.$ Thus we want to find the maximum value of $f(m,n) = 5mn - m^3 - n^3$ in the triangle $m\geqslant 0$, $n\geqslant 0$, $m+n\leqslant 1.$

The function $f(m,n)$ has no critical points inside the triangle (in fact, its only critical points are $(0,0)$ and $\bigl(\frac53,\frac53\bigr)$), so its maximum value must occur on the boundary. If $m=0$ or $n=0$ then $f(m,n)=0$. If $m+n=1$ then $$f(m,n) = 5m(1-m) - m^3 - (1-m)^3 = -8m^2 + 8m - 1 = 1 - 2(2m-1)^2,$$ which has a maximum value $1$ (when $m= \frac12$). Therefore $f(m,n)\leqslant 1$ in the triangle, as required.[/sp]
 
Opalg said:
[sp]The triple $(m,n,k) = (2,1,1)$ satisfies $m^3+n^3+k^3 = 5mnk$. Since those three lengths do not form a triangle, it follows that $p$ cannot be greater than $5$. To show that $p=5$ does have the given property, it will be sufficient to show that every triple $(m,n,k)$ of lengths that do not form a triangle must satisfy the inequality $m^3 + n^3 + k^3 \geqslant 5mnk.$

We may assume that $k$ is the largest of the three numbers. Then the condition that $m$, $n$, $k$ do not form a triangle is $m+n\leqslant k$. The inequality $m^3 + n^3 + k^3 \geqslant 5mnk$ is homogeneous of degree $3$, so it will be sufficient to scale $m$, $n$, $k$ so that $k=1$ and $m+n\leqslant1$. The inequality then becomes $5mn - m^3 - n^3 \leqslant 1.$ Thus we want to find the maximum value of $f(m,n) = 5mn - m^3 - n^3$ in the triangle $m\geqslant 0$, $n\geqslant 0$, $m+n\leqslant 1.$

The function $f(m,n)$ has no critical points inside the triangle (in fact, its only critical points are $(0,0)$ and $\bigl(\frac53,\frac53\bigr)$), so its maximum value must occur on the boundary. If $m=0$ or $n=0$ then $f(m,n)=0$. If $m+n=1$ then $$f(m,n) = 5m(1-m) - m^3 - (1-m)^3 = -8m^2 + 8m - 1 = 1 - 2(2m-1)^2,$$ which has a maximum value $1$ (when $m= \frac12$). Therefore $f(m,n)\leqslant 1$ in the triangle, as required.[/sp]

Well done, Opalg, well done!(Clapping)
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
969
  • · Replies 3 ·
Replies
3
Views
925
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
1K