Maths Olympiad Prep

Library / /3 of 18

Number theory Difficulty 5.5 AIME, harder Prove it China

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

Solution

If 2pq2 \mid pq, we suppose that p=2p = 2 without loss of generality, and then q5q+25q \mid 5^q + 25. By Fermat's theorem we have q5q5q \mid 5^q - 5, so q30q \mid 30, where (2,3)(2, 3) and (2,5)(2, 5) are solutions [(2, 2) does not fit].
If 5pq5 \mid pq, we suppose that p=5p = 5 without loss of generality and then 5q5q+555q \mid 5^q + 5^5. By Fermat's theorem we have q55q1q \mid 5^{5^q - 1}, so q313q \mid 313, where (5,5)(5, 5) and (5,313)(5, 313) are solutions.
Otherwise, we have pq5p1+5q1pq \mid 5^{p-1} + 5^{q-1}, and so
5p1+5q10(modp). 5^{p-1} + 5^{q-1} \equiv 0 \pmod{p}.
By Fermat's theorem, 5p11(modp)5^{p-1} \equiv 1 \pmod{p},
and because of the above, 5q11(modp)5^{q-1} \equiv -1 \pmod{p}.
Denote by p1=2k(2r1)p-1=2^k(2r-1), q1=2l(2s1)q-1=2^l(2s-1), where k,l,r,sk, l, r, s are positive integers.
If klk \le l, because of the previous congruences we get
1=12lk(2s1)(5p1)2lk(2s1)=52l(2r1)(2s1)=(5q1)2r1=(1)2r1=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 p2p \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.