Maths Olympiad Prep

Library / CMO /2 of 22

CMO, 2003

Algebra Difficulty 5.3 AIME, harder Prove it Canada

Problem:
Find all real positive solutions (if any) to
x3+y3+z3=x+y+z, and x2+y2+z2=xyz. \begin{gathered} x^{3}+y^{3}+z^{3}=x+y+z, \text{ and } \\ x^{2}+y^{2}+z^{2}=x y z . \end{gathered}

Solutions — 3

Solution 1

Solution:
Let f(x,y,z)=(x3−x)+(y3−y)+(z3−z)f(x, y, z)=\left(x^{3}-x\right)+\left(y^{3}-y\right)+\left(z^{3}-z\right). The first equation above is equivalent to f(x,y,z)=0f(x, y, z)=0. If x,y,z≥1x, y, z \geq 1, then f(x,y,z)≥0f(x, y, z) \geq 0 with equality only if x=y=z=1x=y=z=1. But if x=y=z=1x=y=z=1, then the second equation is not satisfied. So in any solution to the system of equations, at least one of the variables is less than 1. Without loss of generality, suppose that x<1x<1. Then
x2+y2+z2>y2+z2≥2yz>yz>xyz. x^{2}+y^{2}+z^{2}>y^{2}+z^{2} \geq 2 y z>y z>x y z .
Therefore the system has no real positive solutions.

Solution 2

Solution:
We will show that the system has no real positive solution. Assume otherwise.
The second equation can be written x2−(yz)x+(y2+z2)x^{2}-(y z) x+\left(y^{2}+z^{2}\right). Since this quadratic in xx has a real solution by hypothesis, its discriminant is nonnegative. Hence
y2z2−4y2−4z2≥0 y^{2} z^{2}-4 y^{2}-4 z^{2} \geq 0
Dividing through by 4y2z24 y^{2} z^{2} yields
14≥1y2+1z2≥1y2 \frac{1}{4} \geq \frac{1}{y^{2}}+\frac{1}{z^{2}} \geq \frac{1}{y^{2}}
Hence y2≥4y^{2} \geq 4 and so y≥2y \geq 2, yy being positive. A similar argument yields x,y,z≥2x, y, z \geq 2. But the first equation can be written as
x(x2−1)+y(y2−1)+z(z2−1)=0 x\left(x^{2}-1\right)+y\left(y^{2}-1\right)+z\left(z^{2}-1\right)=0
contradicting x,y,z≥2x, y, z \geq 2. Hence, a real positive solution cannot exist.

Solution 3

Solution:
Applying the arithmetic-geometric mean inequality and the Power Mean Inequalities to x,y,zx, y, z we have
xyz3≤x+y+z3≤x2+y2+z23≤x3+y3+z333 \sqrt[3]{x y z} \leq \frac{x+y+z}{3} \leq \sqrt{\frac{x^{2}+y^{2}+z^{2}}{3}} \leq \sqrt[3]{\frac{x^{3}+y^{3}+z^{3}}{3}}
Letting S=x+y+z=x3+y3+z3S=x+y+z=x^{3}+y^{3}+z^{3} and P=xyz=x2+y2+z2P=x y z=x^{2}+y^{2}+z^{2}, this inequality can be written
P3≤S3≤P3≤S33 \sqrt[3]{P} \leq \frac{S}{3} \leq \sqrt{\frac{P}{3}} \leq \sqrt[3]{\frac{S}{3}}
Now P3≤P3\sqrt[3]{P} \leq \sqrt{\frac{P}{3}} implies P2≤P3/27P^{2} \leq P^{3} / 27, so P≥27P \geq 27. Also S3≤S33\frac{S}{3} \leq \sqrt[3]{\frac{S}{3}} implies S3/27≤S/3S^{3} / 27 \leq S / 3,
so S≤3S \leq 3. But then P3≥3\sqrt[3]{P} \geq 3 and S33≤1\sqrt[3]{\frac{S}{3}} \leq 1 which is inconsistent with P3≤S33\sqrt[3]{P} \leq \sqrt[3]{\frac{S}{3}}. Therefore the system cannot have a real positive solution.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.