泰勒級數詳解：用多項式逼近任意函數

如果說導數捕捉的是函數在某一點的斜率，那麼泰勒級數捕捉的是某一點處的整個函數——透過把無窮多個導數疊加起來。它們是微積分與數值計算之間的橋樑：每次你的計算器算 $\sin(0.4)$ 時，它在底層都是在求一個泰勒級數的和。

泰勒級數公式

函數 $f$ 在 $x = a$ 處展開的泰勒級數為：

$f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!} (x - a)^n$

也就是：在點 $a$ 處求出 $f$、$f'$、$f''$、$f'''$、… 的值，然後構造一個多項式，其第 $n$ 項為 $\frac{f^{(n)}(a)}{n!}(x-a)^n$。

當 $a = 0$ 時，該級數稱為麥克勞林級數——最常見的情形。

為什麼這樣可行？

在點 $a$ 附近，函數先看起來像它的切線（$n=1$ 項），再像一條包含曲率的拋物線（$n=2$），然後是三次曲線，依此類推。每個更高階的導數都捕捉到更精細的形狀資訊。把無窮多項加起來，（對於「良好的」函數而言）你就精確還原出了 $f$。

三個經典的麥克勞林展開

把這三個背下來——它們不斷出現：

$e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots$

$\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots$

$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \dots$

指數函數的級數含有所有次方；正弦只含奇數次方；餘弦只含偶數次方。這種對稱性是哪些導數在 $0$ 處為零的直接結果。

解題範例：從零開始構造 $\sin x$

設 $f(x) = \sin x$。在 $a = 0$ 處：

• $f(0) = 0$
• $f'(0) = \cos(0) = 1$
• $f''(0) = -\sin(0) = 0$
• $f'''(0) = -\cos(0) = -1$
• $f^{(4)}(0) = \sin(0) = 0$
• 這個模式每 4 次求導重複一次。

代入泰勒公式：
$\sin x \approx 0 + 1 \cdot x + 0 \cdot \frac{x^2}{2!} + (-1)\frac{x^3}{3!} + 0 + \frac{x^5}{5!} - \dots$
化簡為 $x - x^3/6 + x^5/120 - \dots$。與上面的公式相同。

實踐中的近似

對於 0 附近的小 $x$，即使只取前幾項也極其精確：

• $\sin(0.1) \approx 0.1 - 0.001/6 \approx 0.09983$（真實值：$0.0998334\dots$）。

這就是為什麼小角度近似 $\sin x \approx x$ 成立：當 $x$ 很小時，下一項微乎其微。

收斂性——它究竟何時等於 $f$？

泰勒級數有一個收斂半徑 $R$。當 $|x - a| < R$ 時級數等於 $f(x)$；在此範圍之外，級數發散。某些函數（$e^x$、$\sin x$、$\cos x$）的 $R = \infty$。另一些函數，如以 0 為中心的 $1/(1-x)$，其 $R = 1$。

常見錯誤

• 忘記階乘分母 $n!$。
• 混淆級數展開——sin 是奇數，cos 是偶數，$e^x$ 是全部。
• 不檢查收斂半徑就假定收斂。

用 AI 級數求解器試一試

使用級數計算器計算任意函數的泰勒展開——它會顯示求導步驟、得到的多項式，以及一個數值合理性檢查。

相關連結：

• 導數計算器 —— 每個泰勒級數的構件
• 極限計算器 —— 收斂性是一個極限問題
• 積分計算器 —— 泰勒級數可以逐項積分