Maths Olympiad Prep

Library / Chinese Mathematical Olympiad /3 of 17

Chinese Mathematical Olympiad

Number theory Difficulty 5.5 AIME, harder Prove it China

Find all pairs (p,q)(p, q) of prime numbers such that pq∣5p+5qpq \mid 5^p + 5^q. (Posed by Fu Yunhao)

Solution

If 2∣pq2 \mid pq, we suppose that p=2p = 2 without loss of generality, and then q∣5q+25q \mid 5^q + 25. By Fermat's theorem we have q∣5q−5q \mid 5^q - 5, so q∣30q \mid 30, where (2,3)(2, 3) and (2,5)(2, 5) are solutions [(2, 2) does not fit].
If 5∣pq5 \mid pq, we suppose that p=5p = 5 without loss of generality and then 5q∣5q+555q \mid 5^q + 5^5. By Fermat's theorem we have q∣55q−1q \mid 5^{5^q - 1}, so q∣313q \mid 313, where (5,5)(5, 5) and (5,313)(5, 313) are solutions.
Otherwise, we have pq∣5p−1+5q−1pq \mid 5^{p-1} + 5^{q-1}, and so
5p−1+5q−1≡0(modp). 5^{p-1} + 5^{q-1} \equiv 0 \pmod{p}.
By Fermat's theorem, 5p−1≡1(modp)5^{p-1} \equiv 1 \pmod{p},
and because of the above, 5q−1≡−1(modp)5^{q-1} \equiv -1 \pmod{p}.
Denote by p−1=2k(2r−1)p-1=2^k(2r-1), q−1=2l(2s−1)q-1=2^l(2s-1), where k,l,r,sk, l, r, s are positive integers.
If k≤lk \le l, because of the previous congruences we get
1=12l−k(2s−1)≡(5p−1)2l−k(2s−1)=52l(2r−1)(2s−1)=(5q−1)2r−1=(−1)2r−1=−1(modp), \begin{aligned} 1 &= 1^{2^{l-k}(2s-1)} \equiv (5^{p-1})^{2^{l-k}(2s-1)} \\ &= 5^{2^l(2r-1)(2s-1)} = (5^{q-1})^{2r-1} = (-1)^{2r-1} \\ &= -1 \pmod{p}, \end{aligned}
a contradiction of p≠2p \ne 2. So k>lk > l.
But we have k<lk < l by a similar argument — a contradiction.
Therefore, all possible pairs of primes (p,q)(p, q) are (2,3)(2, 3), (3,2)(3, 2), (2,5)(2, 5), (5,2)(5, 2), (5,5)(5, 5), (5,313)(5, 313) and (313,5)(313, 5).

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.