Students ought to be able to argue that at least the solution values are interchangeable, that is, that if x = a , y = b , z = c x = a, y = b, z = c x = a , y = b , z = c is a solution, then so is x = c , y = z , z = b x = c, y = z, z = b x = c , y = z , z = b . To prove the stronger result that the solutions are constant, treat the equation as a quadratic in x x x :
x 2 − ( y + z ) x + ( y 2 − y z + z 2 ) = 0. x^2 - (y + z) x + (y^2 - yz + z^2) = 0. x 2 − ( y + z ) x + ( y 2 − yz + z 2 ) = 0.
The quadratic formula gives:
x = ( y + z ) ± ( y + z ) 2 − 4 ( y 2 − y z + z 2 ) 2 . x = \frac{(y + z) ± \sqrt{(y+z)^2 - 4 (y^2 - y z + z^2)}}{2}. x = 2 ( y + z ) ± ( y + z ) 2 − 4 ( y 2 − yz + z 2 ) .
Amazingly, the discriminant factors:
( y + z ) 2 − 4 ( y 2 − y z + z 2 ) = y 2 + 2 y z + z 2 − 4 y 2 + 4 y z − 4 z 2 ) = − 3 y 2 + 6 y z − 3 z 2 = − 3 ( y − z ) 2 = 3 ( y − z ) ( z − y ) .
\begin{aligned}
(y+z)^2 - 4 (y^2 - yz + z^2) & = & y^2 + 2 y z + z^2 - 4 y^2 + 4 y z - 4 z^2) \\
& = & -3 y^2 + 6 y z - 3 z^2 \\
& = & -3 (y - z)^2 \\
& = & 3 (y - z) ( z - y).
\end{aligned}
( y + z ) 2 − 4 ( y 2 − yz + z 2 ) = = = = y 2 + 2 yz + z 2 − 4 y 2 + 4 yz − 4 z 2 ) − 3 y 2 + 6 yz − 3 z 2 − 3 ( y − z ) 2 3 ( y − z ) ( z − y ) .
Now we have,
x = ( y + z ) ± 3 ( y − z ) ( z − y ) 2 . x = \frac{(y + z) ± \sqrt{3 (y - z) ( z - y)}}{2}. x = 2 ( y + z ) ± 3 ( y − z ) ( z − y ) .
Observe that unless y = z , y = z, y = z , just one of the terms y − z y - z y − z and z − y z - y z − y will be negative, which can’t be. So y = z y = z y = z , and similarly x = y x = y x = y and x = z x = z x = z .