Maths Olympiad Prep

Library / /9 of 16

, 2023

Number theory Difficulty 8.1 Shortlist Prove it Turkey

Find all prime numbers p,qp, q satisfying the equation
p(p4+p2+10q)=q(q2+3). p(p^4 + p^2 + 10q) = q(q^2 + 3).

Solution

We are to find all prime numbers p,qp, q such that
p(p4+p2+10q)=q(q2+3). p(p^4 + p^2 + 10q) = q(q^2 + 3).

First, note that both sides are positive for positive primes p,qp, q.

Let us analyze the equation:
p(p4+p2+10q)=q(q2+3). p(p^4 + p^2 + 10q) = q(q^2 + 3).

Expand the left side:
p5+p3+10pq=q3+3q. p^5 + p^3 + 10pq = q^3 + 3q.

Bring all terms to one side:
p5+p3+10pqq33q=0. p^5 + p^3 + 10pq - q^3 - 3q = 0.

Group terms:
p5+p3+10pqq33q=0. p^5 + p^3 + 10pq - q^3 - 3q = 0.

Let us try small values for pp.

Try p=2p = 2:
2(24+22+10q)=q(q2+3) 2(2^4 + 2^2 + 10q) = q(q^2 + 3)
2(16+4+10q)=q(q2+3) 2(16 + 4 + 10q) = q(q^2 + 3)
2(20+10q)=q(q2+3) 2(20 + 10q) = q(q^2 + 3)
40+20q=q3+3q 40 + 20q = q^3 + 3q
40+20qq33q=0 40 + 20q - q^3 - 3q = 0
40+17qq3=0 40 + 17q - q^3 = 0
q317q40=0 q^3 - 17q - 40 = 0

Try small prime values for qq:
- q=2q = 2: 83440=668 - 34 - 40 = -66
- q=3q = 3: 275140=6427 - 51 - 40 = -64
- q=5q = 5: 1258540=0125 - 85 - 40 = 0

So q=5q = 5 works with p=2p = 2.

Now try p=3p = 3:
3(34+32+10q)=q(q2+3) 3(3^4 + 3^2 + 10q) = q(q^2 + 3)
3(81+9+10q)=q(q2+3) 3(81 + 9 + 10q) = q(q^2 + 3)
3(90+10q)=q(q2+3) 3(90 + 10q) = q(q^2 + 3)
270+30q=q3+3q 270 + 30q = q^3 + 3q
270+30qq33q=0 270 + 30q - q^3 - 3q = 0
270+27qq3=0 270 + 27q - q^3 = 0
q327q270=0 q^3 - 27q - 270 = 0

Try small prime values for qq:
- q=2q = 2: 854270=3168 - 54 - 270 = -316
- q=3q = 3: 2781270=32427 - 81 - 270 = -324
- q=5q = 5: 125135270=280125 - 135 - 270 = -280
- q=7q = 7: 343189270=116343 - 189 - 270 = -116
- q=11q = 11: 1331297270=7641331 - 297 - 270 = 764
- q=13q = 13: 2197351270=15762197 - 351 - 270 = 1576

No solution for p=3p = 3 and small qq.

Try q=2q = 2:
p(p4+p2+20)=2(4+3)=14 p(p^4 + p^2 + 20) = 2(4 + 3) = 14
Try p=2p = 2: 2(16+4+20)=2(40)=80142(16 + 4 + 20) = 2(40) = 80 \neq 14
Try p=3p = 3: 3(81+9+20)=3(110)=330143(81 + 9 + 20) = 3(110) = 330 \neq 14

Try q=3q = 3:
p(p4+p2+30)=3(9+3)=36 p(p^4 + p^2 + 30) = 3(9 + 3) = 36
Try p=2p = 2: 2(16+4+30)=2(50)=100362(16 + 4 + 30) = 2(50) = 100 \neq 36
Try p=3p = 3: 3(81+9+30)=3(120)=360363(81 + 9 + 30) = 3(120) = 360 \neq 36

Try q=5q = 5:
p(p4+p2+50)=5(25+3)=140 p(p^4 + p^2 + 50) = 5(25 + 3) = 140
Try p=2p = 2: 2(16+4+50)=2(70)=1402(16 + 4 + 50) = 2(70) = 140
So p=2p = 2, q=5q = 5 is a solution (already found).

