111 年 國立臺灣大學數學系碩士班《高等微積分》

此題主要考驗對度量空間 (metric space) 定義的理解，特別是乘積空間的度量以及完備性 (completeness) 的概念。

核心觀念：度量空間的性質、乘積空間的完備性。

(a) 證明 $d$ 是 $X$ 上的距離。
為了證明 $d$ 是一個距離，我們需要驗證以下四個條件：

1. 非負性 (Non-negativity): 對於任意 $x, y \in X$， $d(x, y) \ge 0$。
   由於 $d_n(x_n, y_n) \ge 0$ 對於所有 $n \ge 1$，且 $1 + d_n(x_n, y_n) > 0$，故 $\frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} \ge 0$。
   因此，$d(x, y) = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} \ge 0$。

2. 同一性 (Identity of indiscernibles): 對於任意 $x, y \in X$， $d(x, y) = 0$ 當且僅當 $x = y$。

   • 若 $x = y$，則 $x_n = y_n$ 對於所有 $n \ge 1$。由於 $d_n$ 是 $X_n$ 上的距離，所以 $d_n(x_n, y_n) = 0$。
     因此，$d(x, y) = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{0}{1 + 0} = \sum_{n=1}^{\infty} 0 = 0$。
   • 若 $d(x, y) = 0$，即 $\sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} = 0$。
     由於每一項 $\frac{1}{2^n} \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} \ge 0$，一個非負項數列的和為 0，代表每一項都必須為 0。
     所以，對所有 $n \ge 1$， $\frac{1}{2^n} \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} = 0$，這意味著 $d_n(x_n, y_n) = 0$。
     由於 $d_n$ 是距離， $d_n(x_n, y_n) = 0$ 當且僅當 $x_n = y_n$。
     因此，$x_n = y_n$ 對於所有 $n \ge 1$，這表示 $x = y$。

3. 對稱性 (Symmetry): 對於任意 $x, y \in X$， $d(x, y) = d(y, x)$。
   由於 $d_n$ 是距離，所以 $d_n(x_n, y_n) = d_n(y_n, x_n)$ 對於所有 $n \ge 1$。
   因此，
   $d(x, y) = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(y_n, x_n)}{1 + d_n(y_n, x_n)} = d(y, x)$

4. 三角不等式 (Triangle inequality): 對於任意 $x, y, z \in X$， $d(x, z) \le d(x, y) + d(y, z)$。
   我們需要證明 $\frac{d_n(x_n, z_n)}{1 + d_n(x_n, z_n)} \le \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} + \frac{d_n(y_n, z_n)}{1 + d_n(y_n, z_n)}$ 對於所有 $n$ 成立。
   令 $a = d_n(x_n, y_n)$ 和 $b = d_n(y_n, z_n)$。由 $d_n$ 的三角不等式，我們有 $d_n(x_n, z_n) \le a+b$。
   考慮函數 $f(t) = \frac{t}{1+t} = 1 - \frac{1}{1+t}$。此函數對於 $t \ge 0$ 是遞增且凹的 (concave)。
   我們需要證明 $f(d_n(x_n, z_n)) \le f(a) + f(b)$。
   利用三角不等式 $d_n(x_n, z_n) \le a+b$，我們有 $f(d_n(x_n, z_n)) \le f(a+b) = \frac{a+b}{1+(a+b)}$。
   現在我們需要證明 $\frac{a+b}{1+(a+b)} \le \frac{a}{1+a} + \frac{b}{1+b}$。
   右式為 $\frac{a(1+b) + b(1+a)}{(1+a)(1+b)} = \frac{a+ab+b+ab}{1+a+b+ab} = \frac{a+b+2ab}{1+a+b+ab}$。
   我們需要證明 $\frac{a+b}{1+a+b} \le \frac{a+b+2ab}{1+a+b+ab}$。
   令 $S = a+b$。則需要證明 $\frac{S}{1+S} \le \frac{S+2ab}{1+S+ab}$。
   $(S)(1+S+ab) \le (1+S)(S+2ab)$
   $S+S^2+Sab \le S+2ab+S^2+2abS$
   $Sab \le 2ab + 2abS$
   $ab(S) \le 2ab + 2abS$
   $0 \le 2ab + 2abS - Sab$
   $0 \le 2ab + ab(2S-S)$
   $0 \le 2ab + abS$
   $0 \le ab(2+S)$
   由於 $a = d_n(x_n, y_n) \ge 0$ 且 $b = d_n(y_n, z_n) \ge 0$，所以 $ab \ge 0$。
   且 $S = a+b \ge 0$，所以 $2+S > 0$。
   因此，$ab(2+S) \ge 0$ 恆成立。
   所以，我們證明了 $\frac{d_n(x_n, z_n)}{1 + d_n(x_n, z_n)} \le \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} + \frac{d_n(y_n, z_n)}{1 + d_n(y_n, z_n)}$ 對於所有 $n$ 成立。
   現在，將這個不等式乘以 $\frac{1}{2^n}$ 並求和：
   $d(x, z) = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(x_n, z_n)}{1 + d_n(x_n, z_n)} \le \sum_{n=1}^{\infty} \frac{1}{2^n} \left( \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} + \frac{d_n(y_n, z_n)}{1 + d_n(y_n, z_n)} \right)$
   $d(x, z) \le \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(x_n, y_n)}{1 + d_n(x_n, y_n)} + \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(y_n, z_n)}{1 + d_n(y_n, z_n)} = d(x, y) + d(y, z)$
   因此，$d$ 滿足三角不等式。

