Раздел I. Введение в анализ§ 2. Теория последовательностей

Демидович — задача 141

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 141

Доказать, что если xn>0x_n>0 (n=1,2,)(n=1,2,\ldots), тоlimnxnn=limnxn+1xn,\lim_{n\to\infty}\sqrt[n]{x_n}=\lim_{n\to\infty}\frac{x_{n+1}}{x_n},предполагая, что предел, стоящий в правой части последнего равенства, существует.

Доказательство

Идея

Пустьlimnxn+1xn=a.\lim_{n\to\infty}\frac{x_{n+1}}{x_n}=a.Из xn>0x_n>0 имеем a0a\geq0. Снова рассмотрим два случая.
  1. 1
    Пусть a>0a>0.

    Зафиксируем 0<ε<a0<\varepsilon<a. Для некоторого NN и всех n>Nn>Naε2<xn+1xn<a+ε2.a-\frac{\varepsilon}{2}
    <
    \frac{x_{n+1}}{x_n}
    <
    a+\frac{\varepsilon}{2}.
    Те же оценки верны для k=N,N+1,,n1k=N,N+1,\ldots,n-1. Перемножая их, получаем(aε2)nN<xnxN<(a+ε2)nN,\left(a-\frac{\varepsilon}{2}\right)^{n-N}
    <
    \frac{x_n}{x_N}
    <
    \left(a+\frac{\varepsilon}{2}\right)^{n-N},
    то естьxN(aε2)nN<xn<xN(a+ε2)nN.x_N\left(a-\frac{\varepsilon}{2}\right)^{n-N}
    <
    x_n
    <
    x_N\left(a+\frac{\varepsilon}{2}\right)^{n-N}.
    Извлекая корень nn-й степени,(aε2)(xN(aε/2)N)1/n<xnn<(a+ε2)(xN(a+ε/2)N)1/n.\left(a-\frac{\varepsilon}{2}\right)
    \left(\frac{x_N}{(a-\varepsilon/2)^N}\right)^{1/n}
    <
    \sqrt[n]{x_n}
    <
    \left(a+\frac{\varepsilon}{2}\right)
    \left(\frac{x_N}{(a+\varepsilon/2)^N}\right)^{1/n}.
  2. 2
    Для любого c>0c>0 имеем c1/n1c^{1/n}\to1, поэтому левая и правая части стремятся к aε2a-\frac{\varepsilon}{2} и a+ε2a+\frac{\varepsilon}{2}. Значит, при достаточно больших nnaε<xnn<a+ε,a-\varepsilon<\sqrt[n]{x_n}<a+\varepsilon,а значит,limnxnn=a.\lim_{n\to\infty}\sqrt[n]{x_n}=a.Пусть a=0a=0.

    Зафиксируем ε>0\varepsilon>0. Из xn+1xn0\frac{x_{n+1}}{x_n}\to0 для некоторого NN и всех n>Nn>N0<xn+1xn<ε2.0<\frac{x_{n+1}}{x_n}<\frac{\varepsilon}{2}.Перемножая эти неравенства, получаем0<xn<xN(ε2)nN,0<x_n<x_N\left(\frac{\varepsilon}{2}\right)^{n-N},а после извлечения корня0<xnn<ε2(xN(ε/2)N)1/n.0<\sqrt[n]{x_n}
    <
    \frac{\varepsilon}{2}
    \left(\frac{x_N}{(\varepsilon/2)^N}\right)^{1/n}.
    Множитель в скобках стремится к 11, поэтому для всех достаточно больших nn он меньше 22. Тогда 0<xnn<ε0<\sqrt[n]{x_n}<\varepsilon, то естьlimnxnn=0=a.\lim_{n\to\infty}\sqrt[n]{x_n}=0=a.

Проверка

Итак,limnxnn=limnxn+1xn.\boxed{\lim_{n\to\infty}\sqrt[n]{x_n}=\lim_{n\to\infty}\frac{x_{n+1}}{x_n}}.

Что и требовалось доказать

Демидович № 141 — решение