Maths Olympiad Prep

Library / Singapore International Mathematical Olympiad Committee National Team Selection Test /2 of 8

Singapore International Mathematical Olympiad Committee National Team Selection Test

Number theory Difficulty 7.7 National Olympiad, round 2 Prove it Singapore

Determine all couples of coprime numbers (p,q)(p, q) satisfying:
p3−q5=(p+q)2. p^3 - q^5 = (p+q)^2.

Solution

Consider the equation modulo qq, which reduces to p3≡p2(modq)p^3 \equiv p^2 \pmod{q}. Since pp and qq are coprime (p≠qp \neq q clearly), we must have p≡1(modq)p \equiv 1 \pmod{q}.

Consider now the equation modulo q2q^2. Then the equation becomes p3≡p2+2pq(modq2)p^3 \equiv p^2 + 2pq \pmod{q^2}, and since gcd⁡(p,q)=1\gcd(p, q) = 1, p2≡p+2q(modq2)p^2 \equiv p + 2q \pmod{q^2}. Let p=1+aqp = 1 + aq for some integer aa. Then the congruence becomes
1+2aq≡1+aq+2q(modq2) 1 + 2aq \equiv 1 + aq + 2q \pmod{q^2}
and we deduce that a≡2(modq)a \equiv 2 \pmod{q} and hence p≡2q+1(modq2)p \equiv 2q + 1 \pmod{q^2}.

We will now that p<(q+1)2=q2+2q+1p < (q+1)^2 = q^2+2q+1, which will mean that p=2q+1p = 2q+1. From the equation we get p3≥q5p^3 \ge q^5 and hence p≥qp \ge q, and hence (p+q)2≤4p2(p+q)^2 \le 4p^2. Hence p3−4p2≤q5p^3 - 4p^2 \le q^5, or
p2(p−4)≤q5. p^2(p - 4) \le q^5.
But if p≥(q+1)2p \ge (q+1)^2, then p2>q4p^2 > q^4 and p−4≥q2p-4 \ge q^2 (since q≥2q \ge 2). We obtain the desired contradiction.

Now substituting p=2q+1p = 2q + 1 into the original equation we obtain
q3−8q−3=0. q^3 - 8q - 3 = 0.
The only integer solution is q=3q = 3. Hence the only possible solution is q=3q = 3, which gives p=7p = 7. It is easy to check that this gives a solution to the 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.