綜合以上四點， $d$ 是 $X$ 上的距離。

(b) 證明 $(X, d)$ 是完備度量空間，若且唯若每個 $(X_n, d_n)$ 是完備度量空間。

($\Rightarrow$) 假設 $(X, d)$ 是完備度量空間，證明每個 $(X_n, d_n)$ 是完備度量空間。
令 $1 \le k$ 為任意固定整數。考慮 $(X_k, d_k)$ 上的任意 Cauchy 序列 $\{x^{(m)}\}_{m=1}^{\infty}$。
我們需要證明這個序列在 $(X_k, d_k)$ 中收斂。
對於任意 $m, l \ge 1$，令 $x^{(m)} = (x^{(m)}_1, x^{(m)}_2, \dots)$ 且 $x^{(l)} = (x^{(l)}_1, x^{(l)}_2, \dots)$。
由於 $\{x^{(m)}\}_{m=1}^{\infty}$ 是 $(X, d)$ 中的 Cauchy 序列，對於任意 $\epsilon > 0$，存在 $M$ 使得當 $m, l > M$ 時，$d(x^{(m)}, x^{(l)}) < \epsilon$。
我們有 $d(x^{(m)}, x^{(l)}) = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{d_n(x^{(m)}_n, x^{(l)}_n)}{1 + d_n(x^{(m)}_n, x^{(l)}_n)}$。
因此，對於所有 $m, l > M$，我們有
$\frac{1}{2^k} \frac{d_k(x^{(m)}_k, x^{(l)}_k)}{1 + d_k(x^{(m)}_k, x^{(l)}_k)} \le d(x^{(m)}, x^{(l)}) < \epsilon$。
這意味著 $\frac{d_k(x^{(m)}_k, x^{(l)}_k)}{1 + d_k(x^{(m)}_k, x^{(l)}_k)} < 2^k \epsilon$。

此題考驗對「極限點」(limit point) 或稱「聚點」(accumulation point) 的定義以及三角函數性質的理解。

核心觀念：極限點的定義、有理數與無理數的稠密性、三角函數的性質。

極限點的定義：
一個點 $p$ 是序列 $\{a_n\}$ 的極限點，如果序列中存在無窮多個項趨近於 $p$。也就是說，對於任意 $\epsilon > 0$，存在無窮多個 $n$ 使得 $|a_n - p| < \epsilon$。
或者，對於任意 $\epsilon > 0$，區間 $(p-\epsilon, p+\epsilon)$ 包含序列 $\{a_n\}$ 的無窮多個項。

證明：
我們需要證明 $\{\cos(n)\}_{n=1}^{\infty}$ 的極限點集合。
首先，我們知道 $\cos(n)$ 的值域在 $[-1, 1]$ 之間。因此，任何極限點都必須在 $[-1, 1]$ 內。

