中册 6.1 数项级数的敛散性 第43题
📝 题目
43.证明下列结论.
(1)已知 $a_{0}=a_{1}=1, a_{n}=a_{n-1}+a_{n-2}, n \geqslant 3$ ,证明:级数 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{a_{n}}$ 收玫.
(2)判别级数 $\sqrt{2}+\sqrt{2-\sqrt{2}}+\sqrt{2-\sqrt{2+\sqrt{2}}}+\cdots$ 的玫散性.
(3)设 $x_{1}=\sqrt{2}, x_{2}=\sqrt{2-\sqrt{2}}, x_{3}=\sqrt{2-\sqrt{2-\sqrt{2}}}, \cdots$ 证明: $\lim _{n \rightarrow \infty} x_{n}$ 存在,且级数 $\sum_{n=1}^{\infty} x_{n}$ 收敛.
(4)设 $x_{0}=\sqrt{6}, x_{n+1}=\sqrt{6+x_{n}}$ ,判别级数 $\sum_{n=0}^{\infty} \sqrt{3-x_{n}}$ 的敛散性.
💡 答案解析
\section*{证明过程:}
(1)记 $\displaystyle y_{n}=\frac{a_{n}}{a_{n+1}}$ .由已知可得 $\displaystyle \frac{a_{n+2}}{a_{n+1}}=1+\frac{a_{n}}{a_{n+1}}$ ,则 $\displaystyle y_{n+1}=\frac{1}{1+y_{n}}$ 且 $y_{1}=1$ ,此题转化为 1.1 题 32(4).
于是 $\displaystyle \lim _{n \rightarrow \infty} y_{n}=\frac{\sqrt{5}-1}{2}$ .由于 $\displaystyle \lim _{n \rightarrow \infty} \frac{\frac{1}{a_{n+1}}}{\frac{1}{a_{n}}}=\lim _{n \rightarrow \infty} \frac{a_{n}}{a_{n+1}}=\lim _{n \rightarrow \infty} y_{n}=\frac{\sqrt{5}-1}{2}<1$ ,所以级数 $\displaystyle \sum_{n=1}^{\infty} \frac{1}{a_{n}}$ 收玫。
(2)设 $x_{1}=\sqrt{2}, x_{2}=\sqrt{2-\sqrt{2}}, x_{3}=\sqrt{2-\sqrt{2+\sqrt{2}}}, \cdots$ ,则
$$
\begin{aligned}
& x_{1}=\sqrt{2}=2 \cos \frac{\pi}{4}=2 \sin \frac{\pi}{4}=2 \sin \frac{\pi}{2^{2}} \\
& x_{2}=\sqrt{2-\sqrt{2}}=\sqrt{2\left(1-\cos \frac{\pi}{4}\right)}=2 \sin \frac{\pi}{2^{3}}
\end{aligned}
$$
$$
x_{3}=\sqrt{2-\sqrt{2+\sqrt{2}}}=\sqrt{2-\sqrt{2\left(1+\cos \frac{\pi}{4}\right)}}=\sqrt{2-2 \cos \frac{\pi}{2^{3}}}=2 \sin \frac{\pi}{2^{4}}
$$
一般地有 $\displaystyle x_{n}=2 \sin \frac{\pi}{2^{n+1}}$ .由于 $\displaystyle x_{n} \leqslant \frac{\pi}{2^{n}}$ ,且级数 $\displaystyle \sum_{n=1}^{\infty} \frac{\pi}{2^{n}}$ 收玫,从而原级数收玫。
(3)与(2)类似可得 $\displaystyle x_{n}=2 \sin \frac{\pi}{2^{n+1}}$ .于是 $\displaystyle \lim _{n \rightarrow \infty} x_{n}=\lim _{n \rightarrow \infty} 2 \sin \frac{\pi}{2^{n+1}}=0$ .又由 $\displaystyle x_{n}=2 \sin \frac{\pi}{2^{n+1}} \leqslant \frac{\pi}{2^{n}}$ 得级数 $\sum_{n=1}^{\infty} x_{n}$ 收玫。
(4)先证:$\left\{x_{n}\right\}$ 收玫并求 $\lim _{n \rightarrow+\infty} x_{n}$ .
由于 $x_{1}-x_{0}=\sqrt{6+x_{0}}-\sqrt{6}>0$ 且 $\displaystyle x_{n+1}-x_{n}=\sqrt{6+x_{n}}-\sqrt{6+x_{n-1}}=\frac{x_{n}-x_{n-1}}{\sqrt{6+x_{n}}+\sqrt{6+x_{n-1}}}$ ,所以 $\left\{x_{n}\right\}$单调增加.
又 $\displaystyle x_{n+1}-x_{n}=\sqrt{6+x_{n}}-\sqrt{6+x_{n-1}}=\frac{x_{n}-x_{n-1}}{\sqrt{6+x_{n}}+\sqrt{6+x_{n-1}}} \leqslant \frac{x_{n}-x_{n-1}}{2 \sqrt{6}}$ ,所以数列 $\left\{x_{n}\right\}$ 为压缩数列,从而 $\left\{x_{n}\right\}$ 收敛。在递推关系 $x_{n+1}=\sqrt{6+x_{n}}$ 两边取极限解出 $\lim _{n \rightarrow+\infty} x_{n}=3$ .于是 $x_{n}<3$ .
再证:级数 $\sum_{n=0}^{\infty} \sqrt{3-x_{n}}$ 收玫。
由于 $\displaystyle 3-x_{n}=3-\sqrt{6+x_{n-1}}=\frac{3-x_{n-1}}{3+\sqrt{6+x_{n-1}}}<\frac{1}{5}\left(3-x_{n-1}\right)<\cdots<\frac{1}{5^{n}}\left(3-x_{0}\right)$ ,所以
$$
\sqrt{3-x_{n}}<\frac{1}{(\sqrt{5})^{n}} \sqrt{3-x_{0}}
$$
由于级数 $\displaystyle \sum_{n=0}^{\infty} \frac{1}{(\sqrt{5})^{n}}$ 收玫,由比较原理可知级数 $\sum_{n=0}^{\infty} \sqrt{3-x_{n}}$ 也收玫。
📋 详细解题步骤
步骤 1/7
目标:证明级数∑1/a_n收敛
设$y_n=\frac{a_n}{a_{n+1}}$。由递推$a_{n+2}=a_{n+1}+a_n$得$\frac{a_{n+2}}{a_{n+1}}=1+\frac{a_n}{a_{n+1}}$,即$y_{n+1}=\frac{1}{1+y_n}$,且$y_1=1$。求极限:设$\lim y_n=l$,则$l=\frac{1}{1+l}$,解得$l=\frac{\sqrt{5}-1}{2}$(正根)。于是$\lim\frac{1/a_{n+1}}{1/a_n}=\lim y_n=l<1$,由比值判别法知级数收敛。
公式:$\lim_{n\to\infty}\frac{a_n}{a_{n+1}}=\frac{\sqrt{5}-1}{2}$
提示:注意$y_n$的递推关系推导,以及极限$l$的求解需舍去负根。
步骤 2/7
目标:用三角恒等式化简通项
观察$x_1=\sqrt{2}=2\sin\frac{\pi}{4}=2\sin\frac{\pi}{2^2}$,$x_2=\sqrt{2-\sqrt{2}}=2\sin\frac{\pi}{8}=2\sin\frac{\pi}{2^3}$,$x_3=\sqrt{2-\sqrt{2+\sqrt{2}}}=2\sin\frac{\pi}{16}=2\sin\frac{\pi}{2^4}$。归纳得$x_n=2\sin\frac{\pi}{2^{n+1}}$。
公式:$x_n=2\sin\frac{\pi}{2^{n+1}}$
提示:利用半角公式$\sqrt{2-2\cos\theta}=2\sin\frac{\theta}{2}$和$\sqrt{2+2\cos\theta}=2\cos\frac{\theta}{2}$。
步骤 3/7
目标:判别级数∑x_n的敛散性
由$x_n=2\sin\frac{\pi}{2^{n+1}}\le 2\cdot\frac{\pi}{2^{n+1}}=\frac{\pi}{2^n}$(因为$\sin x\le x$),而级数$\sum\frac{\pi}{2^n}$收敛,故由比较判别法知原级数收敛。
公式:$x_n\le\frac{\pi}{2^n}$
提示:注意$\sin x\le x$在$x>0$时成立,且$\frac{\pi}{2^{n+1}}>0$。
步骤 4/7
目标:证明极限存在并求值
由(2)知$x_n=2\sin\frac{\pi}{2^{n+1}}$,则$\lim_{n\to\infty}x_n=2\sin0=0$。又由$x_n\le\frac{\pi}{2^n}$,级数$\sum x_n$收敛。
公式:$\lim_{n\to\infty}x_n=0$
提示:极限存在性已由表达式直接得到,无需单调有界。
步骤 5/7
目标:证明数列{x_n}收敛并求极限
先证单调性:$x_1=\sqrt{6}$,$x_2=\sqrt{6+\sqrt{6}}>\sqrt{6}=x_1$,假设$x_n>x_{n-1}$,则$x_{n+1}=\sqrt{6+x_n}>\sqrt{6+x_{n-1}}=x_n$,故递增。再证有界:显然$x_n<\sqrt{6+\sqrt{6+\cdots}}$,设极限为$l$,则$l=\sqrt{6+l}$,解得$l=3$(舍去负根),故$\lim x_n=3$。
公式:$\lim_{n\to\infty}x_n=3$
提示:单调有界定理需验证单调性和有界性,极限方程求解时注意舍去负根。
步骤 6/7
目标:估计3-x_n的递推关系
由$x_n<3$,有$3-x_n=3-\sqrt{6+x_{n-1}}=\frac{3-x_{n-1}}{3+\sqrt{6+x_{n-1}}}$。分母$3+\sqrt{6+x_{n-1}}>3+\sqrt{6}=3+\sqrt{6}>5$,故$3-x_n<\frac{1}{5}(3-x_{n-1})$。递推得$3-x_n<\frac{1}{5^n}(3-x_0)$,其中$x_0=\sqrt{6}$,$3-x_0=3-\sqrt{6}$。
公式:$3-x_n<\frac{1}{5^n}(3-\sqrt{6})$
提示:分母放缩时需注意$\sqrt{6+x_{n-1}}>\sqrt{6}$,从而分母大于$3+\sqrt{6}$,但$3+\sqrt{6}>5$,故可用$5$。
步骤 7/7
目标:判别级数∑√(3-x_n)的敛散性
由$3-x_n<\frac{1}{5^n}(3-\sqrt{6})$,开方得$\sqrt{3-x_n}<\frac{\sqrt{3-\sqrt{6}}}{(\sqrt{5})^n}$。而级数$\sum\frac{1}{(\sqrt{5})^n}$收敛(公比$\frac{1}{\sqrt{5}}<1$),由比较判别法知原级数收敛。
公式:$\sqrt{3-x_n}<\frac{\sqrt{3-\sqrt{6}}}{(\sqrt{5})^n}$
提示:注意开方后不等式方向不变,且$\sqrt{3-\sqrt{6}}$为常数。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。