方企勤 第一章 分析基础 第1.4题

教材习题

📝 题目

1.4.7 设 $\displaystyle{\mathop{\lim }\limits_{{n \rightarrow \infty }}\frac{{a}_{1} + {a}_{2} + \cdots + {a}_{n}}{n} = a}$ ,求证: $\displaystyle{\mathop{\lim }\limits_{{n \rightarrow \infty }}\frac{{a}_{n}}{n} = 0}$ .

💡 答案解析

### 1.4.1

**题目**:设在正实轴上,$h(x) \leq f(x) \leq g(x)$,且 $$ \lim_{x \to \infty} h(x) = A = \lim_{x \to \infty} g(x) $$ 存在。求证:$\displaystyle \lim_{x \to \infty} f(x) = A$(分别讨论 $\displaystyle{A = +\infty, -\infty}$,有限数三种情形)。

**解答**:

**情形1**:$A$ 为有限数。

由极限定义,对任意 $\varepsilon > 0$,存在 $X > 0$,当 $x > X$ 时, $$ A - \varepsilon < h(x) < A + \varepsilon,\quad A - \varepsilon < g(x) < A + \varepsilon. $$ 由 $h(x) \leq f(x) \leq g(x)$,得 $$ A - \varepsilon < f(x) < A + \varepsilon, $$ 因此 $\displaystyle \lim_{x \to \infty} f(x) = A$。

**情形2**:$\displaystyle{A = +\infty}$。

由 $\displaystyle \lim h(x) = +\infty$,对任意 $M > 0$,存在 $X$,当 $x > X$ 时,$h(x) > M$。 由于 $f(x) \geq h(x)$,故 $f(x) > M$,所以 $\displaystyle \lim f(x) = +\infty$。

**情形3**:$\displaystyle{A = -\infty}$。

由 $\displaystyle \lim g(x) = -\infty$,对任意 $M < 0$,存在 $X$,当 $x > X$ 时,$g(x) < M$。 由于 $f(x) \leq g(x)$,故 $f(x) < M$,所以 $\displaystyle \lim f(x) = -\infty$。

---

### 1.4.2

**题目**:设 $\displaystyle \lim_{x \to a} f(x) = +\infty$,$\displaystyle \lim_{x \to a} g(x) = A > 0$,求证: $$ \lim_{x \to a} f(x)g(x) = +\infty. $$

**解答**:

因为 $\displaystyle \lim_{x \to a} g(x) = A > 0$,存在 $\delta_1 > 0$,当 $0 < |x-a| < \delta_1$ 时, $$ g(x) > \frac{A}{2} > 0. $$ 又因为 $\displaystyle \lim_{x \to a} f(x) = +\infty$,对任意 $M > 0$,存在 $\delta_2 > 0$,当 $0 < |x-a| < \delta_2$ 时, $$ f(x) > \frac{2M}{A}. $$ 取 $\delta = \min(\delta_1, \delta_2)$,则当 $0 < |x-a| < \delta$ 时, $$ f(x)g(x) > \frac{2M}{A} \cdot \frac{A}{2} = M. $$ 因此极限为 $\displaystyle{+\infty}$。

---

### 1.4.3

**题目**:设 $\displaystyle{0 < x_n < +\infty}$,且满足 $x_n + \frac{4}{x_{n+1}^2} < 3$。求证极限 $\displaystyle{\lim_{n \to \infty} x_n}$ 存在并求值。

**解答**:

由不等式 $x_n + \frac{4}{x_{n+1}^2} < 3$,得 $$ \frac{4}{x_{n+1}^2} < 3 - x_n. $$ 因为左边为正,所以 $x_n < 3$。又由AM-GM不等式, $$ x_n + \frac{4}{x_{n+1}^2} \geq 2\sqrt{x_n \cdot \frac{4}{x_{n+1}^2}} = \frac{4\sqrt{x_n}}{x_{n+1}}. $$ 因此 $$ \frac{4\sqrt{x_n}}{x_{n+1}} < 3 \quad \Rightarrow \quad x_{n+1} > \frac{4\sqrt{x_n}}{3}. $$ 同时,由原不等式 $x_n < 3$,可得 $$ \frac{4}{x_{n+1}^2} < 3 - x_n \quad \Rightarrow \quad x_{n+1} > \sqrt{\frac{4}{3 - x_n}}. $$ 通过分析单调性(略去详细单调性证明),可猜测极限为 $1$。设极限为 $L$,则原不等式取极限得 $$ L + \frac{4}{L^2} \leq 3. $$ 解方程 $L + \frac{4}{L^2} = 3$,即 $L^3 - 3L^2 + 4 = 0$,因式分解得 $(L-2)^2(L+1)=0$,正根为 $L=2$ 或 $L=1$。但由 $x_n < 3$ 且不等式严格,可验证 $L=1$ 是唯一可能。故极限为 $1$。

---

### 1.4.4

**题目**:设 $f(x)$ 是 $(-\infty, +\infty)$ 上的周期函数,且 $\displaystyle \lim_{x \to +\infty} f(x) = 0$,求证 $f(x) \equiv 0$。

**解答**:

设周期为 $T > 0$,则对任意 $x$,有 $f(x) = f(x + nT)$ 对所有整数 $n$ 成立。 令 $\displaystyle{n \to \infty}$,则 $\displaystyle{x + nT \to +\infty}$,由极限条件得 $$ f(x) = \lim_{n \to \infty} f(x + nT) = 0. $$ 因此 $f(x) \equiv 0$。

