Olympiad Maths Prep

Library / /2 of 4

Number theory Difficulty 6.0 AIME, harder Prove it South Korea

Prove that there are no positive integers x,y,zx, y, z such that
x2y4x4y2+4x2y2z2+x2z4y2z4=0. x^2 y^4 - x^4 y^2 + 4x^2 y^2 z^2 + x^2 z^4 - y^2 z^4 = 0.

Solution

We will prove this statement by contradiction. Assume that there are positive integers x,y,zx, y, z satisfying the equation
x2y4x4y2+4x2y2z2+x2z4y2z4=0.(1) x^2 y^4 - x^4 y^2 + 4x^2 y^2 z^2 + x^2 z^4 - y^2 z^4 = 0. \quad (1)
It is easy to check that xyx \neq 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\gcd(x, y) = (x, y) = 1. Now let x,y,zx, y, z be a positive integer solution of the equation (1) such that (x,y)=1(x, y) = 1.
By factoring the equation (1), we get
0=x2y4x4y2+4x2y2z2+x2z4y2z4=x2(y4+2y2z2+z4)y2(x42x2z2+z4)=x2(y2+z2)2y2(x2z2)2=(x(y2+z2)+y(x2z2))(x(y2+z2)y(x2z2))=((xy)z2+xy(x+y))((x+y)z2+xy(yx)). \begin{aligned} 0 &= x^2 y^4 - x^4 y^2 + 4x^2 y^2 z^2 + x^2 z^4 - y^2 z^4 \\ &= x^2(y^4 + 2y^2 z^2 + z^4) - y^2(x^4 - 2x^2 z^2 + z^4) \\ &= x^2(y^2 + z^2)^2 - y^2(x^2 - z^2)^2 \\ &= (x(y^2 + z^2) + y(x^2 - z^2))(x(y^2 + z^2) - y(x^2 - z^2)) \\ &= ((x - y)z^2 + x y(x + y))((x + y)z^2 + x y(y - x)). \end{aligned}
Then
(yx)z2=xy(x+y)or(x+y)z2=xy(xy). (y - x)z^2 = x y(x + y) \quad \text{or} \quad (x + y)z^2 = x y(x - y).
By multiplying both sides of the first equation by yxy - x we have
(yx)2z2=xy(y2x2).(2) (y - x)^2 z^2 = x y(y^2 - x^2). \quad (2)
By multiplying both sides of the second equation by x+yx + y we have
(x+y)2z2=xy(x2y2)(3) (x + y)^2 z^2 = x y(x^2 - y^2) \quad (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, y) = 1, (x,y2x2)=(y,y2x2)=1(x, y^2 - x^2) = (y, y^2 - x^2) = 1. Now the left hand side of the equation (2) is a perfect square of an integer. We know that x,yx, y, and y2x2y^2 - x^2 are perfect squares. So there are positive integers a,b,ca, b, c such that x=a2,y=b2,y2x2=c2x = a^2, y = b^2, y^2 - x^2 = c^2. Therefore we have the equation
b4a4=c2. b^4 - a^4 = c^2.
But it is well-known that there are no positive integers a,b,ca, b, c satisfying the above equation. It can be proved by infinite descent. Therefore, we prove the statement by contradiction. \square

Looking for a route rather than an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.