Maths Olympiad Prep

Library / /75 of 520

Number theory Difficulty 5.5 AIME, harder Find the answer

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

A number or a short expression. Spacing and $ signs are ignored.

Solution

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

If n=2k+1 n=2k+1 is odd, we consider the equation modulo 5 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 5 is 0, 1, or 4. Therefore n n is even and x2=52k+122k x^{2} = 5^{2k} + 12^{2k} . Rearrange this equation in the form

52k=(x12k)(x+12k) 5^{2k} = (x - 12^k)(x + 12^k)

If 5 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 k2 k \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=2 n=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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.