Maths Olympiad Prep

Library / /22 of 31

Number theory Difficulty 6.8 National Olympiad Prove it South Africa

Consider two positive integers aa and bb such that a+2b=2020a + 2b = 2020.

a. Determine the largest possible value of the greatest common divisor of aa and bb.

b. Determine the smallest possible value of the least common multiple of aa and bb.

Solution

We observe that 2020=2251012020 = 2^2 \cdot 5 \cdot 101. Whenever a+2b=2020a + 2b = 2020, d=gcd(a,b)d = \gcd(a, b) must divide 20202020. So, to find the largest possible value of dd, we have to look at the large divisors of 20202020. d=2020d = 2020 is not possible, since in this case a+2b2020+22020>2020a + 2b \ge 2020 + 2 \cdot 2020 > 2020. The next largest divisor is 10101010. Since 31010>20203 \cdot 1010 > 2020, d=1010d = 1010 is also not possible. Next is 505505, and here we find that a=1010a = 1010 and b=505b = 505 work, since gcd(1010,505)=505\gcd(1010, 505) = 505, and 1010+2505=20201010 + 2 \cdot 505 = 2020. It follows that the largest possible value for gcd(a,b)\gcd(a, b) is 505505. This solves part (a).

To solve part (b), we first consider two cases for a pair (a,b)(a, b) such that a+2b=2020a + 2b = 2020:

(i) aba \mid b: Let b=kab = k a for some integer k1k \ge 1. Then a+2ka=2020a + 2k a = 2020, i.e., a=20201+2ka = \frac{2020}{1 + 2k}, and we have lcm(a,b)=ka=2020k1+2k=20202+1/k\operatorname{lcm}(a, b) = k a = \frac{2020 k}{1 + 2k} = \frac{2020}{2 + 1/k}. Hence kk should be minimized in order to minimize lcm(a,b)\operatorname{lcm}(a, b). Since 1+2k20201 + 2k \mid 2020, we must take k=2k = 2 (note that 320203 \nmid 2020). It follows that a+4a=5a=2020a + 4a = 5a = 2020, giving a=404a = 404 and b=2a=808b = 2a = 808, so that the smallest least common multiple of aa and bb in this case is given by lcm(404,808)=808\operatorname{lcm}(404, 808) = 808.

(ii) bab \mid a: Let a=kba = k b for some integer k1k \ge 1. Then kb+2b=2020k b + 2b = 2020, i.e., b=20202+kb = \frac{2020}{2 + k}, and we have lcm(a,b)=kb=2020k2+k=20201+2/k\operatorname{lcm}(a, b) = k b = \frac{2020 k}{2 + k} = \frac{2020}{1 + 2/k}. Hence kk should be minimized in order to minimize lcm(a,b)\operatorname{lcm}(a, b). Since 2+k20202 + k \mid 2020, we must take k=2k = 2 (again, 320203 \nmid 2020). It follows that 2b+2b=4b=20202b + 2b = 4b = 2020, giving b=505b = 505 and a=2b=1010a = 2b = 1010, so that the smallest least common multiple of aa and bb in this case is given by lcm(1010,505)=1010\operatorname{lcm}(1010, 505) = 1010.

We now show that we may assume that either (i) or (ii) holds in order to solve the problem: Among all possible greatest common divisors of aa and bb, where a+2b=2020a + 2b = 2020, let us fix one of them, say dd. Let (a,b)(a, b) be any pair such that a+2b=2020a + 2b = 2020 with gcd(a,b)=d\gcd(a, b) = d. Put a=a^da = \hat{a} d and b=b^db = \hat{b} d. Then a^\hat{a} and b^\hat{b} are relatively prime, so that lcm(a^,b^)=a^b^>max{a^,b^}\operatorname{lcm}(\hat{a}, \hat{b}) = \hat{a} \hat{b} > \max\{\hat{a}, \hat{b}\}. The smallest possible value for lcm(a^,b^)\operatorname{lcm}(\hat{a}, \hat{b}) (and hence also for lcm(a,b)\operatorname{lcm}(a, b)) is thus obtained if either a^=1\hat{a} = 1 or b^=1\hat{b} = 1 (in which case lcm(a^,b^)\operatorname{lcm}(\hat{a}, \hat{b}) is equal to either b^\hat{b} or a^\hat{a}). But a^=1\hat{a} = 1 implies aba \mid b and b^=1\hat{b} = 1 implies bab \mid a. Since we can repeat this argument for any possible value of dd, we may assume that (i) or (ii) holds in order to solve the problem.

We conclude that the smallest possible least common multiple of aa and bb, where a+2b=2020a + 2b = 2020, is lcm(404,808)=808\operatorname{lcm}(404, 808) = 808.

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.