Maths Olympiad Prep

Library / /2 of 10

, 2023

Number theory Difficulty 5.6 AIME, harder Prove it Switzerland

Problem:
Determine all integer values that the expression
pq+pp+qqp+q \frac{p q + p^{p} + q^{q}}{p + q}
can take, where pp and qq are both prime numbers.

Solution

Solution:
Answer: The only possible integer value is 33.

If both pp and qq are odd, then the numerator is odd while the denominator is even. Since an even number never divides an odd number, this does not lead to an integer value. Hence we can assume that one of our primes is even and therefore equal to 22. Since the expression is symmetric in pp and qq, we can assume without loss of generality that q=2q = 2.

Substituting q=2q = 2, it remains to determine all integer values taken by the expression
2p+pp+4p+2=2(p+2)+ppp+2=2+ppp+2 \frac{2p + p^{p} + 4}{p + 2} = \frac{2(p + 2) + p^{p}}{p + 2} = 2 + \frac{p^{p}}{p + 2}
In order for this to be an integer, we must have that p+2p + 2 is a divisor of ppp^{p}. But since pp is prime, the only positive divisors of ppp^{p} are 1,p,p2,,pp11, p, p^{2}, \ldots, p^{p-1} and ppp^{p}. If p>2p > 2, then we have
p<p+2<p+p=2p<p2 p < p + 2 < p + p = 2p < p^{2}
and p+2p + 2 is strictly squeezed between two consecutive divisors of ppp^{p}. It follows that for p>2p > 2 the expression p+2p + 2 never divides ppp^{p} and we don't get integer values. The only case remaining is p=q=2p = q = 2, making the original expression equal to 33.

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.