2011年考研数学二第19题

解答题 · 10分

📝 题目

(I)证明:对任意的正整数 $n$ ,都有 $\displaystyle\frac{1}{n+1}\lt\ln \left(1+\displaystyle\frac{1}{n}\right)\lt\displaystyle\frac{1}{n}$ 成立; (II)设 $a_{n}=1+\displaystyle\frac{1}{2}+\cdots+\displaystyle\frac{1}{n}-\ln n(n=1,2, \cdots)$ ,证明数列 $\left\{a_{n}\right\}$ 收敛。

💡 答案解析

**答案**: 见解析

---

**解析**:

令 $f(x)=\ln (1+x)-\displaystyle\frac{x}{1+x}, \quad f(0)=0$ , $f^{\prime}(x)=\displaystyle\frac{1}{1+x}-\displaystyle\frac{1}{(1+x)^{2}}\gt 0(x\gt 0)$ , 由 $\left\{\begin{array}{l}f(0)=0, \\ f^{\prime}(x)\gt 0(x\gt 0)\end{array}\right.$ 得 $f(x)\gt 0(x\gt 0)$ ,即当 $x\gt 0$ 时,$\displaystyle\frac{x}{1+x}\lt \ln (1+x)$ ; 令 $g(x)=x-\ln (1+x), \quad g(0)=0, \quad g^{\prime}(x)=1-\displaystyle\frac{1}{1+x}\gt 0(x\gt 0)$ , 由 $\left\{\begin{array}{l}g(0)=0, \\ g^{\prime}(x)\gt 0(x\gt 0)\end{array}\right.$ 得 $g(x)\gt 0(x\gt 0)$ ,即当 $x\gt 0$ 时, $\ln (1+x)\lt x$ , 于是当 $x\gt 0$ 时,有 $\displaystyle\frac{x}{1+x}\lt \ln (1+x)\lt x$ ,取 $x=\displaystyle\frac{1}{n}$ ,则有 $\displaystyle\frac{1}{n+1}\lt \ln \left(1+\displaystyle\frac{1}{n}\right)\lt \displaystyle\frac{1}{n}$ .

## 方法二 中值定理

令 $f(t)=\ln (1+t)(t\gt 0), \quad f(0)=0, \quad f^{\prime}(t)=\displaystyle\frac{1}{1+t}$ , 由拉格朗日中值定理,存在 $\xi \in\left(0, \displaystyle\frac{1}{n}\right)$ ,使得 $f\left(\displaystyle\frac{1}{n}\right)-f(0)=\displaystyle\frac{f^{\prime}(\xi)}{n}$ , 即 $\ln \left(1+\displaystyle\frac{1}{n}\right)=\displaystyle\frac{1}{n(1+\xi)}$ , 因为 $\displaystyle\frac{1}{1+\displaystyle\frac{1}{n}}\lt \displaystyle\frac{1}{1+\xi}\lt \displaystyle\frac{1}{1+0}$ ,即 $\displaystyle\frac{n}{n+1}\lt \displaystyle\frac{1}{1+\xi}\lt 1$ ,所以 $\displaystyle\frac{1}{n+1}\lt \ln \left(1+\displaystyle\frac{1}{n}\right)\lt \displaystyle\frac{1}{n}$ . 方法三 因为当 $x \in[n, n+1]$ 时,$\displaystyle\frac{1}{n+1} \leqslant \displaystyle\frac{1}{x} \leqslant \displaystyle\frac{1}{n}$ 且不恒等,

所以 $\displaystyle\int_{n}^{n+1} \displaystyle\frac{1}{n+1} \mathrm{~d} x\lt \displaystyle\int_{n}^{n+1} \displaystyle\frac{1}{x} \mathrm{~d} x\lt \displaystyle\int_{n}^{n+1} \displaystyle\frac{1}{n} \mathrm{~d} x$ ,即 $\displaystyle\frac{1}{n+1}\lt \ln (n+1)-\ln n\lt \displaystyle\frac{1}{n}$ ,整理得

$$ \frac{1}{n+1}\lt \ln \left(1+\frac{1}{n}\right)\lt \frac{1}{n} $$

( II )由(I)得 $a_{n+1}-a_{n}=\displaystyle\frac{1}{n+1}-\ln \left(1+\displaystyle\frac{1}{n}\right)\lt 0$ ,则 $\left\{a_{n}\right}$ 单调减少, 因为 $a_{n}=1+\displaystyle\frac{1}{2}+\cdots+\displaystyle\frac{1}{n}-\ln n$

$$\ln (1+1)+\ln \left(1+\frac{1}{2}\right)+\cdots+\ln \left(1+\frac{1}{n}\right)-\ln n=\ln (n+1)-\ln n\gt 0, $$

所以 $\left\{a_{n}\right}$ 单调减少且有下界,故 $\left\{a_{n}\right}$ 收敛。 方法点评:在本题基础上需要掌握不等式证明中使用的放缩法. 【例】证明: $\ln (1+n) \leqslant 1+\displaystyle\frac{1}{2}+\cdots+\displaystyle\frac{1}{n} \leqslant 1+\ln n$ . 【证明】当 $x \in[1,2]$ 时,由 $\displaystyle\frac{1}{1} \geqslant \displaystyle\frac{1}{x}$ 得 $\displaystyle\int_{1}^{2} \displaystyle\frac{1}{1} \mathrm{~d} x \geqslant \displaystyle\int_{1}^{2} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,即 $1 \geqslant \displaystyle\int_{1}^{2} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,当 $x \in[2,3]$ 时,由 $\displaystyle\frac{1}{2} \geqslant \displaystyle\frac{1}{x}$ 得 $\displaystyle\int_{2}^{3} \displaystyle\frac{1}{2} \mathrm{~d} x \geqslant \displaystyle\int_{2}^{3} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,即 $\displaystyle\frac{1}{2} \geqslant \displaystyle\int_{2}^{3} \displaystyle\frac{1}{x} \mathrm{~d} x$ , 同理 $\displaystyle\frac{1}{3} \geqslant \displaystyle\int_{3}^{4} \displaystyle\frac{1}{x} \mathrm{~d} x, \cdots, \displaystyle\frac{1}{n} \geqslant \displaystyle\int_{n}^{n+1} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,相加得

$$ 1+\frac{1}{2}+\cdots+\frac{1}{n} \geqslant \int_{1}^{n+1} \frac{1}{x} \mathrm{~d} x=\ln (1+n) $$

又当 $x \in[1,2]$ 时,由 $\displaystyle\frac{1}{2} \leqslant \displaystyle\frac{1}{x}$ 得 $\displaystyle\int_{1}^{2} \displaystyle\frac{1}{2} \mathrm{~d} x \leqslant \displaystyle\int_{1}^{2} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,即 $\displaystyle\frac{1}{2} \leqslant \displaystyle\int_{1}^{2} \displaystyle\frac{1}{x} \mathrm{~d} x$ , 当 $x \in[2,3]$ 时,由 $\displaystyle\frac{1}{3} \leqslant \displaystyle\frac{1}{x}$ 得 $\displaystyle\int_{2}^{3} \displaystyle\frac{1}{3} \mathrm{~d} x \leqslant \displaystyle\int_{2}^{3} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,即 $\displaystyle\frac{1}{3} \leqslant \displaystyle\int_{2}^{3} \displaystyle\frac{1}{x} \mathrm{~d} x$ , 同理 $\displaystyle\frac{1}{4} \leqslant \displaystyle\int_{3}^{4} \displaystyle\frac{1}{x} \mathrm{~d} x, \cdots, \displaystyle\frac{1}{n} \leqslant \displaystyle\int_{n-1}^{n} \displaystyle\frac{1}{x} \mathrm{~d} x$ ,相加得 $\displaystyle\frac{1}{2}+\displaystyle\frac{1}{3}+\cdots+\displaystyle\frac{1}{n} \leqslant \displaystyle\int_{1}^{n} \displaystyle\frac{1}{x} \mathrm{~d} x=\ln n$ ,于是 $1+\displaystyle\frac{1}{2}+\displaystyle\frac{1}{3}+\cdots+\displaystyle\frac{1}{n} \leqslant 1+\ln n$, 故

$$ \ln (1+n) \leqslant 1+\frac{1}{2}+\cdots+\frac{1}{n} \leqslant 1+\ln n $$

📋 详细解题步骤

步骤 1/4
目标:证明不等式1/(n+1) < ln(1+1/n) < 1/n
本步骤采用方法一:构造函数法。 首先证明左边不等式:$\ln(1+\frac{1}{n}) > \frac{1}{n+1}$。 令 $x = \frac{1}{n}$,则 $x > 0$,需证 $\ln(1+x) > \frac{x}{1+x}$。 构造函数 $f(x) = \ln(1+x) - \frac{x}{1+x}$,定义域 $x > 0$。 求导得: $$f'(x) = \frac{1}{1+x} - \frac{(1+x) - x}{(1+x)^2} = \frac{1}{1+x} - \frac{1}{(1+x)^2} = \frac{x}{(1+x)^2} > 0 \quad (x>0)$$ 因此 $f(x)$ 在 $(0,+\infty)$ 上严格单调递增。又 $f(0) = \ln 1 - 0 = 0$,所以当 $x>0$ 时,$f(x) > f(0) = 0$,即 $\ln(1+x) > \frac{x}{1+x}$。取 $x = \frac{1}{n}$ 得 $\ln(1+\frac{1}{n}) > \frac{1/n}{1+1/n} = \frac{1}{n+1}$。 再证明右边不等式:$\ln(1+\frac{1}{n}) < \frac{1}{n}$。 令 $x = \frac{1}{n}$,需证 $\ln(1+x) < x$。 构造函数 $g(x) = x - \ln(1+x)$,定义域 $x > 0$。 求导得: $$g'(x) = 1 - \frac{1}{1+x} = \frac{x}{1+x} > 0 \quad (x>0)$$ 因此 $g(x)$ 在 $(0,+\infty)$ 上严格单调递增。又 $g(0) = 0 - 0 = 0$,所以当 $x>0$ 时,$g(x) > g(0) = 0$,即 $x > \ln(1+x)$。取 $x = \frac{1}{n}$ 得 $\frac{1}{n} > \ln(1+\frac{1}{n})$。 综合左右两边,即得 $\frac{1}{n+1} < \ln(1+\frac{1}{n}) < \frac{1}{n}$,证毕。
公式:$$f(x)=\ln(1+x)-\frac{x}{1+x},\quad f'(x)=\frac{x}{(1+x)^2}>0;\quad g(x)=x-\ln(1+x),\quad g'(x)=\frac{x}{1+x}>0$$
提示:构造函数时,将不等式一端移项,通过导数判断单调性,再结合端点值得到不等式。
步骤 2/4
目标:证明数列{a_n}单调递减
要证明数列 $\{a_n\}$ 单调递减,即证明对任意正整数 $n$,有 $a_{n+1} < a_n$。 首先写出 $a_n$ 与 $a_{n+1}$ 的表达式: $$a_n = 1 + \frac{1}{2} + \cdots + \frac{1}{n} - \ln n,$$ $$a_{n+1} = 1 + \frac{1}{2} + \cdots + \frac{1}{n} + \frac{1}{n+1} - \ln(n+1).$$ 计算两者的差: $$a_{n+1} - a_n = \left(1 + \frac{1}{2} + \cdots + \frac{1}{n} + \frac{1}{n+1} - \ln(n+1)\right) - \left(1 + \frac{1}{2} + \cdots + \frac{1}{n} - \ln n\right)$$ $$= \frac{1}{n+1} - \ln(n+1) + \ln n = \frac{1}{n+1} - \ln\frac{n+1}{n} = \frac{1}{n+1} - \ln\left(1+\frac{1}{n}\right).$$ 由第(I)问的不等式(或常用不等式):对任意 $x > -1$ 且 $x \neq 0$,有 $\frac{x}{1+x} < \ln(1+x) < x$。令 $x = \frac{1}{n} > 0$,则得到 $$\ln\left(1+\frac{1}{n}\right) > \frac{1/n}{1+1/n} = \frac{1}{n+1}.$$ 因此 $$\frac{1}{n+1} - \ln\left(1+\frac{1}{n}\right) < 0,$$ 即 $a_{n+1} - a_n < 0$,所以 $a_{n+1} < a_n$ 对一切正整数 $n$ 成立。 故数列 $\{a_n\}$ 单调递减。
公式:a_{n+1} - a_n = \frac{1}{n+1} - \ln\left(1+\frac{1}{n}\right) < 0
提示:利用第(I)问的不等式 $\ln(1+x) > \frac{x}{1+x}$ 可直接得到差为负。
步骤 3/4
目标:证明数列{a_n}有下界
要证明数列 $\{a_n\}$ 有下界,首先回顾数列的定义:$a_n = 1 + \frac{1}{2} + \cdots + \frac{1}{n} - \ln n$。我们需要找到一个常数 $M$,使得对所有 $n \in \mathbb{N}^+$ 都有 $a_n \geq M$。 利用第(I)问中已证明的不等式:$\frac{1}{k+1} < \ln\left(1+\frac{1}{k}\right) < \frac{1}{k}$(其中 $k \in \mathbb{N}^+$)。我们考虑将 $a_n$ 中的调和级数部分进行改写。注意到 $\frac{1}{k} > \ln\left(1+\frac{1}{k}\right)$,因此 $$ 1 + \frac{1}{2} + \cdots + \frac{1}{n} > \ln\left(1+\frac{1}{1}\right) + \ln\left(1+\frac{1}{2}\right) + \cdots + \ln\left(1+\frac{1}{n}\right). $$ 利用对数性质,上式右边可合并为: $$ \ln\left(\frac{2}{1} \cdot \frac{3}{2} \cdot \frac{4}{3} \cdots \frac{n+1}{n}\right) = \ln(n+1). $$ 于是得到 $$ a_n = \left(1 + \frac{1}{2} + \cdots + \frac{1}{n}\right) - \ln n > \ln(n+1) - \ln n = \ln\left(1+\frac{1}{n}\right). $$ 由于 $\ln\left(1+\frac{1}{n}\right) > 0$ 对所有 $n \geq 1$ 成立,因此 $a_n > 0$。这表明数列 $\{a_n\}$ 有下界 $0$(实际上 $0$ 是一个下界,但并非下确界)。 注意:这里我们只证明了 $a_n > 0$,即下界存在。如果需要更精确的下界,可进一步利用不等式 $\ln\left(1+\frac{1}{n}\right) > \frac{1}{n+1}$ 得到 $a_n > \frac{1}{n+1}$,但这不影响有下界的结论。
公式:a_n > \ln(n+1) - \ln n = \ln\left(1+\frac{1}{n}\right) > 0
提示:利用第(I)问的不等式将调和级数放缩为对数累加,再合并为单一对数。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。