Olympiad Maths Prep

Track / Stage 4 / 10 of 340 #270 of 2000

Problem 270

AMC 12 late, AIME early
Number theory Difficulty 4.4 Prove it Mathematical competitions in Croatia · 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.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official 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.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.