Maths Olympiad Prep

Library / /6 of 27

Number theory Difficulty 5.3 AIME, harder Prove it Croatia

Positive integers aa, bb and prime number pp satisfy the equation a2+p2=b2a^2 + p^2 = b^2.
Prove that 2(b+p)2(b + p) is a perfect square.

Solution

We are given a2+p2=b2a^2 + p^2 = b^2, where aa, bb are positive integers and pp is a prime number.

Rewrite the equation:
b2a2=p2 b^2 - a^2 = p^2
(ba)(b+a)=p2 (b - a)(b + a) = p^2

Since pp is prime, p2p^2 has only three positive divisors: 11, pp, p2p^2.
So, the pairs (ba,b+a)(b - a, b + a) must be (1,p2)(1, p^2), (p,p)(p, p), or (p2,1)(p^2, 1).
But b+a>bab + a > b - a, so only (ba,b+a)=(p,p)(b - a, b + a) = (p, p) or (1,p2)(1, p^2) are possible.

Case 1: ba=pb - a = p, b+a=pb + a = p

Then ba=b+ab - a = b + a implies a=0a = 0, which is not allowed since aa is positive.

Case 2: ba=1b - a = 1, b+a=p2b + a = p^2

Then:
ba=1    b=a+1 b - a = 1 \implies b = a + 1
b+a=p2 b + a = p^2
Add the two equations:
(ba)+(b+a)=1+p2=2b    2b=p2+1    b=p2+12 (b - a) + (b + a) = 1 + p^2 = 2b \implies 2b = p^2 + 1 \implies b = \frac{p^2 + 1}{2}
Subtract the first from the second:
(b+a)(ba)=p21=2a    a=p212 (b + a) - (b - a) = p^2 - 1 = 2a \implies a = \frac{p^2 - 1}{2}

Now, aa and bb are positive integers for any odd prime pp (since p2p^2 is odd, so p2+1p^2 + 1 and p21p^2 - 1 are even).

Now, compute 2(b+p)2(b + p):
2(b+p)=2(p2+12+p)=(p2+1)+2p=p2+2p+1=(p+1)2 2(b + p) = 2 \left( \frac{p^2 + 1}{2} + p \right ) = (p^2 + 1) + 2p = p^2 + 2p + 1 = (p + 1)^2

Thus, 2(b+p)2(b + p) is a perfect square, as required.

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.