Let a and b be positive integers of different parity. Prove that (a+3b)(5a+7b) cannot be a perfect square.
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.
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.