Задача из журнала «Квант» (2000 год, 1 выпуск)

Условие

Последовательность $a_{1}$, $a_{2}$, $a_{3}$, $\ldots$ задана своим первым членом $a_{1} = 1$ и рекуррентной формулой $\displaystyle a_{n+1} = a_{n} + \frac{1}{a_{n}}$, где $n = 1, 2, 3, \ldots$

1. Докажите, что $a_{100} > 14$.
2. Найдите $\lbrack a_{1000}\rbrack$, то есть укажите такое целое число $m$, для которого $m \leqslant a_{1000} < m + 1$.
3. Докажите существование и найдите значение предела $\displaystyle\lim\limits_{n \to \infty} \frac{a_{n}}{\sqrt{n}}$.

Решение

1. Возводим равенство $\displaystyle a_{n+1} = a_{n} + \frac{1}{a_{n}}$ в квадрат и «отбрасываем лишнее»: $$a_{n+1}^{2} = a_{n}^{2} + 2 + \frac{1}{a_{n}^{2}} > {a_{n}^{2}} + 2.$$ Вспомнив, что $a_{1}^{2} = 1$, получаем одно за другим неравенства $a_{2}^{2} > a_{1}^{2} + 2 = 3$, $a_{3}^{2} > a_{2}^{2} + 2 > 3 + 2 = 5$, и вообще (при $n > 1$), $$\begin{equation}\label{m1719_first} a_{n}^{2} > 2n — 1\end{equation}.$$ В частности, $a_{100}^{2} > 199 > 196 > 14^{2}$, что и требовалось.
2. Ответ: $\lbrack a_{1000}\rbrack = 44$.

   При $n = 1000$ неравенство $\eqref{m1719_first}$ дает $a_{1000}^{2} > 1999 > 44^{2}$, так что $\lbrack a_{1000}\rbrack \geqslant 44$. Чтобы получить оценку сверху, введем величины $b_{n}$, такие что $a_{n}^{2} = 2n — 1 + b_{n}$. В силу неравенства $\eqref{m1719_first}$, имеем $b_{n} > 0$ при $n > 1$. Далее, запишем формулу $\displaystyle a_{n+1}^{2} = a_{n}^{2} + 2 + \frac{1}{a_{n}^{2}}$ в виде
   $$2n + 1 + b_{n+1} = 2n — 1 + b_{n} + 2 + \frac{1}{2n — 1 + b_{n}},$$
   откуда
   $$b_{n+1} = b_{n} + \frac{1}{2n — 1 + b_{n}} \leqslant b_{n} + \frac{1}{2n — 1}.$$

   По индукции из последнего неравенства следует, что
   $$b_{n+1} \leqslant b_{1} + \frac{1}{1} + \frac{1}{3} + \ldots + \frac{1}{2n — 3} + \frac{1}{2n — 1}. $$
   Поскольку $b_{1} = 0$, имеем, в частности,
   $$b_{1000} \leqslant 1 + \frac{1}{3} + \frac{1}{5} + \ldots + \frac{1}{1995} + \frac{1}{1997}.$$
   Осталось оценить сумму, оказавшуюся в правой части последнего неравенства. Сгруппируем слагаемые:
   $$b_{1000} \leqslant 1 + \left(\frac{1}{3} + \frac{1}{5} + \frac{1}{7}\right) + \left(\frac{1}{9} + \frac{1}{11} + \frac{1}{13} + \frac{1}{15} + \ldots + \frac{1}{25}\right) + \\ + \left(\frac{1}{27} + \frac{1}{29} + \frac{1}{31} + \frac{1}{33} + \ldots + \frac{1}{79}\right) + \left(\frac{1}{81} + \frac{1}{83} + \ldots + \frac{1}{241}\right) + \\ + \left(\frac{1}{243} + \frac{1}{245} + \ldots + \frac{1}{727}\right) + \left(\frac{1}{729} + \frac{1}{731} + \ldots + \frac{1}{1997}\right).$$
   (Принцип очень простой: в первой скобке три слагаемых, наибольшее из которых равно $\displaystyle\frac{1}{3}$; во второй — девять, наибольшее из которых $\displaystyle\frac{1}{9}$; …; в пятой — $243$ слагаемых, наибольшее $\displaystyle\frac{1}{243}$; наконец, в шестой скобке наибольшее слагаемое равно $\displaystyle\frac{1}{729}$, а слагаемых всего лишь $635$.) Следовательно, $b_{1000} < 7$. Это позволяет утверждать, что $$a_{1000}^{2} < 2000 - 1 + 7 < 2025 = 45^2,$$ откуда $a_{1000} < 45$.

