Maths Olympiad Prep

Library / /10 of 16

Number theory Difficulty 5.6 AIME, harder Prove it JBMO

Problem:
Find all natural numbers nn such that 5n+12n5^{n} + 12^{n} is a perfect square.

Solution

Solution:
By checking the cases n=1,2,3n=1,2,3 we get the solution n=2n=2 and 132=52+12213^{2}=5^{2}+12^{2}.

If n=2k+1n=2k+1 is odd, we consider the equation modulo 55 and we obtain
x252k+1+122k+1(mod5)22k2(mod5)(1)k2(mod5)±2(mod5) \begin{aligned} x^{2} & \equiv 5^{2k+1}+12^{2k+1} \pmod{5} \equiv 2^{2k} \cdot 2 \pmod{5} \\ & \equiv (-1)^{k} \cdot 2 \pmod{5} \equiv \pm 2 \pmod{5} \end{aligned}
This is not possible, because the square residue of any natural number modulo 55 is 0,10,1 or 44. Therefore nn is even and x2=52k+122kx^{2}=5^{2k}+12^{2k}. Rearrange this equation in the form
52k=(x12k)(x+12k) 5^{2k} = (x-12^{k})(x+12^{k})
If 55 divides both factors on the right, it must also divide their difference, that is
5(x+12k)(x12k)=212k 5 \mid (x+12^{k})-(x-12^{k}) = 2 \cdot 12^{k}
which is not possible. Therefore we must have
x12k=1 and x+12k=52k x-12^{k}=1 \text{ and } x+12^{k}=5^{2k}
By adding the above equalities we get
52k1=212k 5^{2k}-1=2 \cdot 12^{k}
For k2k \geq 2, we have the inequality
25k1>24k=2k12k>212k 25^{k}-1 > 24^{k} = 2^{k} \cdot 12^{k} > 2 \cdot 12^{k}
Thus we conclude that there exists a unique solution to our problem, namely n=2n=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 reproduced verbatim; metadata (topic, difficulty) added by this project.