每日一式 · No.006 · 深入版
六堂課的總會合
f (x ) = f (0) + f ′(0)x + 𝑓″(0)/2! x 2 + 𝑓‴(0)/3! x 3 + ⋯
泰勒展開 · Taylor Series · 把它拆開看
📜 公式的身世
遲到三百年的冠名
「泰勒級數」其實遲到了三百年 —— 十四世紀末,印度喀拉拉學派的瑪達瓦已寫出 sin、cos、arctan 的無窮級數,還用它把 π 算到十一位小數;歐洲要等到 1715 年泰勒發表,而且當時幾乎無人在意,直到半世紀後拉格朗日宣佈它是「微分學的主要基礎」。至於馬克勞林級數 —— 馬克勞林自己都注明那只是泰勒在 a=0 的特例,名字卻跟了他一輩子。數學史的冠名權,常常比數學本身更不講理 。
🌍 它今天在哪裡上工
🧮
計算機的 sin 鍵 —— 晶片裡沒有圓規,只有加法和乘法:按下 sin,它算的是多項式近似 —— 泰勒家族的手藝。
⏰
時鐘的小角度魔法 —— sinθ≈θ 這一刀砍下去,單擺方程瞬間變簡諧 —— 鐘錶業吃這個近似吃了三百年(簡諧運動那課兌現)。
🛰
GPS 的「夠準就好」 —— 衛星時鐘的相對論修正,工程師用級數展開到夠準的那一項就收工 —— 泰勒教的工程哲學。
一般版我們看到:sin、cos、eˣ 其實都是無限長的多項式。今天從四個角度 把它看透,並走向一個會讓你起雞皮疙瘩的結尾 —— 把虛數 i 代進 eˣ,第三天的歐拉公式,會自己掉出來。
同一件事,四種看法:① 一項一項逼近 ② 每一項在修正什麼 ③ 它的「信任範圍」(收斂半徑) ④ 大會合:eˣ × i = 歐拉公式。
四章都用生活比喻開場,再一步步帶你看圖。最後一章,是這六堂課的總收束。
I
第一章 · 一項一項逼近：多項式長成原函數
真函數固定不動，多項式隨著項數，從一條線慢慢長得跟它一模一樣。
✏️ 把它想成素描 :先打一條底線(對上高度),再修出傾斜(對上斜率),再加上弧度(對上彎曲)…… 每多畫一筆,就在中心點附近 貼得更廣。泰勒展開,就是用「多項式」這種最樸素的線條,一筆一筆把任何函數臨摹出來。
互動 · 切換函數、加項，看金色多項式貼上白色真函數
x − x³/3! + x⁵/5! + ⋯
sin x
cos x
eˣ
怎麼看這張圖
白色 是真函數,固定不動;金色 是泰勒多項式。青色的點是中心 (x=0),多項式永遠從這裡開始貼。項數 N=1 時,金色只是一條線(或一個常數);加項之後,它從中心往兩側,一段一段地貼上去 。
注意貼合的方向 :總是從中心向外 長。離中心越遠,就需要越多項才追得上。
切到 eˣ 看看 —— 它沒有負號,每一項都把曲線往上推,一路追著那條爆衝的指數。
背後的道理
每一項用的係數,是「中心點的第 n 階導數 ÷ n!」 。意思是:第 n 項專門負責,讓多項式在中心的第 n 階導數 ,跟真函數對上。配高度(第0階)、配斜率(第1階)、配彎曲(第2階)…… 一階一階對齊,函數就被重建出來。下一章,我們把這件事看得更清楚。
一句話帶走: 泰勒多項式從中心點出發,每加一項就多對上一階導數,於是從一條線,長成整個函數。
II
第二章 · 每一項，在修正什麼？
配高度 → 配斜率 → 配彎曲度 → ⋯ 每一項，馴服曲線的一個「層次」。
🎯 想像你要瞄準 一條曲線。第一發(常數項),先站到對的高度 ;第二發(一次項),把方向對準斜率 ;第三發(二次項),修正彎曲的程度 ;再來修正「彎曲怎麼變」…… 每一項,負責馴服曲線越來越細的一個層次。以 eˣ 為例,因為它每一階導數在 0 都是 1,係數剛好是 1/n!,乾淨到極點。
互動 · 一階一階加上去（淡金＝舊的、亮金＝最新那層）
最新加的那一項 x²/2!
它讓多項式對上 eˣ 的 第 2 階導數
怎麼看這張圖
從第 0 階 開始:多項式只是一條水平線 ,高度＝eˣ 在中心的值(=1)。它只「配對了高度」。
加到第 1 階 (+x):線傾斜 了,對上了斜率。但它還是直的,跟不上彎。
加到第 2 階 (+x²/2):多項式彎起來 了,開始貼合曲率。每多一階,就追上更細緻的一層形狀。
看那些淡金色的舊曲線 :它們是之前每一階的樣子,疊在一起,像曲線「一層層長厚」的年輪。
背後的道理
為什麼除以 n!?因為第 n 項是 xⁿ,微分 n 次後會生出 n!(n×(n−1)×…×1)。為了讓它在中心的第 n 階導數剛好等於我們要的值,就得先除以 n! 抵消掉 。這個階乘,同時也讓高次項變得很小,使整串無限和能收斂 。一石二鳥。
一句話帶走: 每一項馴服曲線的一個層次 —— 高度、斜率、彎曲、更高階…… 除以 n! 是為了精準對齊,也讓總和收斂。
III
第三章 · 它的「信任範圍」：收斂半徑
再漂亮的逼近，也有效力的邊界。越出那道線，多項式會徹底背叛你。
📡 泰勒多項式像一個從中心發出的訊號 :在一定的半徑 內,訊號清晰、越加項越準;但超出那道邊界,訊號就整個崩掉 —— 不管你加多少項,它都離真函數越來越遠 。這個邊界,叫「收斂半徑 」。最乾淨的例子是 1/(1−x):它的泰勒級數就是 1 + x + x² + x³ + ⋯,只在 |x|<1 內有效。
互動 · 加項：邊界內越貼越準，邊界外越加越歪
用了幾項 N 6
有效範圍 |x| < 1 內收斂 · 外發散
怎麼看這張圖
兩條紫色虛線 (x=±1)是收斂半徑。中間那帶,是「信任範圍」。
在範圍內 :加項時,金色多項式越來越貼 白色真函數。一切正常。
到範圍外 :加項時,金色不但不貼,反而甩得越來越遠 (右邊衝上天、左邊瘋狂上下擺)。多項式背叛了。
關鍵領悟:函數本身在 x=1 有個無窮大 (分母為 0),這個「破綻」就決定了半徑 —— 級數只能信任到最近的破綻為止 。
背後的道理
泰勒級數只知道中心點 的資訊(那裡的各階導數)。它能往外推多遠,取決於函數最近的「麻煩點」(無窮大、斷裂等)離中心多遠。eˣ、sin、cos 沒有任何麻煩點,所以它們的級數處處有效 (半徑無限);但 1/(1−x) 在 x=1 爆掉,半徑就只有 1。用泰勒展開算東西時,務必待在它的信任範圍內 —— 這是工程上真實會踩的坑。
一句話帶走: 泰勒級數有「收斂半徑」—— 只在離中心夠近處有效,邊界由函數最近的破綻決定。出界,它就騙你。
IV
第四章 · 大會合：把 i 代進 eˣ，歐拉公式掉出來
六堂課的線，在這裡收成一個點 —— 旋轉、指數、三角、級數，本是一體。
✦ 這是最美的一步。我們知道 eˣ = 1 + x + x²/2! + x³/3! + ⋯。現在,把 x 換成 ix (i 是虛數,i²=−1)。神奇的事發生了:i 的次方會循環 (1, i, −1, −i, 1, …),於是這串級數自動分成兩堆 —— 沒有 i 的那堆,剛好是 cos x 的級數 ;帶 i 的那堆,剛好是 sin x 的級數 。合起來就是:e^{ix} = cos x + i·sin x —— 第三天的歐拉公式,從泰勒級數裡長了出來。
互動 · 部分和（青）一圈圈螺旋，收斂到單位圓上的 e^{ix}（金）
目標 e^{ix} (−0.59, 0.81)
前 N 項部分和 (…, …)
離目標的誤差 —
怎麼看這張圖
金色點 在單位圓上,就是目標 e^{ix} = (cos x, sin x) —— 旋轉了 x 弧度的位置。青色折線 是部分和:從中心 1 出發,每加一項就轉一個彎(每一項都是前一項×(乘 i 再縮短) ),走成一條螺旋 。把項數 N 往上加(或按螺旋成形):青色螺旋一圈圈收緊 ,最後精準停在金色目標上 。誤差讀數歸零。
換個角度 x 再玩 —— 不論轉到哪,螺旋永遠收斂到單位圓上「對的那一點」。級數,自己長出了圓周運動。
✦ 為什麼會分成 cos 和 sin 兩堆? 把 ix 的次方列出來:(ix)⁰=1、(ix)¹=ix、(ix)²=−x²、(ix)³=−ix³、(ix)⁴=x⁴…… 偶數次方 都是實數(±x²ᵏ),湊成 1 − x²/2! + x⁴/4! − ⋯ = cos x ;奇數次方 都帶 i,湊成 i(x − x³/3! + ⋯) = i·sin x 。級數自己把實部與虛部分了家。
一句話帶走: 把 ix 代進 eˣ 的級數,偶數項拼成 cos、奇數項拼成 i·sin —— 歐拉公式 e^{ix}=cos x + i·sin x,是泰勒展開的必然結果。
六堂課,收成一條線 ——
001 歐拉恆等式 e^{iπ}+1=0 — 五個常數的相遇,當時像個謎。
002 畢氏定理 a²+b²=c² — 距離的根,旋轉的尺。
003 歐拉公式 e^{ix}=cos x+i sin x — 指數,原來是旋轉。
004–005 導數與積分 — 斜率與面積,互為逆操作。
加課 傅立葉 與 自然對數 — 拆解世界的兩把稜鏡。
006 泰勒展開 — 把上面全部 ,用多項式縫在一起。eˣ、sin、cos 是同一張無限多項式的不同切面;代入 i,歐拉公式自己現身。
第一天那個謎,在第六天,成了必然。
泰勒展開 · 六堂課的總會合 · 下一條線，由你開啟