Maths Olympiad Prep

Library / Bulgarian Mathematical Olympiad /14 of 58

Bulgarian Mathematical Olympiad

Number theory Difficulty 5.4 AIME, harder Prove it Bulgaria

Problem:
Find all pairs of positive integers (m,n)(m, n), m>nm > n, such that
[m2+mn,mn−n2]+[m−n,mn]=22005 \left[m^2 + m n, m n - n^2\right] + [m - n, m n] = 2^{2005}
where [a,b][a, b] denotes the least common multiple of aa and bb.

Solution

Solution:
The left hand side of the given equation is a multiple of mm, nn and m−nm-n. Therefore m=2am = 2^a, n=2bn = 2^b and m−n=2cm - n = 2^c for some nonnegative integers aa, bb and cc, where a>ba > b. It is obvious that 2b(2a−b−1)=2c2^b (2^{a-b} - 1) = 2^c, whence a−b=1a - b = 1.

Plugging b=a−1b = a - 1 in the given equation we obtain
[22a+22a−1,22a−1−22a−2]+[2a−2a−1,22a−1]=22a−1+3⋅22a−1=22a+1=22005 \begin{aligned} \left[2^{2a} + 2^{2a-1}, 2^{2a-1} - 2^{2a-2}\right] + \left[2^a - 2^{a-1}, 2^{2a-1}\right] &= 2^{2a-1} + 3 \cdot 2^{2a-1} \\ &= 2^{2a+1} = 2^{2005} \end{aligned}
Hence a=1002a = 1002, m=21002m = 2^{1002} and n=21001n = 2^{1001}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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