Maths Olympiad Prep

Library / /12 of 27

Number theory Difficulty 5.6 AIME, harder Prove it Brazil

Do there exist 20112011 positive integers a1<a2<<a2011a_1 < a_2 < \dots < a_{2011} such that gcd(ai,aj)=ajai\gcd(a_i, a_j) = a_j - a_i for any i,ji, j such that 1i<j20111 \le i < j \le 2011?

Solution

The answer is yes and you can construct an example in several ways. The main observation is that gcd(ai,aj)=ajai    ajaiai\gcd(a_i, a_j) = a_j - a_i \iff a_j - a_i \mid a_i. In fact, if gcd(ai,aj)=ajai\gcd(a_i, a_j) = a_j - a_i then ajaiaia_j - a_i \mid a_i and, conversely, if ajaiaia_j - a_i \mid a_i then ajaiai+(ajai)    ajaiaja_j - a_i \mid a_i + (a_j - a_i) \iff a_j - a_i \mid a_j, so ajaigcd(ai,aj)a_j - a_i \mid \gcd(a_i, a_j). But gcd(ai,aj)ai\gcd(a_i, a_j) \mid a_i and gcd(ai,aj)aj\gcd(a_i, a_j) \mid a_j implies gcd(ai,aj)ajai\gcd(a_i, a_j) \mid a_j - a_i, so gcd(ai,aj)=ajai\gcd(a_i, a_j) = a_j - a_i.

Once this fact is established, one can construct the sequence inductively as follows: first consider the two-term sequence (1,2)(1, 2). Now, given a sequence
(x1,x2,,xk1)(x_1, x_2, \dots, x_{k-1}) with k1k-1 terms such that gcd(xi,xj)=xjxi\gcd(x_i, x_j) = x_j - x_i, construct a new sequence adding x0x_0 to every term and putting x0x_0 at its beginning: (x0,x1+x0,x2+x0,,xk1+x0)(x_0, x_1 + x_0, x_2 + x_0, \dots, x_{k-1} + x_0). All we need to do is to find x0x_0. By the previous observation, we need xjxixi+x0x_j - x_i \mid x_i + x_0 and xix0x_i \mid x_0. We already have that xjxixix_j - x_i \mid x_i, so a good choice is x0=lcm(x1,x2,,xk1)x_0 = \operatorname{lcm}(x_1, x_2, \dots, x_{k-1}), because by definition xix0x_i \mid x_0 and, since xix0x_i \mid x_0 and xjxixix_j - x_i \mid x_i, xjxix0x_j - x_i \mid x_0, so xjxixi+x0x_j - x_i \mid x_i + x_0. So we obtained a new sequence with kk terms and the result follows by induction.

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 and solution reproduced as published; topic and difficulty added by this site.