Difference between revisions of "1964 IMO Problems/Problem 2"

(Here's a solution.)
m (This edit don't exist.)
Line 9: Line 9:
 
<cmath>2z(x+y)^2+2y(x+z)^2+2x(y+z)^2\leq 3(x+y)(x+z)(y+z)</cmath>
 
<cmath>2z(x+y)^2+2y(x+z)^2+2x(y+z)^2\leq 3(x+y)(x+z)(y+z)</cmath>
  
<math></math>2zx^2+4xyz+2zy^2+2yx^2+4xyz+2yz^2+2xy^2+4xyz+2xz^2\leq 3x^2y+3x^2z+3y^2x+3y^2z+3z^2x+3z^2y+6xyz$
+
<cmath>2zx^2+4xyz+2zy^2+2yx^2+4xyz+2yz^2+2xy^2+4xyz+2xz^2\leq 3x^2y+3x^2z+3y^2x+3y^2z+3z^2x+3z^2y+6xyz</cmath>
  
 
<cmath>x^2y+x^2z+y^2x+y^2z+z^2x+z^2y\geq 6xyz</cmath>
 
<cmath>x^2y+x^2z+y^2x+y^2z+z^2x+z^2y\geq 6xyz</cmath>

Revision as of 22:21, 30 November 2009

Problem

Suppose $a, b, c$ are the sides of a triangle. Prove that

\[a^2(b+c-a)+b^2(c+a-b)+c^2(a+b-c)\le{3abc}.\]

Solution

We can use the substitution $a=x+y$, $b=x+z$, and $c=y+z$ to get

\[2z(x+y)^2+2y(x+z)^2+2x(y+z)^2\leq 3(x+y)(x+z)(y+z)\]

\[2zx^2+4xyz+2zy^2+2yx^2+4xyz+2yz^2+2xy^2+4xyz+2xz^2\leq 3x^2y+3x^2z+3y^2x+3y^2z+3z^2x+3z^2y+6xyz\]

\[x^2y+x^2z+y^2x+y^2z+z^2x+z^2y\geq 6xyz\]

\[\frac{x^2y+x^2z+y^2x+y^2z+z^2x+z^2y}{6}\geq xyz=\sqrt[6]{x^2yx^2zy^2xy^2zz^2xz^2y}\]

This is true by AM-GM. We can work backwards to get that the original inequality is true.