Maths Olympiad Prep

Library / JBMO Shortlist /15 of 27

JBMO Shortlist

Number theory Difficulty 5.7 AIME, harder Prove it JBMO

Problem:

Do there exist prime numbers pp and qq such that p2(p3−1)=q(q+1)p^{2}(p^{3}-1)=q(q+1)?

Solution

Solution:

Write the given equation in the form
p2(p−1)(p2+p+1)=q(q+1) p^{2}(p-1)\left(p^{2}+p+1\right)=q(q+1)
First observe that it must not be p=qp=q, since in this case the left hand side of (9) is greater than its right hand side. Hence, since pp and qq are distinct primes, (9) immediately yields p2∣q+1p^{2} \mid q+1, that is
q=ap2−1 q=a p^{2}-1
for some a∈Na \in \mathbb{N}. Since pp and qq are both primes, by (9) we get the following cases:

Case 1: q∣p−1q \mid p-1, that is
p=bq+1 p=b q+1
for some b∈Nb \in \mathbb{N}. Substituting (11) into (10), and using the fact that a≥1a \geq 1 and b≥1b \geq 1, we obtain
q=a(bq+1)2−1≥(q+1)2−1=q2+2q q=a(b q+1)^{2}-1 \geq(q+1)^{2}-1=q^{2}+2 q
a contradiction.

Case 2: q∣p2+p+1q \mid p^{2}+p+1, that is
p2+p+1=bq p^{2}+p+1=b q
for some b∈Nb \in \mathbb{N}. Substituting (10) into (12), we get
p2+p+1=b(ap2−1) p^{2}+p+1=b\left(a p^{2}-1\right)
If a≥2a \geq 2, then from (13) it follows that
p2+p+1≥2p2−1 p^{2}+p+1 \geq 2 p^{2}-1
or equivalently, p+1≥(p−1)(p+1)p+1 \geq(p-1)(p+1), that is, (p+1)(2−p)≥0(p+1)(2-p) \geq 0. This implies that p=2p=2, and so q∣22+2+1=7q \mid 2^{2}+2+1=7. Hence, q=7q=7, but the pair p=2p=2 and q=7q=7 does not satisfy the equation (9).

Hence, it must be a=1a=1. Then if b≥3b \geq 3, (13) implies
p2+p+1≥3(p2−1) p^{2}+p+1 \geq 3\left(p^{2}-1\right)
or equivalently, 4≥p(2p−1)4 \geq p(2 p-1), which is obviously impossible.

Thus, it must be a=1a=1 and b∈{1,2}b \in\{1,2\}. For a=b=1a=b=1, (13) implies that p=2p=2, which by (12) again yields q=7q=7, which is impossible. Finally, for a=1a=1 and b=2b=2, (13) gives p(p−1)=3p(p-1)=3, which is clearly not satisfied for any prime pp.

Hence, there do not exist prime numbers pp and qq which satisfy the given equation.

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.