Maths Olympiad Prep

Library / /94 of 220

Number theory Difficulty 5.8 AIME, harder Prove it Ukraine

Let aa and bb be two different natural numbers such that a2+b2+1a^2 + b^2 + 1 is divisible by 2ab+12ab + 1. Prove that 2ab+12ab + 1 is a perfect square (is a square of an integer).

Solution

Assume the contrary. Let (a,b)(a, b) be a pair of natural numbers for which this does not hold, such that a<ba < b and this pair has a minimal sum of a+ba+b.

Lemma 1. a2+b2+1a^2 + b^2 + 1 is divisible by 2ab+12ab + 1 if and only if (2a2+1)2(2a^2 + 1)^2 is divisible by 2ab+12ab + 1.

Proof. Since (a2,2ab+1)=1(a^2, 2ab+1)=1, then a2+b2+1a^2+b^2+1 is divisible by 2ab+12ab+1 if and only if a4+b2a2+a2a^4+b^2a^2+a^2 is divisible by 2ab+12ab+1 if and only if 4a4+4b2a2+4a24a^4+4b^2a^2+4a^2 is divisible by 2ab+12ab+1, since 2ab+12ab+1 is odd. The rest follows from:
4a4+4b2a2+4a2=(4a4+4a2+1)+(4b2a21)=(4a4+4a2+1)+(2ab1)(2ab+1) 4a^4+4b^2a^2+4a^2 = (4a^4+4a^2+1)+(4b^2a^2-1) = (4a^4+4a^2+1)+(2ab-1)(2ab+1)
So the lemma is proved.

Thus for the fixed pair of natural numbers (a,b)(a, b) we have a2+b2+1a^2 + b^2 + 1 is divisible by 2ab+12ab + 1, therefore (2a2+1)2(2a^2 + 1)^2 is divisible by 2ab+12ab + 1. So (2a2+1)2=(2ab+1)(2ac+1)(2a^2 + 1)^2 = (2ab + 1)(2ac + 1). It follows from the condition a<ba < b that 0<c<a<b0 < c < a < b, otherwise, the right-hand side is greater than the left-hand side. If 2ab+12ab + 1 is not a perfect square then neither is 2ac+12ac + 1. It follows from the lemma that if (2a2+1)2(2a^2 + 1)^2 is divisible by 2ac+12ac + 1, then a2+c2+1a^2 + c^2 + 1 is divisible by 2ac+12ac + 1 as well. Thus we have found a pair of natural numbers that satisfies the problem statement and has a sum of components c+a<a+bc+a < a+b, which yields the contradiction with the choice of (a,b)(a, b).

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.