關鍵引理 (Key Lemma)：
對於任意實數 $\theta$ 和任意整數 $k \ge 1$，集合 $\{ e^{i k \theta} \}_{k=1}^{\infty}$ 在單位圓 $S^1 = \{ z \in \mathbb{C} : |z|=1 \}$ 上是稠密的，當且僅當 $\theta/(2\pi)$ 是無理數。
這裡的稠密性是指，對於單位圓上的任意一點 $w$ 和任意 $\epsilon > 0$，都存在某個 $k \ge 1$ 使得 $|e^{i k \theta} - w| < \epsilon$。

我們將此引理應用到 $\cos(n)$。
我們有 $e^{in} = \cos(n) + i \sin(n)$。
如果 $\{\cos(n)\}$ 有一個極限點 $L$，則存在一個子序列 $\{\cos(n_k)\}$ 收斂到 $L$。
這意味著 $e^{i n_k} = \cos(n_k) + i \sin(n_k)$ 的實部趨近於 $L$。
然而，為了證明極限點，我們通常需要考慮整個序列的行為。

考慮序列 $\{e^{in}\}_{n=1}^{\infty}$ 在單位圓上的分佈。
我們知道 $e^{in} = \cos(n) + i \sin(n)$。
如果 $\frac{1}{2\pi}$ 是無理數，那麼集合 $\{ e^{in} \}_{n=1}^{\infty}$ 在單位圓上是稠密的。
因為 $1/(2\pi)$ 是無理數，所以集合 $\{n \pmod{2\pi} : n \in \mathbb{N}\}$ 在 $[0, 2\pi)$ 上是稠密的。
這意味著對於任意 $\alpha \in [0, 2\pi)$ 和任意 $\epsilon > 0$，存在無窮多個整數 $n$ 使得 $n$ 離 $\alpha$ 的倍數 $2\pi$ 非常近，即 $n = \alpha + 2\pi k + \delta_n$ 其中 $|\delta_n|$ 很小。
更精確地，對於任意 $\theta \in \mathbb{R}$ 和任意 $\epsilon > 0$，都存在無窮多個整數 $n$ 使得 $|n - \theta| < \epsilon$ (modulo $2\pi$)。
這意味著 $e^{in}$ 在單位圓上是稠密的。
因此，對於單位圓上的任意一點 $z$，都存在子序列 $\{e^{in_k}\}$ 收斂到 $z$。
如果 $z = e^{i\phi}$，那麼 $e^{in_k} = \cos(n_k) + i \sin(n_k)$ 收斂到 $\cos(\phi) + i \sin(\phi)$。
這意味著 $\cos(n_k) \to \cos(\phi)$ 且 $\sin(n_k) \to \sin(\phi)$。
因此，如果 $\{e^{in}\}_{n=1}^{\infty}$ 在單位圓上是稠密的，那麼 $\{\cos(n)\}_{n=1}^{\infty}$ 的極限點集合就是 $[-1, 1]$。

證明 $\{e^{in}\}_{n=1}^{\infty}$ 在單位圓上稠密：
我們需要證明對於任意 $z$ 且 $|z|=1$，存在子序列 $\{e^{in_k}\}$ 收斂到 $z$。
這是因為 $1/(2\pi)$ 是無理數。
根據 Weyl's Criterion 或 Ergodic Theory 的結果，如果 $\alpha$ 是無理數，則序列 $\{e^{i n \alpha}\}_{n=1}^\infty$ 在單位圓上是稠密的。
這裡我們考慮 $\alpha = 1$。

此題考驗對「緊緻性」(compactness) 的定義的理解，以及如何應用此定義來證明一個閉區間是緊緻的。

核心觀念：緊緻性的定義 (Heine-Borel 定理的定義)、開覆蓋 (open covering)、有限子覆蓋 (finite subcovering)。

緊緻性的定義：
一個集合 $S \subset \mathbb{R}^1$ 是緊緻的，如果對於 $S$ 的任意開覆蓋 $\{U_\alpha\}$，都存在一個有限子集 $\{U_{\alpha_1}, \dots, U_{\alpha_N}\}$ 使得 $S \subseteq \bigcup_{i=1}^N U_{\alpha_i}$。

