Maths Olympiad Prep

Library / /6 of 14

Number theory Difficulty 4.8 AIME Prove it United States

Problem:
Find the smallest prime p>100p > 100 for which there exists an integer a>1a > 1 such that pp divides a891a1\frac{a^{89} - 1}{a - 1}.

Solution

Solution:
The answer is p=179p = 179. To see this works, take a=4a = 4; by Fermat's little theorem, 4891=217814^{89} - 1 = 2^{178} - 1 is divisible by 179179.

Now suppose a891(modp)a^{89} \equiv 1 \pmod{p}. We consider two cases:
- If a1(modp)a \equiv 1 \pmod{p}, then
01+a++a8889(modp) 0 \equiv 1 + a + \cdots + a^{88} \equiv 89 \pmod{p}
which forces p=89p = 89.
- Otherwise, since 8989 is prime, it follows aa has order 8989 modulo pp. So 89p189 \mid p - 1. The smallest prime which obeys this is p=179p = 179.

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.