MathDB
IMO LongList 1985 BEL1 - Prove the equation

Source:

September 10, 2010
number theoryleast common multiplealgebra proposedalgebra

Problem Statement

Let x,yx, y, and zz be real numbers satisfying x+y+z=xyz.x + y + z = xyz. Prove that x(1y2)(1z2)+y(1z2)(1x2)+z(1x2)(1y2)=4xyz.x(1 - y^2)(1 - z^2) + y(1 -z^2)(1 - x^2) + z(1 - x^2)(1 - y^2) = 4xyz.