證明：
我們要證明對於任意的閉區間 $[a, b]$，它滿足上述緊緻性的定義。
設 $[a, b]$ 是 $\mathbb{R}^1$ 中的一個閉區間。
令 $\{U_\alpha\}_{\alpha \in A}$ 是 $[a, b]$ 的一個任意的開覆蓋。這表示：

1. 每一個 $U_\alpha$ 都是開集。
2. $[a, b] \subseteq \bigcup_{\alpha \in A} U_\alpha$。

我們需要證明存在一個有限的子集 $A_0 \subseteq A$ 使得 $[a, b] \subseteq \bigcup_{\alpha \in A_0} U_\alpha$。

考慮區間 $[a, b]$。
令 $S$ 為所有滿足「區間 $[a, x]$ 可以被 $\{U_\alpha\}$ 的有限個集合所覆蓋」的 $x \in [a, b]$ 的集合。
我們需要證明 $b \in S$。

步驟：

1. 證明 $a \in S$：
   因為 $a \in [a, b]$ 且 $[a, b] \subseteq \bigcup_{\alpha \in A} U_\alpha$，所以存在某個 $\alpha_0 \in A$ 使得 $a \in U_{\alpha_0}$。
   由於 $U_{\alpha_0}$ 是開集，所以存在一個開區間 $(a-\epsilon, a+\epsilon) \subseteq U_{\alpha_0}$，其中 $\epsilon > 0$。
   考慮區間 $[a, a+\delta]$，其中 $0 < \delta < \epsilon$。
   由於 $a \in U_{\alpha_0}$ 且 $U_{\alpha_0}$ 是開集，所以存在一個小於 $\epsilon$ 的 $\delta > 0$ 使得 $[a, a+\delta] \subset U_{\alpha_0}$。
   因此，區間 $[a, a+\delta]$ 可以被有限個（一個）集合 $U_{\alpha_0}$ 所覆蓋。
   所以 $a+\delta \in S$。這說明 $S$ 是非空的。

2. 證明 $S$ 有上界 $b$：
   由於 $S \subseteq [a, b]$，所以 $b$ 是 $S$ 的一個上界。

3. 令 $c = \sup S$：
   由於 $S$ 非空且有上界 $b$，根據實數的完備性， $S$ 存在一個上確界 $c$。
   由於 $S \subseteq [a, b]$，所以 $a \le c \le b$。

4. 證明 $c \in S$：
   我們需要證明 $c$ 也可以被有限個 $U_\alpha$ 所覆蓋。
   因為 $c \le b$，所以 $c \in [a, b]$。
   因此，存在某個 $\alpha_1 \in A$ 使得 $c \in U_{\alpha_1}$。
   由於 $U_{\alpha_1}$ 是開集，存在 $\epsilon' > 0$ 使得 $(c-\epsilon', c+\epsilon') \subseteq U_{\alpha_1}$。
   考慮區間 $[a, c]$。由於 $c = \sup S$，對於任意 $\delta > 0$，存在 $s \in S$ 使得 $c-\delta < s \le c$。
   如果我們取 $\delta = \epsilon'$，則存在 $s \in S$ 使得 $c-\epsilon' < s \le c$。
   由於 $s \in S$，根據 $S$ 的定義，區間 $[a, s]$ 可以被有限個集合 $\{U_{\alpha_i}\}_{i=1}^N$ 所覆蓋。
   即 $[a, s] \subseteq \bigcup_{i=1}^N U_{\alpha_i}$。
   現在考慮區間 $[a, c]$。我們有 $[a, c] = [a, s] \cup [s, c]$。
   由於 $s \in S$ 且 $c-\epsilon' < s \le c$，並且 $c \in U_{\alpha_1}$ 且 $(c-\epsilon', c+\epsilon') \subseteq U_{\alpha_1}$，所以 $[s, c] \subseteq (c-\epsilon', c+\epsilon') \subseteq U_{\alpha_1}$。
   因此，
   $[a, c] = [a, s] \cup [s, c] \subseteq \left(\bigcup_{i=1}^N U_{\alpha_i}\right) \cup U_{\alpha_1}$。
   這是一個有限的覆蓋。
   所以 $c \in S$。

