上册 1.1 数列极限 第41题
📝 题目
41.证明下列结论.
(1)设 $\left\{x_{n}\right\},\left\{a_{n}\right\}$ 是两个非负无穷数列,$x_{n+1} \leqslant x_{n}+a_{n}, n=1,2, \cdots$ ,且 $\sum_{n=1}^{\infty} a_{n}$ 收敛,证明 $\left\{x_{n}\right\}$ 收敛.
(2)设 $\left\{a_{n}\right\}$ 为非负数列,$\displaystyle a_{n+1} \leqslant a_{n}+\frac{1}{n^{2}}, n=1,2, \cdots$ ,证明 $\left\{a_{n}\right\}$ 收敛.
(3)设 $\left\{x_{n}\right\}$ 是正数列,对所有自然数 $m, n$ 成立 $x_{n+m} \leqslant x_{n}+x_{m},(n=1,2, \cdots)$ ,证明 $\displaystyle \lim _{n \rightarrow \infty} \frac{x_{n}}{n}$ 存在.
(4)设 $\displaystyle 0\frac{1}{4},(n=1,2, \cdots)$ ,证明 $\displaystyle \lim _{n \rightarrow \infty} x_{n}=\frac{1}{2}$ 。
💡 答案解析
\section*{解题过程:}
(1)由 $\sum_{n=1}^{\infty} a_{n}$ 收敛,对 $\forall \varepsilon>0$ ,存在 $N>0$ ,当 $n>N$ 时,$\forall p \in N^{+}$有 $a_{n+1}+a_{n+2}+\cdots+a_{n+p}<\varepsilon$ .于是当 $n>N$ 时,$\forall p \in N^{+}$有
$$
x_{n+p}-x_{n}=\left(x_{n+p}-x_{n+p-1}\right)+\left(x_{n+p-1}-x_{n+p-2}\right)+\cdots+\left(x_{n+1}-x_{n}\right) \leq a_{n+p-1}+\cdots+a_{n}<\frac{\varepsilon}{2}
$$
由 $\sum_{n=1}^{\infty} a_{n}$ 收玫知部分和 $\sum_{k=1}^{n} a_{k}$ 收玫,从而有界.于是有正数 $M$ 使 $\left|\sum_{k=1}^{n} a_{k}\right| \leqslant M$ .
由 $x_{n+1} \leqslant x_{n}+a_{n}$ 得 $x_{n+1}=\sum_{k=1}^{n}\left(x_{k+1}-x_{k}\right)+x_{1} \leqslant \sum_{k=1}^{n} a_{n}+x_{1} \leqslant M+x_{1}$ .于是 $\left\{x_{n}\right\}$ 是有界的,从而 $\left\{x_{n}\right\}$
有收敛的子列 $\left\{x_{n_{k}}\right\}$ 。设 $\lim _{k \rightarrow \infty} x_{n_{k}}=a$ 。下证 $\lim _{n \rightarrow \infty} x_{n}=a$ .
对上述的 $\varepsilon>0$ ,存在 $k_{0}>0$ ,当 $k>k_{0}$ 时有 $\displaystyle -\frac{\varepsilon}{2}N, n>n_{k}>N, k>k_{0}$ 时有 $x_{n}-a=x_{n}-x_{n_{4}}+x_{n_{4}}-a<\varepsilon$ ;
当 $n_{k}>N, n_{k}>n>N, k>k_{0}$ 时有 $a-x_{n}=a-x_{n_{1}}+x_{n_{k}}-x_{n}<\varepsilon$ ,
故当 $n$ 充分大时有 $\left|x_{n}-a\right|<\varepsilon$ ,即 $\left\{x_{n}\right\}$ 是收玫的.
(2)方法 1:由(1)直接得。
方法 2:由于 $\displaystyle a_{n+1} \leqslant a_{n}+\frac{1}{n^{2}} \leqslant a_{n}+\frac{1}{n}-\frac{1}{n+1}$ ,于是 $\displaystyle 0 \leqslant a_{n+1}+\frac{1}{n+1} \leqslant a_{n}+\frac{1}{n}$ ,所以 $\displaystyle \left\{a_{n}+\frac{1}{n}\right\}$ 单调递减有下界。故 $\displaystyle \left\{a_{n}+\frac{1}{n}\right\}$ 收敛。又因 $\displaystyle \left\{\frac{1}{n}\right\}$ 收敛,故 $\left\{a_{n}\right\}$ 收敛。
(3)由已知得 $x_{n} \leqslant x_{n-1}+x_{1} \leqslant x_{n-2}+x_{1}+x_{1} \leqslant \cdots \leqslant n x_{1}$ .于是 $\displaystyle \frac{x_{n}}{n} \leqslant x_{1}$ ,即 $\displaystyle \left\{\frac{x_{n}}{n}\right\}$ 有界.
记 $\displaystyle \varlimsup_{n \rightarrow \infty} \frac{x_{n}}{n}=\beta, ~ \varliminf_{n \rightarrow \infty} \frac{x_{n}}{n}=\alpha$ ,则 $\beta \geqslant \alpha$ ,下证.$\beta \leqslant \alpha$ .
由 $\displaystyle \varliminf_{n \rightarrow x} \frac{x_{n}}{n}=\alpha$ ,对 $\forall \varepsilon>0$ ,存在 $N>1$ ,使 $\displaystyle \frac{x_{N}}{N}<\alpha+\varepsilon$ .
对任意的自然数 $n$ ,存在正整数 $q, r$ ,使 $n=q N+r$ 。于是 $x_{n}=x_{q N+r} \leqslant x_{q N}+x_{r} \leqslant \cdots \leqslant q x_{N}+x_{r}$ .所以
$$
\frac{x_{n}}{n} \leqslant \frac{q}{n} x_{N}+\frac{r x_{1}}{n}=\frac{1}{n}\left(\frac{n-r}{N}\right) x_{N}+\frac{x_{r}}{n}=\frac{n-r}{n} \frac{x_{N}}{N}+\frac{x_{r}}{n} \leqslant \frac{x_{N}}{N}+\frac{r x_{1}}{n}<\alpha+\varepsilon+\frac{r x_{1}}{n} .
$$
让 $n \rightarrow \infty$ 得 $\beta \leqslant \alpha+\varepsilon$ .由 $\varepsilon$ 的任意性得 $\beta \leqslant \alpha$ .所以 $\beta=\alpha$ ,故 $\displaystyle \lim _{n \rightarrow \infty} \frac{x_{n}}{n}$ 存在.
(4)由于 $\displaystyle \frac{\left(1-x_{n+1}\right)+x_{n}}{2} \geqslant \sqrt{\left(1-x_{n+1}\right) x_{n}}>\frac{1}{2},(n=1,2, \cdots)$ ,所以 $x_{n}-x_{n+1} \geqslant 0$ 。故 $\left\{x_{n}\right\}$ 单调递减且有界.于是 $\left\{x_{n}\right\}$ 是收敛的.
设 $\lim _{n \rightarrow \infty} x_{n}=a$ ,则 $\displaystyle (1-a) a \geqslant \frac{1}{4}$ .又( $\displaystyle \left.1-a\right) a \leqslant \frac{1}{4}$ 恒成立,从而( $\displaystyle \left.1-a\right) a=\frac{1}{4}$ 。解之得 $\displaystyle a=\frac{1}{2}$ 。所以 $\displaystyle \lim _{n \rightarrow \infty} x_{n}=\frac{1}{2}$.
📋 详细解题步骤
步骤 1/7
目标:证明{x_n}有界
由 $\sum_{n=1}^{\infty} a_n$ 收敛,知其部分和有界,即存在 $M>0$ 使得 $\left|\sum_{k=1}^n a_k\right|\le M$。由 $x_{n+1}\le x_n+a_n$ 递推得 $x_{n+1}\le x_1+\sum_{k=1}^n a_k\le x_1+M$,故 $\{x_n\}$ 有上界。又 $x_n\ge0$,故 $\{x_n\}$ 有界。
公式:$x_{n+1}\le x_1+\sum_{k=1}^n a_k$
提示:注意非负条件保证下界为0,但只需有界即可。
步骤 2/7
目标:证明{x_n}是Cauchy列
对 $\forall\varepsilon>0$,由 $\sum a_n$ 收敛,存在 $N$ 使得 $\sum_{k=n+1}^{n+p} a_k<\varepsilon$ 对所有 $n>N$ 和 $p\ge1$ 成立。于是当 $n>N$ 时,$x_{n+p}-x_n\le\sum_{k=n}^{n+p-1} a_k<\varepsilon$。又由 $x_n$ 有界,存在收敛子列 $x_{n_k}\to a$。对上述 $\varepsilon$,取 $k$ 充分大使得 $n_k>N$ 且 $|x_{n_k}-a|<\varepsilon$,则当 $n>n_k$ 时,$|x_n-a|\le|x_n-x_{n_k}|+|x_{n_k}-a|<2\varepsilon$,故 $x_n\to a$。
公式:$x_{n+p}-x_n\le\sum_{k=n}^{n+p-1} a_k$
提示:注意不等式方向:$x_{n+p}-x_n$ 可能为负,但上界由 $a_k$ 控制。
步骤 3/7
目标:利用(1)直接得到(2)的结论
令 $x_n=a_n$,$a_n=\frac{1}{n^2}$,则 $x_{n+1}\le x_n+\frac{1}{n^2}$ 且 $\sum \frac{1}{n^2}$ 收敛,由(1)知 $\{a_n\}$ 收敛。
提示:直接套用(1)的结论,注意非负条件满足。
步骤 4/7
目标:证明(3)中{x_n/n}有界
由 $x_{n+m}\le x_n+x_m$ 递推得 $x_n\le n x_1$,故 $\frac{x_n}{n}\le x_1$,即 $\left\{\frac{x_n}{n}\right\}$ 有上界。又 $x_n>0$,故有下界0,从而有界。
公式:$x_n\le n x_1$
提示:注意归纳证明:$x_n\le x_{n-1}+x_1\le\cdots\le n x_1$。
步骤 5/7
目标:证明(3)中上下极限相等
记 $\beta=\varlimsup\frac{x_n}{n}$,$\alpha=\varliminf\frac{x_n}{n}$。对 $\forall\varepsilon>0$,存在 $N$ 使 $\frac{x_N}{N}<\alpha+\varepsilon$。对任意 $n$,写 $n=qN+r$,则 $x_n\le q x_N+x_r$,故 $\frac{x_n}{n}\le\frac{q}{n}x_N+\frac{x_r}{n}\le\frac{x_N}{N}+\frac{r x_1}{n}<\alpha+\varepsilon+\frac{r x_1}{n}$。令 $n\to\infty$ 得 $\beta\le\alpha+\varepsilon$,由 $\varepsilon$ 任意得 $\beta\le\alpha$,从而 $\beta=\alpha$,极限存在。
公式:$\frac{x_n}{n}\le\frac{x_N}{N}+\frac{r x_1}{n}$
提示:注意 $r$ 依赖于 $n$,但 $r x_1/n\to0$。
步骤 6/7
目标:证明(4)中{x_n}单调递减且有界
由 $(1-x_{n+1})x_n>\frac14$ 及均值不等式 $\frac{(1-x_{n+1})+x_n}{2}\ge\sqrt{(1-x_{n+1})x_n}>\frac12$,得 $1-x_{n+1}+x_n>1$,即 $x_n>x_{n+1}$,故 $\{x_n\}$ 单调递减。又 $0
公式:$\frac{(1-x_{n+1})+x_n}{2}\ge\sqrt{(1-x_{n+1})x_n}$
提示:注意均值不等式等号成立条件,这里严格大于。
步骤 7/7
目标:求(4)中极限值
设 $\lim x_n=a$,则对不等式 $(1-x_{n+1})x_n>\frac14$ 取极限得 $(1-a)a\ge\frac14$。又由 $0
公式:$(1-a)a=\frac14$
提示:注意极限不等式方向:严格不等式取极限后变为非严格。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。