Азия-тынық мұхит математикалық олимпиадасы, 2009 жыл

Кез келген $k$ натурал саны үшін арифметикалық прогрессия құрайтын $\dfrac{{{a}_{1}}}{{{b}_{1}}}$, $\dfrac{{{a}_{2}}}{{{b}_{2}}},$ $\ldots$, $\dfrac{{{a}_{k}}}{{{b}_{k}}}$ рационал сандар тізбегі табылатынын дәлелде, мұндағы әрбір $i=1,2,\ldots,k$ үшін ${{a}_{i}}$, ${{b}_{i}}$ — өзара жай натурал сандар және ${{a}_{1}}$, ${{b}_{1}}$, ${{a}_{2}}$, ${{b}_{2}}$, $\ldots$, ${{a}_{k}}$, ${{b}_{k}}$ — әртүрлі сандар.

Комментарий/решение

Простенькая задачка. Берем для каждого $k>1$ простые числа $(p,q,r)$ такие что $k<p<q<r$.

Тогда следующая конструкция работает:

$$\dfrac{a_{m+1}}{b_{m+1}}=\dfrac{1}{r}+m\cdot \dfrac{q}{p!}=\dfrac{p!+mqr}{rp!} \quad \forall \ m =0,\dots , k-1$$

Доказательство что оно удовлетворяет условию:

Заметим что $ \left(\dfrac{p!}{m}+qr , ~ r\cdot \dfrac{p!}{m} \right)=1 \quad \forall \ m =1,\dots , k$

Получаем для $k-1 \geq m\geq 1$ несократимую дробь:

$$\dfrac{a_{m+1}}{b_{m+1}}=\dfrac{\dfrac{p!}{m}+qr}{r\cdot \dfrac{p!}{m}}$$

Очевидно что все числа различные:

$$b_2=r\cdot p! > b_3=r\cdot \dfrac{p!}{2} > \dots > b_k=r\cdot \dfrac{p!}{k-1} > b_1=r$$

$$a_2=p!+qr > a_3=\dfrac{p!}{2}+qr > \dots > a_k=\dfrac{p!}{k-1}+qr > a_1=1$$