Library / Ukrainian National Mathematical Olympiad, 3rd Round /8 of 24

Ukrainian National Mathematical Olympiad, 3rd Round

Number theory Difficulty 5.1 AIME, harder Prove it Ukraine

Find all pairs of prime numbers $(a, b)$ , such that $a^b = b^a + 1$ is prime.

Solution

Answer: $(2,3)$ , $(3,2)$ , $(2,2)$ .

Clearly, either $a$ or $b$ is even. WLOG, $a = 2$ . It is easy to see that $b = 2$ and $b = 3$ satisfy the condition. Suppose that $b > 3$ . We have: $2^b = b^2 + 1$ , $b > 3$ . It is easy to see that the last expression is divisible by $3$ and cannot be prime.

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.