Maths Olympiad Prep

Library / /19 of 39

Number theory Difficulty 5.4 AIME, harder Prove it Ireland

Find all pairs (a,b)(a, b) of positive integers, such that (ab)24(a+b)(ab)^2 - 4(a+b) is the square of an integer.

Solution

If (ab)24(a+b)=x2(ab)^2 - 4(a+b) = x^2 with positive integers a,ba, b and an integer x0x \ge 0, we have x<abx < ab. As (ab)2(ab1)2=2ab1(ab)^2 - (ab-1)^2 = 2ab - 1 is odd, we even have xab2x \le ab - 2. This implies (ab)24(a+b)(ab2)2=(ab)24ab+4(ab)^2 - 4(a+b) \le (ab-2)^2 = (ab)^2 - 4ab + 4, from which we obtain
aba+b+1.(5) ab \le a + b + 1. \qquad (5)
After swapping aa and bb if necessary, we may assume aba \le b. If a3a \ge 3, we get ab3ba+b+ba+b+1ab \ge 3b \ge a+b+b \ge a+b+1 in contradiction to (5). Hence a=2a = 2 or a=1a = 1. If a=1a = 1, we have b24(b+1)=x2b^2 - 4(b+1) = x^2, which is equivalent to (b2x)(b2+x)=8(b-2-x)(b-2+x) = 8. Because (b2x)+(b2+x)=2b4(b-2-x)+(b-2+x) = 2b-4 is even and b2xb2+xb-2-x \le b-2+x, the only possibility is b2x=2b-2-x = 2 and b2+x=4b-2+x = 4. This yields (a,b)=(1,5)(a, b) = (1, 5) as the only possible solution with 1=ab1 = a \le b.

If a=2a = 2, we have 4b24(b+2)=x24b^2 - 4(b+2) = x^2, equivalently (2b1x)(2b1+x)=9(2b-1-x)(2b-1+x) = 9. Here we have two possibilities. Either 2b1x=2b1+x=32b-1-x = 2b-1+x = 3 or 2b1x=1,2b1+x=92b-1-x = 1, 2b-1+x = 9. In the first case we obtain b=2b=2 and in the second b=3b=3. So we have shown that (a,b)=(2,2)(a,b) = (2,2) and (a,b)=(2,3)(a,b) = (2,3) are the only possible solutions with 2=ab2 = a \le 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 and solution reproduced as published; topic and difficulty added by this site.