1-ші халықаралық Жәутіков олимпиадасы, үлкен лига, 2005 жыл

Бір $r$ нақты саны берілген. Бір оң нақты сандардан тұратын $\{{{a}_{n}}\}$ тізбегінің әрбір натурал $m$ үшін ${{a}_{1}}+{{a}_{2}}+\ldots+{{a}_{m+1}}\le r{{a}_{m}}$ теңсіздігін қанағаттандыратыны белгілі. Онда $r\ge 4$ екенін дәлелде.

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

Решение: Заменим $a_1+...+a_n=S_n$ и $\dfrac{S_n}{S_{n+1}}=C_n, \forall n\in\mathbb N.$ Заметим, что $0<C_i<1.$ Условие можно написать так:

$$\dfrac{1}{r}\le (1-C_{n})C_{n+1}, \forall n\in\mathbb N.$$

Рассмотрим произведение неравенств для $n=1,2,\ldots,m:$

$$\dfrac{1}{r^m}\le (1-C_1)C_{m+1}\cdot \prod_{i=2}^{m}(1-C_i)C_i< \prod_{i=2}^{m}\dfrac{1}{4}=\left(\dfrac{1}{4}\right)^{m-1}$$

$$\implies \dfrac{1}{r}<\left(\dfrac{1}{4}\right)^{1-\frac{1}{m}}\ \forall m\in\mathbb N.$$

Отсюда, рассматривая достаточно большие значения $m$, можем понять, что $\dfrac{1}{r}\le \dfrac{1}{4}\implies r\ge 4.\ \square$