Maths Olympiad Prep

Library / /7 of 23

Number theory Difficulty 4.8 AIME Prove it United States

Problem:

Several positive integers are written on the blackboard. You can erase any two numbers and write their greatest common divisor (GCD) and least common multiple (LCM) instead. Prove that eventually the numbers will stop changing.

Solution

Solution:

First of all, since
ab=gcd(a,b)lcm(a,b) a \cdot b = \operatorname{gcd}(a, b) \cdot \operatorname{lcm}(a, b)
for all positive integers aa and bb, the product of the numbers on the board does not change.

Second, we claim that at each step in which the numbers change, their sum increases. Suppose we pick two numbers aa and bb (aba \leq b) and replace them with g=gcd(a,b)g = \operatorname{gcd}(a, b) and =lcm(a,b)\ell = \operatorname{lcm}(a, b). If g=ag = a, then =b\ell = b and the numbers do not change, so g<ag < a and therefore g<bg < b. The change in the sum of the numbers is
(g+)(a+b)=g2+ggagbg=g2+abgagbg=(ag)(bg)g>0. (g + \ell) - (a + b) = \frac{g^2 + g \ell - g a - g b}{g} = \frac{g^2 + a b - g a - g b}{g} = \frac{(a - g)(b - g)}{g} > 0.
Since each number on the blackboard cannot exceed the product of the numbers that were originally there, the sum cannot increase unboundedly, and thus the numbers must stop changing.

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.