Maths Olympiad Prep

Library / /7 of 15

Geometry Difficulty 4.9 AIME Prove it United States

Problem:
Prove that there exists a polynomial f(x,y,z)f(x, y, z) with the following property: the numbers x,y|x|, |y|, and z|z| are the sides of a triangle if and only if f(x,y,z)>0f(x, y, z) > 0.

Solution

Solution:
f(x,y,z)=(x+y+z)(x+y+z)(xy+z)(x+yz)[=x2y2+y2z2+z2x2x4y4z4] f(x, y, z) = (x + y + z)(-x + y + z)(x - y + z)(x + y - z) \quad \left[= x^{2} y^{2} + y^{2} z^{2} + z^{2} x^{2} - x^{4} - y^{4} - z^{4}\right]
It is easily seen that the transformation xxx \mapsto -x, and symmetrically yyy \mapsto -y and zzz \mapsto -z, do not change ff, so it is enough to prove the following statement: If x,yx, y, and zz are nonnegative reals, then x,yx, y, and zz are the sides of a triangle if and only if f(x,y,z)>0f(x, y, z) > 0.

Moreover, changing the order of x,yx, y, and zz does not change ff, so we may assume that xyzx \leq y \leq z. Now three of the factors of f(x,y,z)f(x, y, z), namely x+y+zx + y + z, x+y+z-x + y + z, and xy+zx - y + z, are clearly nonnegative.

If x,yx, y, and zz are the sides of a triangle, the familiar triangle inequality x+yzx + y \geq z implies that the fourth factor x+yzx + y - z is positive. Also, a side of a triangle cannot be zero, from which we get x+y+z>0x + y + z > 0, x+y+z>0-x + y + z > 0, xy+z>0x - y + z > 0, and hence f(x,y,z)>0f(x, y, z) > 0.

Conversely, if f(x,y,z)>0f(x, y, z) > 0, then the four factors must be positive, so x,yx, y, and zz are positive and the triangle inequality x+y>zx + y > z holds. To construct the triangle, we may draw two circles of radii xx and yy whose centers YY, XX are a distance zz apart. Because each circle passes both inside and outside the other, the circles intersect at two points. Let ZZ be one. Then XYZX Y Z is the desired triangle.

Want a route through all this instead of 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 reproduced verbatim; metadata (topic, difficulty) added by this project.