Number theoryDifficulty 4.4Prove itMathematical competitions in Croatia · Croatia
Let a and b be positive integers of different parity. Prove that (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 8, we get (a+3b)(5a+7b)≡5a2+22ab+21b2≡5a2−10ab+5b2≡5(a−b)2(mod8). Let us assume the contrary, that (a+3b)(5a+7b)=k2 for some positive integer k. Then k2≡5(a−b)2(mod8). Since a and b are of different parity, a−b is odd, so that (a−b)2 gives remainder 1 when divided by 8. This implies k2≡5(mod8). However, 5 is not a quadratic residue modulo 8. We have arrived at a contradiction, so we conclude that the initial assumption was false. Therefore, (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.