Maths Olympiad Prep

Library / /1 of 24

Number theory Difficulty 4.4 AIME Prove it Croatia

Let aa and bb be positive integers of different parity. Prove that (a+3b)(5a+7b)(a+3b)(5a+7b) cannot be a perfect square.

Solution

By considering the given expression modulo 88, we get
(a+3b)(5a+7b)5a2+22ab+21b25a210ab+5b25(ab)2(mod8). (a + 3b)(5a + 7b) \equiv 5a^2 + 22ab + 21b^2 \equiv 5a^2 - 10ab + 5b^2 \equiv 5(a - b)^2 \pmod{8}.
Let us assume the contrary, that (a+3b)(5a+7b)=k2(a + 3b)(5a + 7b) = k^2 for some positive integer kk.
Then
k25(ab)2(mod8). k^2 \equiv 5(a - b)^2 \pmod{8}.
Since aa and bb are of different parity, aba - b is odd, so that (ab)2(a - b)^2 gives remainder 11 when divided by 88.
This implies k25(mod8)k^2 \equiv 5 \pmod{8}. However, 55 is not a quadratic residue modulo 88.
We have arrived at a contradiction, so we conclude that the initial assumption was false. Therefore, (a+3b)(5a+7b)(a + 3b)(5a + 7b) is not a perfect square.

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.