Maths Olympiad Prep

Library / /33 of 39

Number theory Difficulty 6.3 National Olympiad Prove it Italy

Problem:

a. Prove that there exist infinitely many triples (x,y,z)(x, y, z) of positive integers such that x2+y2+z2x^{2}+y^{2}+z^{2} is a perfect square.

b. Prove that there exist infinitely many triples (x,y,z)(x, y, z) of positive integers such that x2+y2+z2x^{2}+y^{2}+z^{2} is a perfect square and with the property that the greatest common divisor of the three numbers (x,y,z)(x, y, z) is 1.

Solution

Solution:

a. Let us first observe that x=1,y=2,z=2x=1, y=2, z=2 is a solution, since 12+22+22=321^{2}+2^{2}+2^{2}=3^{2}. It follows then that, for every positive integer nn, the triple x=n,y=2n,z=2nx=n, y=2 n, z=2 n satisfies the requirement of the problem, since
n2+(2n)2+(2n)2=9n2=(3n)2. n^{2}+(2 n)^{2}+(2 n)^{2}=9 n^{2}=(3 n)^{2}.

b. For every positive integer tt, the triple 1,2t,2t21,2 t, 2 t^{2} satisfies the requirements of the problem: indeed the greatest common divisor of these three numbers is always equal to 1, and we have
1+(2t)2+(2t2)2=1+4t2+4t4=(1+2t2)2. 1+(2 t)^{2}+\left(2 t^{2}\right)^{2}=1+4 t^{2}+4 t^{4}=\left(1+2 t^{2}\right)^{2}.
A possible way to find this solution is the following: first of all, to ensure that the condition MCD(x,y,z)=1\operatorname{MCD}(x, y, z)=1 is satisfied we choose x=1x=1. We can then hope that x2+y2+z2=1+y2+z2x^{2}+y^{2}+z^{2}=1+y^{2}+z^{2} can be identified with the square of a certain binomial. Writing 1+y2+z2=(a+b)2=a2+2ab+b21+y^{2}+z^{2}=(a+b)^{2}=a^{2}+2 a b+b^{2}, it is natural to choose a=1,2ab=y2a=1, 2 a b=y^{2} and b=zb=z. Solving this system we find z=b=y22z=b=\frac{y^{2}}{2}, and clearly in order for zz to be an integer it is necessary that yy be even, so we write y=2ty=2 t for some positive integer tt: we then find the proposed solution, x=1,y=2t,z=y22=2t2x=1, y=2 t, z=\frac{y^{2}}{2}=2 t^{2}.

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 translated into English from it; metadata (topic, difficulty) added by this project.