Maths Olympiad Prep

Library / /14 of 46

Number theory Difficulty 5.7 AIME, harder Prove it Russia

An increasing sequence of positive integers {an}\{a_n\} and a positive integer kk are given. For each positive integer nn the following conditions hold: the number ana_n is divisible either by 10051005 or by 10061006, ana_n is not divisible by 9797, and an+1anka_{n+1} - a_n \le k. Find the least possible value of kk. (A. Golovanov)

Solution

Ответ. k=2010k = 2010.

Let us denote our sequence by (an)(a_n). Clearly, a1<1005100697N=Da_1 < 1005 \cdot 1006 \cdot 97 \cdot N = D for some natural NN. Then there exists such nn that anDa_n \le D, but an+1>Da_{n+1} > D (at the same time, anDa_n \ne D by the condition). But the largest numbers less than DD and divisible by 10051005 and 10061006 are D1005D-1005 and D1006D-1006, respectively; therefore anD1005a_n \le D-1005. Similarly, an+1D+1005a_{n+1} \ge D+1005; hence an+1an(D+1005)(D1005)=2010a_{n+1}-a_n \ge (D+1005)-(D-1005) = 2010. Thus, k2010k \ge 2010.

For k=2010k=2010, for example, the sequence of all numbers divisible by 10051005 but not by 9797 fits (note that 10051005 is not divisible by 9797).

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.