Maths Olympiad Prep

Library / /17 of 22

Number theory Difficulty 6.0 AIME, harder Prove it Romania

Determine the triples of positive integers (x,y,z)(x, y, z) such that x4+y4=2z2x^4 + y^4 = 2z^2 and x,yx, y are co-prime.

Solution

Let (x,y,z)(x, y, z) be a solution of the problem. Then, notice that x,yx, y are odd, hence zz is also odd, and co-prime with xyxy. The equation can be written successively x8+2x4y4+y8=4z4x^8 + 2x^4y^4 + y^8 = 4z^4, or (x4y4)2=4z44x4y4(x^4 - y^4)^2 = 4z^4 - 4x^4y^4, or z4(xy)4=(x4y42)2z^4 - (xy)^4 = \left(\frac{x^4-y^4}{2}\right)^2.

We prove that the equation a4b4=c2a^4 - b^4 = c^2 ())\left(*)\right), has no solutions (a,b,c)(a, b, c), where a,b,ca, b, c are positive integers and a,ba, b are co-prime. Assume the contrary to be true. Consider (a0,b0,c0)N3(a_0, b_0, c_0) \in \mathbb{N}^3 the solution of the above equation with a0a_0 minimum.

If b0b_0 is odd, from b04+c02=a04b_0^4 + c_0^2 = a_0^4 we deduce that there exist positive integers m,n,m>nm, n, m > n, of different parities, such that a0=m2+n2a_0 = m^2 + n^2, b02=m2n2b_0^2 = m^2 - n^2, and c0=2mnc_0 = 2mn. It follows that m4n4=(a0b0)2m^4 - n^4 = (a_0b_0)^2, i.e. the triple (m,n,ab)(m, n, ab) is a solution of equation ()(*), with m,n,ab>0m, n, ab > 0 and (m,n)=1(m, n) = 1. This contradicts the minimality of a0a_0.

If bb is even, there exist m,nNm, n \in \mathbb{N}, m>nm > n, such that a2=m2+n2a^2 = m^2 + n^2, b2=2mnb^2 = 2mn, and c=m2n2c = m^2 - n^2. We may assume that mm is even, nn is odd. From b2=2mnb^2 = 2mn it follows that 2m=p22m = p^2, n=q2n = q^2, i.e. m=2p12m = 2p_1^2, n=q2n = q^2, with qq odd, (p1,q)=1(p_1, q) = 1. Thus, a2=(2p12)2+(q2)2a^2 = (2p_1^2)^2 + (q^2)^2, which means that there exist r,sNr, s \in \mathbb{N}, r>sr > s, such that a=r2+s2a = r^2 + s^2, 2p12=2rs2p_1^2 = 2rs, q2=r2s2q^2 = r^2 - s^2. From (r,s)=1(r, s) = 1 and rs=p12rs = p_1^2 it follows that r=u2r = u^2, s=v2s = v^2, and (u,v)=1(u, v) = 1. This means that u4v4=q2u^4 - v^4 = q^2, i.e. (u,v,q)(u, v, q) is a solution of equation ()(*) with u,v,qNu, v, q \in \mathbb{N}, (u,v)=1(u, v) = 1, and u<a0u < a_0, which contradicts the choice of a0a_0.

Getting back to the equation
z4(xy)4=(x4y42)2, z^4 - (xy)^4 = \left(\frac{x^4 - y^4}{2}\right)^2,
from the above we can see that the only solutions it may have are with x4y4=0x^4 - y^4 = 0, i.e. with x=yx = y. But, as (x,y)=1(x, y) = 1, it follows that one must have x=y=1x = y = 1, and finally that x=y=z=1x = y = z = 1 is the only solution.

Want a route through all this instead of 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 reproduced verbatim; metadata (topic, difficulty) added by this project.