Olympiad Maths Prep

Track / Stage 6 / 68 of 400 #1068 of 2000

Problem 1068

National olympiad, first round
Algebra Difficulty 6.1 Prove it

16. Real numbers x,y,zx, y, z are not equal to 1 and satisfy xyz=1x y z=1. Prove:
x2(x1)2+y2(y1)2+z2(z1)21\frac{x^{2}}{(x-1)^{2}}+\frac{y^{2}}{(y-1)^{2}}+\frac{z^{2}}{(z-1)^{2}} \geqslant 1

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

16. x2(x1)2+y2(y1)2+z2(z1)21a6(a3abc)2+b6(b3abc)2+c6(c3abc)21=(bc+ca+ab)2(b2c2+c2a2+a2b2a2bcb2cac2ab)2(a2bc)2(b2ca)2(c2ab)20\begin{aligned} & \frac{x^{2}}{(x-1)^{2}}+\frac{y^{2}}{(y-1)^{2}}+\frac{z^{2}}{(z-1)^{2}}-1 \\ \equiv & \frac{a^{6}}{\left(a^{3}-a b c\right)^{2}}+\frac{b^{6}}{\left(b^{3}-a b c\right)^{2}}+\frac{c^{6}}{\left(c^{3}-a b c\right)^{2}}-1 \\ = & \frac{(b c+c a+a b)^{2}\left(b^{2} c^{2}+c^{2} a^{2}+a^{2} b^{2}-a^{2} b c-b^{2} c a-c^{2} a b\right)^{2}}{\left(a^{2}-b c\right)^{2}\left(b^{2}-c a\right)^{2}\left(c^{2}-a b\right)^{2}} \geqslant 0\end{aligned}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.