5. 證明 $c = b$：
   由於 $c = \sup S$ 且 $c \in S$，我們知道 $c$ 是由有限個 $U_\alpha$ 所覆蓋的。
   如果 $c < b$，那麼 $c$ 是一個嚴格小於 $b$ 的點。
   由於 $c \in [a, b]$，所以存在某個 $\alpha_2 \in A$ 使得 $c \in U_{\alpha_2}$。
   由於 $U_{\alpha_2}$ 是開集，存在 $\epsilon'' > 0$ 使得 $(c-\epsilon'', c+\epsilon'') \subseteq U_{\alpha_2}$。
   由於 $c < b$，我們可以選擇一個 $x$ 使得 $c < x < \min(b, c+\epsilon'')$。
   那麼 $x \in [a, b]$ 且 $x \in (c-\epsilon'', c+\epsilon'') \subseteq U_{\alpha_2}$。
   由於 $c = \sup S$，對於任意 $y > c$， $y$ 不在 $S$ 中。
   這裡我們選擇 $x > c$。
   如果 $x \in S$，那麼 $c$ 就不是 $S$ 的上確界，這與 $c = \sup S$ 矛盾。
   所以 $x \notin S$。

核心觀念

本題考查散度定理（Divergence Theorem）：

$$\iint_S \mathbf F\cdot \mathbf n\,dS = \iiint_V \nabla\cdot\mathbf F\,dV,$$

其中 $S$ 是包圍球體 $V$ 的封閉曲面，$\mathbf n$ 為外向單位法向量。

題目中的向量場為

$$\mathbf F(x,y,z) = (x^2+y^2+z^2)(x\mathbf i+y\mathbf j+z\mathbf k).$$

令

$$r^2=x^2+y^2+z^2,$$

則

$$\mathbf F=(xr^2,yr^2,zr^2).$$

解題方法

設 $V$ 為半徑 $A$ 的球體。依散度定理，

$$\iint_S \mathbf F\cdot\mathbf n\,dS = \iiint_V \nabla\cdot\mathbf F\,dV.$$

先計算向量場的散度：

$$\nabla\cdot\mathbf F = \frac{\partial}{\partial x}(xr^2) + \frac{\partial}{\partial y}(yr^2) + \frac{\partial}{\partial z}(zr^2).$$

各項分別為

$$\frac{\partial}{\partial x}\bigl(x(x^2+y^2+z^2)\bigr) = 3x^2+y^2+z^2,$$ $$\frac{\partial}{\partial y}\bigl(y(x^2+y^2+z^2)\bigr) = x^2+3y^2+z^2,$$ $$\frac{\partial}{\partial z}\bigl(z(x^2+y^2+z^2)\bigr) = x^2+y^2+3z^2.$$

因此

$$\nabla\cdot\mathbf F = 5x^2+5y^2+5z^2 = 5r^2.$$

改用球座標，其中

$$r^2=x^2+y^2+z^2, \qquad dV=r^2\sin\phi\,dr\,d\phi\,d\theta.$$

所以

此題考驗對泰勒級數 (Taylor series) 或微分定義的理解，以及級數收斂性的判斷。題目給出一個級數，要求證明其收斂。

核心觀念：泰勒展開、導數的定義、級數收斂判別。

問題分析：
級數的每一項是 $a_n = n(f(1/n) - f(-1/n)) - 2f'(0)$。
我們要證明 $\sum_{n=1}^{\infty} a_n$ 收斂。
由於 $f$ 在 $[-1, 1]$ 上連續，且題目中出現了 $f'(0)$，這暗示 $f$ 在 $x=0$ 附近是可微的。
為了證明級數收斂，我們通常需要證明級數的項 $a_n$ 趨近於 0 夠快。
也就是說，我們需要估計 $a_n$ 的行為當 $n \to \infty$ 時。

