Maths Olympiad Prep

Library / /57 of 105

Number theory Difficulty 5.9 AIME, harder Prove it JBMO

Problem:

Does there exist positive integers aa, bb and a prime pp such that
a3b3=4p2? a^{3}-b^{3}=4 p^{2} ?

Solution

Solution:

The given equality may be written as
(ab)(a2+ab+b2)=4p2 (a-b)\left(a^{2}+a b+b^{2}\right)=4 p^{2}
Since ab<a2+ab+b2a-b<a^{2}+a b+b^{2}, it follows from (1) that
(2) ab<2pa-b<2 p.
Now consider two cases:

1. p=2p=2, and
2. pp is an odd prime.

Case 1: p=2p=2. Then (1) becomes
(3) (ab)(a2+ab+b2)=16(a-b)\left(a^{2}+a b+b^{2}\right)=16 :
In view of (2) and (3), it must be ab=1a-b=1 or ab=2a-b=2. If ab=1a-b=1, then substituting a=b+1a=b+1
in (3) we obtain
b(b+1)=5 b(b+1)=5
which is impossible since b(b+1)b(b+1) is an even integer.
If ab=2a-b=2, then substituting a=b+2a=b+2 in (3) we get
3b(b+2)=4 3 b(b+2)=4
which is obviously impossible.

Case 2: pp is an odd prime. Then (1) yields ab4p2a-b \mid 4 p^{2}. This together with the facts that
pp is a prime and that by (2) ab<2pa-b<2 p, yields ab{1,2,4,p}a-b \in\{1,2,4, p\}.

If ab=1a-b=1, then substituting a=b+1a=b+1 in (1) we obtain
3b(b+1)+1=4p2 3 b(b+1)+1=4 p^{2}
which is impossible since 3b(b+1)+13 b(b+1)+1 is an odd integer.

If ab=2a-b=2, then substituting a=b+2a=b+2 in (1) we obtain
3b2+6b+4=2p2 3 b^{2}+6 b+4=2 p^{2}
whence it follows that
2(p22)=3(b2+2b)0(mod3) 2\left(p^{2}-2\right)=3\left(b^{2}+2 b\right) \equiv 0(\bmod 3)
and hence
p22(mod3) p^{2} \equiv 2(\bmod 3)
Since p21(mod3)p^{2} \equiv 1(\bmod 3) for each odd prime p>3p>3 and 320(mod3)3^{2} \equiv 0(\bmod 3), it follows that the congruence (5) is not satisfied for any odd prime pp.

If ab=4a-b=4, then substituting a=b+4a=b+4 in (1) we obtain
3b2+12b+16=p2 3 b^{2}+12 b+16=p^{2}
whence it follows that bb is an odd integer such that
3b2p2(mod4) 3 b^{2} \equiv p^{2}(\bmod 4)
whence since p21(mod4)p^{2} \equiv 1(\bmod 4) for each odd prime pp, we have
3b21(mod4) 3 b^{2} \equiv 1(\bmod 4)
However, since b21(mod4)b^{2} \equiv 1(\bmod 4) for each odd integer bb, it follows that the congruence (6) is not satisfied for any odd integer bb.

If ab=pa-b=p, then substituting a=b+pa=b+p in (1) we obtain
p(3b2+3bp+p24p)=0 p\left(3 b^{2}+3 b p+p^{2}-4 p\right)=0
i.e.,
(7)
3b2+3bp+p24p=0 3 b^{2}+3 b p+p^{2}-4 p=0
If p5p \geq 5, then p24p>0p^{2}-4 p>0, and thus (7) cannot be satisfied for any positive integer bb. If p=3p=3, then (7)(7) becomes
3(b2+3b1)=0 3\left(b^{2}+3 b-1\right)=0
which is obviously not satisfied for any positive integer bb.

Hence, there does not exist positive integers aa, bb and a prime pp such that a3b3=4p2a^{3}-b^{3}=4 p^{2}.

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.