Maths Olympiad Prep

Library / /14 of 43

Number theory Difficulty 5.5 AIME, harder Prove it JBMO

Problem:
Determine the positive integers a,ba, b such that a2b2+208=4{lcm[a,b]+gcd(a,b)}2a^{2} b^{2} + 208 = 4\{lcm[a, b] + gcd(a, b)\}^{2}.

Solution

Solution:
Let d=gcd(a,b)d = \gcd(a, b) and x,yZ+x, y \in \mathbb{Z}_{+} such that a=dxa = d x, b=dyb = d y. Obviously, (x,y)=1(x, y) = 1. The equation is equivalent to d4x2y2+208=4d2(xy+1)2d^{4} x^{2} y^{2} + 208 = 4 d^{2} (x y + 1)^{2}. Hence d2208d^{2} \mid 208 or d21342d^{2} \mid 13 \cdot 4^{2}, so d{1,2,4}d \in \{1, 2, 4\}. Take t=xyt = x y with tZ+t \in \mathbb{Z}_{+}.

Case I. If d=1d = 1, then (xy)2+208=4(xy+1)2(x y)^{2} + 208 = 4(x y + 1)^{2} or 3t2+8t204=03 t^{2} + 8 t - 204 = 0, without solutions.

Case II. If d=2d = 2, then 16x2y2+208=16(xy+1)216 x^{2} y^{2} + 208 = 16(x y + 1)^{2} or t2+13=t2+2t+1t=6t^{2} + 13 = t^{2} + 2 t + 1 \Rightarrow t = 6, so (x,y){(1,6);(2,3);(3,2);(6,1)}(a,b){(2,12);(4,6);(6,4);(12,2)}(x, y) \in \{(1, 6); (2, 3); (3, 2); (6, 1)\} \Rightarrow (a, b) \in \{(2, 12); (4, 6); (6, 4); (12, 2)\}.

Case III. If d=4d = 4, then 162x2y2+208=416(xy+1)216^{2} x^{2} y^{2} + 208 = 4 \cdot 16(x y + 1)^{2} or 16t2+13=4(t+1)216 t^{2} + 13 = 4(t + 1)^{2} and if tZt \in \mathbb{Z}, then 13 must be even, contradiction!

Finally, the solutions are (a,b){(2,12);(4,6);(6,4);(12,2)}(a, b) \in \{(2, 12); (4, 6); (6, 4); (12, 2)\}.

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.