Olympiad Maths Prep

Library / /1 of 4

Geometry Difficulty 5.3 AIME, harder Prove it Greece

Let PP be an interior point to an equilateral triangle of altitude 11. If xx, yy, zz are the distances from PP to the sides of the triangle, then prove that:
x2+y2+z2x3+y3+z3+6xyz. x^2 + y^2 + z^2 \geq x^3 + y^3 + z^3 + 6xyz.

Solution

It is well-known that in an equilateral triangle the sum of the distances from an interior point PP to its sides equals the altitude of the triangle, as can be easily proven. On account of the preceding, we have to prove that if x+y+z=1x + y + z = 1 then it holds that
x2+y2+z2x3+y3+z3+6xyz x^2 + y^2 + z^2 \geq x^3 + y^3 + z^3 + 6xyz
To do it, we begin observing that when x+y+z=1x + y + z = 1, then
xy+yz+zx9xyz xy + yz + zx \geq 9xyz
Indeed, applying AM-GM inequality, we get
xy+yz+zx=(xy+yz+zx)(x+y+z)3(xy)(yz)(zx)33xyz3=9xyz xy + yz + zx = (xy + yz + zx)(x + y + z) \geq 3\sqrt[3]{(xy)(yz)(zx)} \cdot 3\sqrt[3]{xyz} = 9xyz
or
xy+yz+zx3xyz6xyz xy + yz + zx - 3xyz \geq 6xyz
On account of the constrain and the preceding inequality, we obtain
xy+yz+zx3xyz=xy(1z)+yz(1x)+zx(1y)=xy(x+y)+yz(y+z)+zx(z+x)6xyz \begin{aligned} xy + yz + zx - 3xyz &= xy(1 - z) + yz(1 - x) + zx(1 - y) \\ &= xy(x + y) + yz(y + z) + zx(z + x) \\ &\geq 6xyz \end{aligned}
Adding 11 to both terms of the last inequality and reordering terms, yields
(x+y+z)2+xy(x+y)+yz(y+z)+zx(z+x)6xyz1 (x + y + z)^2 + xy(x + y) + yz(y + z) + zx(z + x) - 6xyz \geq 1
or equivalently,
x2+y2+z2+2xy(1z)+2yz(1x)+2zx(1y)+xy(x+y)+yz(y+z)+zx(z+x)1, x^2 + y^2 + z^2 + 2xy(1-z) + 2yz(1-x) + 2zx(1-y) + xy(x+y) + yz(y+z) + zx(z+x) \geq 1,
and
x2+y2+z2+3xy(x+y)+3yz(y+z)+3zx(z+x)1=(x+y+z)3 x^2 + y^2 + z^2 + 3xy(x + y) + 3yz(y + z) + 3zx(z + x) \geq 1 = (x + y + z)^3
from which
x2+y2+z2x3+y3+z3+6xyz x^2 + y^2 + z^2 \geq x^3 + y^3 + z^3 + 6xyz
follows. Equality holds when x=y=z=1/3x = y = z = 1/3. That is, when PP is the centroid of the triangle, and we are done.

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.