Maths Olympiad Prep

Library / /44 of 105

Number theory Difficulty 4.9 AIME Prove it United States

Problem:

Let pp be a prime number that has the form a3b3a^{3}-b^{3} for some positive integers aa and bb. Prove that pp also has the form c2+3d2c^{2}+3 d^{2} for some positive integers cc and dd.

Solution

Solution:

We can factor
p=a3b3=(ab)(a2+ab+b2). p = a^{3} - b^{3} = (a-b)\left(a^{2} + a b + b^{2}\right).
Since aa and bb are positive integers, the only way this can happen is if ab=1a-b=1.
Either aa or bb is even. If aa is even, let a=2ua=2u, so b=2u1b=2u-1. Then
p=(2u)2+(2u)(2u1)+(2u1)2=12u26u+1=(3u1)2+3u2 \begin{aligned} p & = (2u)^{2} + (2u)(2u-1) + (2u-1)^{2} \\ & = 12u^{2} - 6u + 1 \\ & = (3u-1)^{2} + 3u^{2} \end{aligned}
has the desired form. If bb is even, let b=2ub=2u, so a=2u+1a=2u+1. Then
p=(2u+1)2+(2u)(2u+1)+(2u)2=12u2+6u+1=(3u+1)2+3u2 \begin{aligned} p & = (2u+1)^{2} + (2u)(2u+1) + (2u)^{2} \\ & = 12u^{2} + 6u + 1 \\ & = (3u+1)^{2} + 3u^{2} \end{aligned}
has the desired form.

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.