Maths Olympiad Prep

Track / Stage 5 / 195 of 400 #1435 of 2604

Problem 1435

AIME late
Number theory Difficulty 5.4 Prove it Irish Mathematical Olympiad · Ireland

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

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

If (ab)2−4(a+b)=x2(ab)^2 - 4(a+b) = x^2 with positive integers a,ba, b and an integer x≥0x \ge 0, we have x<abx < ab. As (ab)2−(ab−1)2=2ab−1(ab)^2 - (ab-1)^2 = 2ab - 1 is odd, we even have x≤ab−2x \le ab - 2. This implies (ab)2−4(a+b)≤(ab−2)2=(ab)2−4ab+4(ab)^2 - 4(a+b) \le (ab-2)^2 = (ab)^2 - 4ab + 4, from which we obtain
ab≤a+b+1.(5) ab \le a + b + 1. \qquad (5)
After swapping aa and bb if necessary, we may assume a≤ba \le b. If a≥3a \ge 3, we get ab≥3b≥a+b+b≥a+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 b2−4(b+1)=x2b^2 - 4(b+1) = x^2, which is equivalent to (b−2−x)(b−2+x)=8(b-2-x)(b-2+x) = 8. Because (b−2−x)+(b−2+x)=2b−4(b-2-x)+(b-2+x) = 2b-4 is even and b−2−x≤b−2+xb-2-x \le b-2+x, the only possibility is b−2−x=2b-2-x = 2 and b−2+x=4b-2+x = 4. This yields (a,b)=(1,5)(a, b) = (1, 5) as the only possible solution with 1=a≤b1 = a \le b.

If a=2a = 2, we have 4b2−4(b+2)=x24b^2 - 4(b+2) = x^2, equivalently (2b−1−x)(2b−1+x)=9(2b-1-x)(2b-1+x) = 9. Here we have two possibilities. Either 2b−1−x=2b−1+x=32b-1-x = 2b-1+x = 3 or 2b−1−x=1,2b−1+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=a≤b2 = a \le b.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.