3. Использованный при решении пункта б) прием позволяет доказать, что $\displaystyle\lim\limits_{n\to \infty}\frac{b_{n}}{n} = 0.$ Поскольку $a_{n} = \sqrt{2n — 1 + b_{n}}$, получаем ответ:
   $$\displaystyle\lim_{n \to \infty} \frac{a_{n}}{\sqrt{n}} = \sqrt{2}.$$

А. Спивак

Задача из журнала «Квант» (2000 год, 1 выпуск)

Условие

$N$ одинаковых деревянных кубиков склеены между собой так, что каждые два из них склеены по грани или по участку грани. Докажите, что максимальное значение $N$ равно шести.

Решение

Приведем расположение шести деревянных кубиков, в котором каждые два склеены, как сказано в условии задачи (рис.1): три «черных» кубика стоят на плоскости стола, а три «красных» кубика стоят над ними (вид сверху!). Теперь выстроим цепочку наглядных представлений и соображений, из которых будет следовать, что $\max N = 6$.

Определимся сначала с плоским случаем: если на столе лежат $n$ одинаковых картонных квадратов, каждые два из которых склеены по стороне или по участку стороны, то $\max n = 3$, что очевидно (рис.2).

Будем говорить, что $n$ деревянных кубиков (из имеющихся $N$) принадлежат одному слою, если найдется плоскость (стол), на которой все они стоят. Из вышесказанного следует, что $n \leqslant 3$.
Нетрудно убедиться, что если все $N$ кубиков параллельно расположены, т.е. каждый из них является результатом параллельного переноса другого, то $N \leqslant 4$.
Пусть среди $N$ кубиков нашлись два — кубики $Q_1$ и $Q_2$, которые не являются параллельно расположенными (транслятами), а плоскость $ \pi $ — общая плоскость двух соприкасающихся граней этих кубиков. Плоскость $ \pi $
определяет два слоя, одному из которых принадлежит кубик $Q_1$, а другому — кубик $Q_2$. Заметим, что всякий третий деревянный кубик обязан принадлежать одному из этих слоев. Но в каждом слое кубиков не больше трех, значит, $N \leqslant 6$.

В. Произволов

Задача из журнала «Квант» (2000 год, 1 выпуск)

Условие

Найдите все функции $f:\mathbb{R} \rightarrow \mathbb{R}$ такие, что
$$f \left (x-f \left (y \right ) \right ) =f \left (f \left (y \right ) \right ) +xf \left (y \right ) +f \left (x \right ) -1$$ для всех $x,y \in \mathbb{R}$.

Решение

Пусть $A$ — множество значений функции $f$ и $c=f \left (0 \right ) $. Положив $x=y=0$, мы получим $$f \left (-c \right ) =f \left (c \right ) +c-1,$$ поэтому $c \neq 0$. Легко найти сужение функции $f$ на множество $A$: взяв $x = f \left (y \right ) $, получим $$\begin{equation}\label{eq:first} f \left (x \right ) = \frac{c+1}{2}-\frac{x^2}{2} \end{equation}$$ для всех $x$ из $A$.
Основной шаг доказательства состоит в том, чтобы показать, что множество разностей $x-y$, где $x, y \in A$, есть все множество $\mathbb{R}$. Для $y=0$ мы имеем $$ \left \{ f \left (x-c \right ) -f \left (x \right ) \mid x \in \mathbb{R} \right \} = \left \{ cx+f \left (c \right ) -1 \mid x \in \mathbb{R} \right \} =\mathbb{R},$$ поскольку $c \neq 0$.
Теперь мы можем получить значение $f \left (x \right ) $ для произвольного $x$: если мы выберем $y_1, y_2 \in A$ такие, что $x = y_1-y_2$, и используем $\left (1 \right ) $, то мы получим $$ f \left (x \right ) =f \left (y_1-y_2 \right ) =\\
=f \left (y_2 \right ) +y_1y_2+f \left (y_1 \right ) -1= \frac{c+1}{2}-\frac{y_2^2}{2} +y_1y_2+\\
\begin{align} + \frac{c+1}{2}-\frac{y_1^2}{2} -1=c- \frac{\left (y_1-y_2 \right ) ^2}{2} =c- \frac{x^2}{2}. \end{align}$$ Сравнивая $\left (1 \right ) $ и $\left (2 \right ) $, мы получим $c = 1$, и поэтому $$f \left (x \right ) =1- \frac{x^2}{2} $$ для всех $x \in \mathbb{R}$. Мы получили единственную функцию, которая удовлетворяет функциональному уравнению задачи.