Задание. Исследовать последовательность
$x_{n+1}=\sqrt{12+x_{n}}$ ,
$x_{1}=13$ заданную рекуррентно, на сходимость.
Решение. Предположим, что заданная последовательность
$\left\{x_{n}\right\}$ сходится, тогда существует
$\lim _{n \rightarrow \infty} x_{n}=a$ , а тогда и
$\lim _{n \rightarrow \infty} x_{n+1}=a=\lim _{n \rightarrow \infty} \sqrt{12+x_{n}}=\sqrt{12+a}$
Решая полученное уравнение относительно $a$, получаем:
$a^{2}-a-12=0 \Rightarrow a_{1}=-3, a_{2}=4$
Так как предел неотрицательных чисел не может быть отрицательным, то делаем вывод, что
$a=4$. Итак, если
предел последовательности
$\left\{x_{n}\right\}$ существует, то он равен 4.
Далее докажем, что:
1) $x_{n}>4$ ;
2) $\left\{x_{n}\right\}$ является монотонно убывающей последовательностью.
Первое утверждение $x_{n}>4$ докажем с помощью метода математической индукции:
1 шаг. Проверяем выполнения равенства для
$n=1 : x_{1}=13>4$. Выполняется.
2 шаг. Делаем индуктивное предположение, что для
$n=k$ данное неравенство имеет место, то есть
$x_{k}>4$
3 шаг. Проверяем выполнение неравенства для
$n=k+1 : x_{k+1}>4$ :
$$x_{k+1}=\sqrt{12+x_{k}}^{2}>\sqrt{12+4}=\sqrt{16}=4 \Rightarrow x_{k+1}>4$$
А это означает, что неравенство $x_{n}>4$ выполняется
для любого натурального $n$. Итак, первое утверждение доказано.
Теперь покажем, что последовательность является монотонно убывающей. Рассмотрим разность
$x_{n+1}-x_{n}=\sqrt{12+x_{n}}-x_{n}=\frac{\left(\sqrt{12+x_{n}}-x_{n}\right)\left(\sqrt{12+x_{n}}+x_{n}\right.}{\sqrt{12+x_{n}}+x_{n}}$
$$=\frac{-x_{n}^{2}+x_{n}+12}{\sqrt{12+x_{n}}+x_{n}}=\frac{-\left(x_{n}+3\right)\left(x_{n}-4\right)}{\sqrt{12+x_{n}}+x_{n}}$$
Для $x_{n}>4$ получаем, что
$x_{n+1}-x_{n}<0 \Rightarrow x_{n+1}<x_{n}$ , то есть последовательность $\left\{x_{n}\right\}$ монотонно убывает.
Таким образом, согласно теореме Вейерштрасса, последовательность $\left\{x_{n}\right\}$
является сходящейся.
Ответ. Согласно теореме Вейерштрасса, последовательность
$x_{n+1}=\sqrt{12+x_{n}}$ ,
$x_{1}=13$, заданная рекуррентно, является сходящейся.