Try q=7q = 7:
p(p4+p2+70)=7(49+3)=364 p(p^4 + p^2 + 70) = 7(49 + 3) = 364
Try p=2p = 2: 2(16+4+70)=2(90)=1803642(16 + 4 + 70) = 2(90) = 180 \neq 364
Try p=3p = 3: 3(81+9+70)=3(160)=4803643(81 + 9 + 70) = 3(160) = 480 \neq 364

Try q=11q = 11:
p(p4+p2+110)=11(121+3)=1364 p(p^4 + p^2 + 110) = 11(121 + 3) = 1364
Try p=2p = 2: 2(16+4+110)=2(130)=26013642(16 + 4 + 110) = 2(130) = 260 \neq 1364
Try p=3p = 3: 3(81+9+110)=3(200)=60013643(81 + 9 + 110) = 3(200) = 600 \neq 1364

Now, consider the degree of the equation. For large pp, the left side grows much faster than the right side, so only small values are possible.

Now, check for p=qp = q:
p(p4+p2+10p)=p(p2+3) p(p^4 + p^2 + 10p) = p(p^2 + 3)
p5+p3+10p2=p3+3p p^5 + p^3 + 10p^2 = p^3 + 3p
p5+10p2=3p p^5 + 10p^2 = 3p
p5+10p23p=0 p^5 + 10p^2 - 3p = 0
p(p4+10p3)=0 p(p^4 + 10p - 3) = 0
So p=0p = 0 or p4+10p3=0p^4 + 10p - 3 = 0, which has no positive integer solution for pp.

Now, try to check modulo 33 for possible contradictions for p>3p > 3:
If p>3p > 3, pp is odd and p1p \equiv 1 or 2(mod3)2 \pmod{3}.

Compute p(p4+p2+10q)(mod3)p(p^4 + p^2 + 10q) \pmod{3}:
- p41(mod3)p^4 \equiv 1 \pmod{3} if p≢0(mod3)p \not\equiv 0 \pmod{3}
- p21(mod3)p^2 \equiv 1 \pmod{3}
- 10qq(mod3)10q \equiv q \pmod{3}
So p4+p2+10q1+1+q=q+2(mod3)p^4 + p^2 + 10q \equiv 1 + 1 + q = q + 2 \pmod{3}
So p(p4+p2+10q)p(q+2)(mod3)p(p^4 + p^2 + 10q) \equiv p(q + 2) \pmod{3}

The right side: q(q2+3)q(q2)q3(mod3)q(q^2 + 3) \equiv q(q^2) \equiv q^3 \pmod{3}
But for q≢0(mod3)q \not\equiv 0 \pmod{3}, q3q(mod3)q^3 \equiv q \pmod{3}
So q(q2+3)q(mod3)q(q^2 + 3) \equiv q \pmod{3}

So p(q+2)q(mod3)p(q + 2) \equiv q \pmod{3}
If p1(mod3)p \equiv 1 \pmod{3}: q+2q(mod3)    20(mod3)q + 2 \equiv q \pmod{3} \implies 2 \equiv 0 \pmod{3}, contradiction.
If p2(mod3)p \equiv 2 \pmod{3}: 2(q+2)q(mod3)    2q+4q(mod3)    q+10(mod3)    q2(mod3)2(q + 2) \equiv q \pmod{3} \implies 2q + 4 \equiv q \pmod{3} \implies q + 1 \equiv 0 \pmod{3} \implies q \equiv 2 \pmod{3}
But qq is a prime >3> 3, so q1q \equiv 1 or 2(mod3)2 \pmod{3}.
Try q=2q = 2:
But q=2q = 2 already checked.

Thus, for p>3p > 3, there is a contradiction modulo 33.

Therefore, the only possible values are p=2p = 2 or p=3p = 3.

For p=2p = 2, q=5q = 5 is a solution.
For p=3p = 3, as above, q327q270=0q^3 - 27q - 270 = 0 has no integer solution for qq.

Therefore, the only solution is (p,q)=(2,5)(p, q) = (2, 5).

Answer: The only pair of prime numbers p,qp, q satisfying the equation is (p,q)=(2,5)(p, q) = (2, 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.