We will prove this statement by contradiction. Assume that there are positive integers x,y,z satisfying the equation
x2y4−x4y2+4x2y2z2+x2z4−y2z4=0.(1)
It is easy to check that x=y. If there are solutions of the equation (1), we have a solution of the equation (1) such that gcd(x,y)=(x,y)=1. Now let x,y,z be a positive integer solution of the equation (1) such that (x,y)=1.
By factoring the equation (1), we get
0=x2y4−x4y2+4x2y2z2+x2z4−y2z4=x2(y4+2y2z2+z4)−y2(x4−2x2z2+z4)=x2(y2+z2)2−y2(x2−z2)2=(x(y2+z2)+y(x2−z2))(x(y2+z2)−y(x2−z2))=((x−y)z2+xy(x+y))((x+y)z2+xy(y−x)).
Then
(y−x)z2=xy(x+y)or(x+y)z2=xy(x−y).
By multiplying both sides of the first equation by y−x we have
(y−x)2z2=xy(y2−x2).(2)
By multiplying both sides of the second equation by x+y we have
(x+y)2z2=xy(x2−y2)(3)
Since we can solve the equation (3) by the same way in which we solve the equation (2), we are going to solve the equation (2).
Because (x,y)=1, (x,y2−x2)=(y,y2−x2)=1. Now the left hand side of the equation (2) is a perfect square of an integer. We know that x,y, and y2−x2 are perfect squares. So there are positive integers a,b,c such that x=a2,y=b2,y2−x2=c2. Therefore we have the equation
b4−a4=c2.
But it is well-known that there are no positive integers a,b,c satisfying the above equation. It can be proved by infinite descent. Therefore, we prove the statement by contradiction. □