解題思路：
我們將使用 $f$ 在 $x=0$ 附近的泰勒展開來估計 $f(1/n)$ 和 $f(-1/n)$。
由於 $f$ 在 $x=0$ 處可微，我們假設 $f$ 在 $x=0$ 的某個鄰域內是二次可微的，這樣可以得到更精確的估計。
如果题目只假設 $f$ 連續，但出現 $f'(0)$，這暗示 $f$ 在 $0$ 點可微。
為了獲得級數收斂的足夠條件，我們需要 $a_n$ 衰減的速度比 $1/n$ 快。
如果 $f$ 是光滑的 (infinitely differentiable)，我們可以寫出更完整的泰勒展開。
假設 $f$ 在 $0$ 點周圍是二次連續可微的，即 $f''$ 在 $0$ 的某個鄰域內連續。
則 $f$ 在 $0$ 點的泰勒展開到二階為：
$f(x) = f(0) + f'(0)x + \frac{f''(0)}{2}x^2 + o(x^2)$ 當 $x \to 0$。

應用泰勒展開：
令 $x = 1/n$。當 $n \to \infty$， $1/n \to 0$。
$f(1/n) = f(0) + f'(0)(1/n) + \frac{f''(0)}{2}(1/n)^2 + o((1/n)^2)$
$f(-1/n) = f(0) + f'(0)(-1/n) + \frac{f''(0)}{2}(-1/n)^2 + o((-1/n)^2)$
$f(-1/n) = f(0) - f'(0)(1/n) + \frac{f''(0)}{2}(1/n)^2 + o((1/n)^2)$

