Maths Olympiad Prep

Library / /10 of 36

Number theory Difficulty 6.0 National Olympiad Prove it Italy

Problem:

a. Determine whether 200520042005^{2004} is the sum of two positive perfect squares.

b. Determine whether 200420052004^{2005} is the sum of two positive perfect squares.

Solution

Solution:

a. 200520042005^{2004} is the sum of two positive perfect squares.
Observe that 52=32+425^{2} = 3^{2} + 4^{2} and that 20052004=52m22005^{2004} = 5^{2} m^{2}, where m=510014011002m = 5^{1001} \cdot 401^{1002}. Multiplying the first relation by m2m^{2} we obtain
20052004=(5m)2=(3m)2+(4m)2. 2005^{2004} = (5m)^{2} = (3m)^{2} + (4m)^{2}.

b. 200420052004^{2005} is not the sum of two positive perfect squares.
First observe that 20042005=3200566820052004^{2005} = 3^{2005} \cdot 668^{2005} is divisible by 33. Checking the remainder of the division by 33 of the square of an integer xx, we see that if xx is divisible by 33 the remainder is 00, while if it is not, and hence x=3k±1x = 3k \pm 1, then x2=9k2±6k+1x^{2} = 9k^{2} \pm 6k + 1, so the remainder is 11. If there existed positive integers x,yx, y such that 20042005=x2+y22004^{2005} = x^{2} + y^{2}, then x2+y2x^{2} + y^{2} would be divisible by 33, and hence so would the sum of the remainders of x2x^{2} and y2y^{2}. Analyzing all the cases, we see that the only possibility is that both xx and yy are divisible by 33. Now set x=3x1,y=3y1x = 3x_{1}, y = 3y_{1}. Simplifying the equation 20042005=x2+y22004^{2005} = x^{2} + y^{2} by the common factor 99, we obtain 320036682005=x12+y123^{2003} \cdot 668^{2005} = x_{1}^{2} + y_{1}^{2}. Analyzing divisibility by 33 again, we find that x1x_{1} and y1y_{1} must also be divisible by 33, and so the equation can again be simplified by dividing by 99. Proceeding in this way, we will reach the point where the equation reduces to the form
36682005=xn2+yn2 3 \cdot 668^{2005} = x_{n}^{2} + y_{n}^{2}
But again, this equation is possible only if xnx_{n} and yny_{n} are divisible by 33, and hence xn2+yn2x_{n}^{2} + y_{n}^{2} is divisible by 99. However, since 366820053 \cdot 668^{2005} is not divisible by 99, such an equation has no solutions.

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.