Olympiad Maths Prep

Library / /14 of 29

Number theory Difficulty 5.2 AIME, harder Prove it Ukraine

Suppose that for two natural numbers m,nm, n the following equality holds
m+n=[m,n]+(m,n), m+n = [m,n] + (m,n),
Where [m,n][m,n] and (m,n)(m,n) are the least common multiple and the greatest common divisor of m,nm,n respectively. Prove that one number is divisible by another.

Solution

Let d=(m,n)d = (m,n), then m=adm = ad, n=bdn = bd, and using the formula mn=[m,n](m,n)mn = [m,n] \cdot (m,n) we get, that [m,n]=abd[m,n] = abd. This implies that abd+d=ad+bdd(a1)(b1)=0abd + d = ad + bd \Leftrightarrow d(a-1)(b-1) = 0, which is possible if either a=1a=1 or b=1b=1 and the result follows.

Looking for a route rather than 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.