現在計算 $f(1/n) - f(-1/n)$:
$f(1/n) - f(-1/n) = \left( f(0) + \frac{f'(0)}{n} + \frac{f''(0)}{2n^2} + o(1/n^2) \right) - \left( f(0) - \frac{f'(0)}{n} + \frac{f''(0)}{2n^2} + o(1/n^2) \right)$
$f(1/n) - f(-1/n) = \frac{2f'(0)}{n} + o(1/n^2)$

將此結果代入級數的項 $a_n$:
$a_n = n(f(1/n) - f(-1/n)) - 2f'(0)$
$a_n = n\left( \frac{2f'(0)}{n} + o(1/n^2) \right) - 2f'(0)$
$a_n = 2f'(0) + n \cdot o(1/n^2) - 2f'(0)$
$a_n = o(1/n)$

$o(1/n)$ 表示一個項，當 $n \to \infty$ 時，它趨近於 0 的速度比 $1/n$ 還快。
也就是說，$\lim_{n \to \infty} \frac{a_n}{1/n} = 0$。
這意味著 $a_n$ 趨近於 0 的速度非常快，至少比 $1/n$ 快。
具體來說，$o(1/n)$ 意味著 $a_n = \epsilon_n / n$ 其中 $\epsilon_n \to 0$。
所以 $a_n$ 趨近於 0 的速度比 $1/n$ 快。

更精確地使用拉格朗日中值定理 (Lagrange Mean Value Theorem) 或帶皮亞諾餘項的泰勒公式：
由於 $f$ 在 $[-1, 1]$ 上連續，且 $f'(0)$ 存在，這意味著 $f$ 在 $0$ 點附近是可微的。
我們假設 $f$ 在 $0$ 的某個鄰域內可微，且 $f'$ 在 $0$ 點處連續（或者 $f''$ 存在）。
如果 $f$ 在 $0$ 的某個鄰域內二次可微，則
$f(x) = f(0) + f'(0)x + \frac{f''(c_1)}{2}x^2$ 對於某個 $c_1$ 在 $0$ 和 $x$ 之間。
$f(1/n) = f(0) + \frac{f'(0)}{n} + \frac{f''(c_1)}{2n^2}$
$f(-1/n) = f(0) - \frac{f'(0)}{n} + \frac{f''(c_2)}{2n^2}$
其中 $c_1 \in (0, 1/n)$ 且 $c_2 \in (-1/n, 0)$。

$f(1/n) - f(-1/n) = \frac{2f'(0)}{n} + \frac{f''(c_1) - f''(c_2)}{2n^2}$

$a_n = n(f(1/n) - f(-1/n)) - 2f'(0)$
$a_n = n \left( \frac{2f'(0)}{n} + \frac{f''(c_1) - f''(c_2)}{2n^2} \right) - 2f'(0)$
$a_n = 2f'(0) + \frac{f''(c_1) - f''(c_2)}{2n} - 2f'(0)$
$a_n = \frac{f''(c_1) - f''(c_2)}{2n}$

現在，我們需要考慮 $f''(c_1) - f''(c_2)$ 的行為。
如果 $f''$ 在 $0$ 點連續，則當 $n \to \infty$， $c_1 \to 0$ 且 $c_2 \to 0$。
因此 $f''(c_1) \to f''(0)$ 且 $f''(c_2) \to f''(0)$。
所以 $f''(c_1) - f''(c_2) \to 0$。
這意味著 $a_n$ 的分子趨近於 0。
因此，$a_n$ 趨近於 0 的速度比 $1/n$ 快。
更精確地，如果 $f''$ 在 $0$ 點連續，則 $f''(c_1) - f''(c_2) = o(1)$。
所以 $a_n = \frac{o(1)}{2n} = o(1/n)$。

級數收斂判別：
我們證明了 $a_n = o(1/n)$。
考慮級數 $\sum_{n=1}^{\infty} \frac{1}{n}$，這是調和級數，是發散的。
我們不能直接用比較判別法。

但是，如果 $a_n = o(1/n)$, 這意味著對於任意 $\epsilon > 0$, 存在 $N$ 使得當 $n > N$ 時, $|a_n| < \frac{\epsilon}{n}$。
這似乎沒有幫助，因為 $\sum \frac{\epsilon}{n}$ 也發散。

我們需要更強的結論。
如果 $a_n = O(1/n^p)$ 且 $p > 1$, 則級數收斂。
在這裡，我們得到 $a_n = o(1/n)$.
這意味著 $\lim_{n \to \infty} n \cdot a_n = 0$。
這表示 $a_n$ 衰減的速度至少是 $1/n^2$ 或更快。
例如，如果 $a_n = C/n^2$, 則 $\sum a_n$ 收斂。
如果 $a_n = C/n^3$, 則 $\sum a_n$ 收斂。

重新仔細檢查泰勒展開的餘項：
如果 $f$ 在 $0$ 點的某個鄰域內是 $C^2$ 類 (即 $f, f', f''$ 連續)，則
$f(x) = f(0) + f'(0)x + \frac{f''(0)}{2}x^2 + o(x^2)$
$f(1/n) = f(0) + \frac{f'(0)}{n} + \frac{f''(0)}{2n^2} + o(1/n^2)$
$f(-1/n) = f(0) - \frac{f'(0)}{n} + \frac{f''(0)}{2n^2} + o(1/n^2)$
$f(1/n) - f(-1/n) = \frac{2f'(0)}{n} + o(1/n^2)$
$n(f(1/n) - f(-1/n)) = n(\frac{2f'(0)}{n} + o(1/n^2)) = 2f'(0) + n \cdot o(1/n^2) = 2f'(0) + o(1/n)$。
所以 $a_n = n(f(1/n) - f(-1/n)) - 2f'(0) = (2f'(0) + o(1/n)) - 2f'(0) = o(1/n)$。
$o(1/n)$ 表示 $a_n$ 的行為就像 $C/n^p$ 其中 $p > 1$。
例如，如果 $a_n = C/n^2$, 則 $n \cdot a_n = C/n \to 0$.
如果 $a_n = C/n^3$, 則 $n \cdot a_n = C/n^2 \to 0$.
所以 $a_n = o(1/n)$ 意味著 $a_n$ 衰減的速度至少與 $1/n^2$ 一樣快。
即 $|a_n| \le M/n^2$ 對於足夠大的 $n$。
由於 $\sum_{n=1}^{\infty} \frac{1}{n^2}$ 是收斂的 (p-series with $p=2 > 1$)，根據比較判別法，級數 $\sum_{n=1}^{\infty} a_n$ 是收斂的。

更嚴謹的條件：
題目只說 $f$ 在 $[-1, 1]$ 上連續，但出現 $f'(0)$，這意味著 $f$ 在 $0$ 點可微。
我們需要 $f$ 在 $0$ 點附近足夠光滑，才能進行泰勒展開。
如果我們只知道 $f$ 在 $0$ 點可微，則
$f(x) = f(0) + f'(0)x + \epsilon(x)x$, 其中 $\lim_{x \to 0} \epsilon(x) = 0$.
$f(1/n) = f(0) + \frac{f'(0)}{n} + \epsilon(1/n) \frac{1}{n}$
$f(-1/n) = f(0) - \frac{f'(0)}{n} + \epsilon(-1/n) \frac{1}{-n} = f(0) - \frac{f'(0)}{n} - \epsilon(-1/n) \frac{1}{n}$

$f(1/n) - f(-1/n) = \left( f(0) + \frac{f'(0)}{n} + \epsilon(1/n) \frac{1}{n} \right) - \left( f(0) - \frac{f'(0)}{n} - \epsilon(-1/n) \frac{1}{n} \right)$
$= \frac{2f'(0)}{n} + \frac{\epsilon(1/n) + \epsilon(-1/n)}{n}$

$a_n = n(f(1/n) - f(-1/n)) - 2f'(0)$
$a_n = n \left( \frac{2f'(0)}{n} + \frac{\epsilon(1/n) + \epsilon(-1/n)}{n} \right) - 2f'(0)$
$a_n = 2f'(0) + (\epsilon(1/n) + \epsilon(-1/n)) - 2f'(0)$
$a_n = \epsilon(1/n) + \epsilon(-1/n)$

因為 $\lim_{x \to 0} \epsilon(x) = 0$, 所以當 $n \to \infty$, $1/n \to 0$ 且 $-1/n \to 0$.
因此, $\lim_{n \to \infty} \epsilon(1/n) = 0$ 且 $\lim_{n \to \infty} \epsilon(-1/n) = 0$.
所以, $\lim_{n \to \infty} a_n = 0 + 0 = 0$.
這僅僅證明了級數的項趨近於 0，這是級數收斂的必要條件，但不是充分條件。
我們需要證明 $a_n$ 衰減得更快。

使用帶餘項的積分形式的泰勒定理，或者更精確地考慮 $f'$ 的行為。
如果 $f'$ 在 $0$ 點連續，則
$f(x) = f(0) + f'(0)x + \int_0^x (x-t)f''(t) dt$.
這需要 $f''$ 存在。

換個角度：拉格朗日中值定理
對於 $f(1/n)$ 和 $f(-1/n)$，我們可以在 $0$ 點和 $1/n$ 之間，以及 $0$ 點和 $-1/n$ 之間應用拉格朗日中值定理。
$f(1/n) = f(0) + f'(c_1)(1/n)$，其中 $c_1 \in (0, 1/n)$。
$f(-1/n) = f(0) + f'(c_2)(-1/n)$, 其中 $c_2 \in (-1/n, 0)$。

$f(1/n) - f(-1/n) = (f(0) + f'(c_1)/n) - (f(0) - f'(c_2)/n) = \frac{f'(c_1) + f'(c_2)}{n}$。

$a_n = n \left( \frac{f'(c_1) + f'(c_2)}{n} \right) - 2f'(0)$
$a_n = f'(c_1) + f'(c_2) - 2f'(0)$

現在，我們需要 $f'$ 在 $0$ 點的行為。
如果 $f'$ 在 $0$ 點連續，那麼當 $n \to \infty$, $c_1 \to 0$ 且 $c_2 \to 0$。
所以 $f'(c_1) \to f'(0)$ 且 $f'(c_2) \to f'(0)$。
因此, $a_n \to f'(0) + f'(0) - 2f'(0) = 0$.

但是，我們需要 $a_n$ 衰減得更快。
如果 $f'$ 在 $0$ 點是可微的，即 $f''(0)$ 存在。
則 $f'(x) = f'(0) + f''(0)x + o(x)$ 當 $x \to 0$。
$f'(c_1) = f'(0) + f''(0)c_1 + o(c_1)$
$f'(c_2) = f'(0) + f''(0)c_2 + o(c_2)$