Maths Olympiad Prep

Library / /28 of 520

Number theory Difficulty 5.0 AIME, harder Find the answer

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}.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let d=gcd(a,b)d=\operatorname{gcd}(a, b) and x,yZ+x, y \in \mathbb{Z}_{+} such that a=dx,b=dya=d x, b=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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.