Maths Olympiad Prep

Library / /5 of 65

Number theory Difficulty 4.8 AIME Prove it Romania

Determine the prime numbers pp for which the number a=7pp16a = 7^p - p - 16 is a perfect square.

Solution

p=2p = 2 does not fulfill the requirement, but p=3p = 3 does: a=73316=324=182a = 7^3 - 3 - 16 = 324 = 18^2.

We show that there are no other solutions. Let p5p \ge 5 be a prime number.

If p1(mod4)p \equiv 1 \pmod 4, then a2(mod4)a \equiv 2 \pmod 4, which shows that aa is not a perfect square.

If p>3p > 3 is a prime of the form 4k+34k + 3, then, from Fermat's Little Theorem it follows that 7p7(modp)7^p \equiv 7 \pmod p, hence a9(modp)a \equiv -9 \pmod p, i.e. pa+9p \mid a + 9. If aa is a perfect square, then pp divides a+9=b2+32a + 9 = b^2 + 3^2 would lead to pp divides bb and pp divides 3, which is not possible.

In conclusion, the only solution to the problem is p=3p = 3.

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.