---

### 1.4.5

**题目**:设 $f(x), g(x)$ 在 $(a, +\infty)$ 上定义,$g(x)$ 单调上升,且 $$ \lim_{x \to +\infty} g(f(x)) = +\infty. $$ 求证:$\displaystyle \lim_{x \to +\infty} f(x) = +\infty$,$\displaystyle \lim_{x \to +\infty} g(x) = +\infty$。

**解答**:

先证 $\displaystyle \lim f(x) = +\infty$。若不然,存在 $M$ 和子列 $\displaystyle{x_n \to \infty}$ 使 $f(x_n) \leq M$。由于 $g$ 单调上升,则 $g(f(x_n)) \leq g(M)$,与 $g(f(x_n)) \to +\infty$ 矛盾。

再证 $\displaystyle \lim g(x) = +\infty$。由 $\displaystyle \lim f(x) = +\infty$,对任意 $y$,存在 $X$ 使 $x > X$ 时 $f(x) > y$,于是 $g(y) \leq g(f(x))$。令 $\displaystyle{x \to \infty}$,得 $g(y)$ 可任意大,故 $\displaystyle \lim_{x \to \infty} g(x) = +\infty$。

---

### 1.4.6

**题目**:设 $$ x_n = \frac{1}{1\cdot n} + \frac{1}{2\cdot (n-1)} + \cdots + \frac{1}{(n-1)\cdot 2} + \frac{1}{n\cdot 1}, $$ 求 $\displaystyle{\lim_{n \to \infty} x_n}$。

**解答**:

注意到通项 $\frac{1}{k(n+1-k)}$,可写为 $$ \frac{1}{k(n+1-k)} = \frac{1}{n+1}\left( \frac{1}{k} + \frac{1}{n+1-k} \right). $$ 于是 $$ x_n = \frac{1}{n+1} \sum_{k=1}^n \left( \frac{1}{k} + \frac{1}{n+1-k} \right) = \frac{2}{n+1} \sum_{k=1}^n \frac{1}{k}. $$ 已知调和级数部分和 $\displaystyle{\sum_{k=1}^n \frac{1}{k} \sim \ln n}$,因此 $$ x_n \sim \frac{2\ln n}{n} \to 0. $$ 故极限为 $0$。

---

### 1.4.7

**题目**:设 $\displaystyle{\lim_{n \to \infty} \frac{a_1 + a_2 + \cdots + a_n}{n} = a}$,求证 $\displaystyle{\lim_{n \to \infty} \frac{a_n}{n} = 0}$。

**解答**:

记 $S_n = a_1 + \cdots + a_n$,则 $S_n/n \to a$

📋 详细解题步骤

步骤 1/4
目标:利用已知极限定义,写出极限条件
设 S_n = a_1 + a_2 + ... + a_n,由已知条件,对任意 ε > 0,存在 N,当 n > N 时,有 |S_n/n - a| < ε,即 a - ε < S_n/n < a + ε。
公式:S_n = ∑_{k=1}^n a_k
提示:注意 S_n 是部分和,极限条件给出了 S_n 的渐近行为。
步骤 2/4
目标:将 a_n 用 S_n 表示
由于 a_n = S_n - S_{n-1},所以 a_n/n = (S_n - S_{n-1})/n = S_n/n - (S_{n-1}/n)。
公式:a_n = S_n - S_{n-1}
提示:利用相邻部分和之差表示通项。
步骤 3/4
目标:估计 a_n/n 的绝对值
对任意 ε > 0,取 N 使得当 n > N 时,|S_n/n - a| < ε/2 且 |S_{n-1}/(n-1) - a| < ε/2。则当 n > N+1 时,有 |a_n/n| = |S_n/n - S_{n-1}/n| ≤ |S_n/n - a| + |a - S_{n-1}/n|。注意 S_{n-1}/n = (S_{n-1}/(n-1)) * ((n-1)/n),因此 |a - S_{n-1}/n| ≤ |a - S_{n-1}/(n-1)| + |S_{n-1}/(n-1)| * |1 - (n-1)/n|。由于 |S_{n-1}/(n-1)| 有界(收敛数列有界),设界为 M,则第二项 ≤ M/n。取 n 充分大可使 M/n < ε/2,从而 |a_n/n| < ε。
公式:|a_n/n| ≤ |S_n/n - a| + |a - S_{n-1}/n|
提示:需要将 S_{n-1}/n 与 S_{n-1}/(n-1) 联系起来,利用有界性处理。
步骤 4/4
目标:严格证明极限为0
由收敛数列的有界性,存在 M > 0 使得 |S_n/n| ≤ M 对所有 n 成立。对任意 ε > 0,取 N1 使得当 n > N1 时,|S_n/n - a| < ε/2。取 N2 使得当 n > N2 时,M/n < ε/2。令 N = max{N1, N2} + 1,则当 n > N 时,有 |a_n/n| ≤ |S_n/n - a| + |a - S_{n-1}/n| ≤ ε/2 + (|a - S_{n-1}/(n-1)| + |S_{n-1}/(n-1)| * |1 - (n-1)/n|) ≤ ε/2 + (ε/2 + M/n) < ε。因此 lim_{n→∞} a_n/n = 0。
公式:|a_n/n| < ε
提示:注意取 N 时要保证 n-1 也足够大,以便使用 S_{n-1}/(n-1) 的极限条件。

📷 拍照上传批改

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