微分 積分 函數逼近 泰勒展開式 傅立葉轉換 拉普拉斯轉換

2. 授權聲明
本書最主要的內容來自 Unabridged Version of Sean's Applied Math Book ，該書作者 Sean Mauch 慷慨的
釋出著作權 (No rights reserved)，讓大家可以任意使用，以下是該書的網址：
http://www.its.caltech.edu/~sean/book/unabridged.html
另外、本書也從維基百科擷取了不少圖片與文字。
為了遵守維基百科的授權規定，本書採用創作共用的「姓名標示、相同方式分享」的授權，請使用者
於修改使用時務必遵守此授權規定。
陳鍾誠 2013/3/19 於 金門大學 資訊工程系

3. 序
我很喜歡用武俠小說中的「氣宗與劍宗」與學術中的「理論與實務」相對比。氣宗的人一開始就學習
一堆理論，直到內力充足以後才慢慢了解實務操作；而劍宗的人則是直接拿起劍就找人比試，在不了
解理論的情況下直接出招，一開始進步很快，但到後來就會發現內功不夠深厚，遇到高手時總要吃虧
的。
雖然我的求學過程比較像是氣宗的教育方式，但是最後寫出來的書卻往往像是劍宗的教材，或許這就
是一種內心矛盾的反射，因為理論念得多了，就發現自己在實務上一竅不通，所以寫出來之後往往從
實務出發，最後才回到理論進行印證。
在本書中，我們將採用「理論=>實務=>理論=>實務...」的循環，交替的說明原理與實務，我們會先給
大家看一大堆「圖片」、「影片」甚至是「程式」，然後再回過頭來講解原理，透過這種方式，希望
大家都能達到「氣劍合一」的境界。
陳鍾誠 2012/9/19 於 金門大學 資訊工程系

4. 內容目錄
第 0 章 數學基礎..................................................................................................................................................12
0.1.集合 (Set)...................................................................................................................................................12
0.1.1.聯集、交集、差集 (Union, Intersection and Difference)................................................................13
0.1.2.集合的代數 (Set and Algebra)..........................................................................................................17
0.2.代數 (Algebra)...........................................................................................................................................18
0.2.1.代數空間 (Algebraic Space)..............................................................................................................18
0.2.2.群 (Group)..........................................................................................................................................18
0.2.3.場 (Field)............................................................................................................................................18
0.3.函數 (Function).........................................................................................................................................21
0.3.1.函數的數學定義 (The Definition of Function).................................................................................22
0.3.2.單射(injective)、滿射(surjective)與雙射 (bijective)........................................................................24
0.3.3.反映射與多值函數 (Inverse and Multivalued Function)..................................................................26
0.4.數學符號的念法.......................................................................................................................................29
0.4.1.希臘符號的念法................................................................................................................................30

5. 0.4.2.運算與標記的念法............................................................................................................................31
第 1 章 微積分簡介 (Introducton to Calculus).....................................................................................................34
1.1.微積分與電資領域 (Calculus and Computer)..........................................................................................34
1.1.1.離散與連續 (Discrete and Continuous)............................................................................................34
1.1.2.微積分與程式 (Calculus and Coding)..............................................................................................36
1.1.3.微積分與電路 (Calculus and Circuit)...............................................................................................37
1.2.微積分的歷史...........................................................................................................................................37
1.3.函數大觀園...............................................................................................................................................45
1.4.積分的概念...............................................................................................................................................56
1.4.1.單變數函數的積分 – 計算面積.......................................................................................................56
第 2 章 雙變數函數的積分 – 計算體積.....................................................................................................60
...............................................................................................................................................................................60
第 3 章 微分 (Differential Calculus) ....................................................................................................................61
3.1.微分的概念...............................................................................................................................................61
3.2.極限 (Limits).............................................................................................................................................66
3.2.1.函數的極限 (Limits of Function) .....................................................................................................66
3.2.2.左極限與右極限 (Left and Right Limits)：.....................................................................................73

6. 3.2.3.極限的性質........................................................................................................................................74
3.3.連續 (Continuous).....................................................................................................................................75
3.4.導數 (Derivative).......................................................................................................................................77
3.4.1.導數的定義........................................................................................................................................77
3.4.2.可導 (可微分)....................................................................................................................................79
3.4.3.病態函數............................................................................................................................................83
3.5.微分 ..........................................................................................................................................................84
3.5.1.微分法則............................................................................................................................................84
3.5.2.微分的代數........................................................................................................................................87
3.5.3.微分的計算........................................................................................................................................89
3.5.4.微分公式的證明................................................................................................................................90
3.5.4.1.整次方的微分公式證明............................................................................................................90
3.5.4.2.常數乘法 c*f(x)的微分公式證明.............................................................................................91
3.5.4.3.f(x)*g(x) 的微分公式 之證明..................................................................................................93
3.5.4.4.鏈鎖規則 的證明......................................................................................................................94
3.5.4.5.sin(x) 的微分公式證明..............................................................................................................95
3.5.4.6.自然指數函數的微分公式證明................................................................................................99

7. 3.5.5.鏈鎖規則的運用 (Chain Rule) .......................................................................................................100
3.6.均值定理 (Mean Value Theorems)..........................................................................................................102
3.7.羅必達法則 (L’Hospital’s Rule).............................................................................................................105
3.8.隱函數的微分 (Implicit Differentiation)................................................................................................112
3.9.極大值與極小值 (Maxima and Minima)................................................................................................114
3.10.實作：數值微分...................................................................................................................................117
3.11.習題........................................................................................................................................................118
第 4 章 積分.........................................................................................................................................................119
4.1.積分符號.................................................................................................................................................119
4.2.定積分 (Definite Integral).......................................................................................................................123
4.2.1.定積分的特性 (Properties)..............................................................................................................123
4.3.微積分基本定理.....................................................................................................................................125
4.4.不定積分 (Indefinite Integral).................................................................................................................128
4.4.1.不定積分的特性..............................................................................................................................130
4.4.2.積分值定理 (integral evaluation theorem)......................................................................................130
4.5.積分的技巧 (Techniques of Integration).................................................................................................133
4.5.1.變數代換 (Change of Variable).......................................................................................................133

8. 4.5.2.部份積分 (Integration by parts).......................................................................................................138
4.5.3.部分分式 (Partial Fractions)............................................................................................................140
4.6.瑕積分 (Improper Integral).....................................................................................................................147
4.6.1.單邊瑕積分......................................................................................................................................148
4.6.2.無限大的情況..................................................................................................................................151
4.7.實作：數值積分.....................................................................................................................................154
4.8.練習.........................................................................................................................................................156
第 5 章 微分與函數逼近....................................................................................................................................161
5.1.函數逼近.................................................................................................................................................161
5.2.泰勒展開式.............................................................................................................................................162
5.3.尤拉數 e – 微積分的單位元素...............................................................................................................173
5.3.1.尤拉數 e 的性質..............................................................................................................................173
5.3.2.尤拉函數 – 微積分的單位元素....................................................................................................174
5.3.3.尤拉複函數 –e 與三角函數的關連................................................................................................178
5.4.傅立葉級數–以三角函數逼近 f(x)........................................................................................................182
第 6 章 積分與函數轉換....................................................................................................................................185
6.1.傅立葉轉換 (Fourier Transform)............................................................................................................185

9. 6.1.1.傅立葉級數與轉換..........................................................................................................................185
6.1.2.傅立葉轉換的直覺意義..................................................................................................................192
6.1.3.傅立葉轉換的幾種不同寫法..........................................................................................................200
6.1.4.轉換..................................................................................................................................................202
6.2.程式實作.................................................................................................................................................204
6.2.1.離散餘弦轉換 (DCT)......................................................................................................................204
6.2.2.慢速傅立葉轉換 (SFT)...................................................................................................................206
6.2.3.使用複數結構版本..........................................................................................................................208
6.2.4.不使用複數結構版本......................................................................................................................213
6.2.5.二維傅立葉轉換與 JPEG 影向壓縮..............................................................................................217
第 7 章 常微分方程式........................................................................................................................................219
7.1.簡介.........................................................................................................................................................219
7.2.分離變數法.............................................................................................................................................222
7.3.齊次常系數微分方程式.........................................................................................................................227
7.4.應用：電子電路分析.............................................................................................................................232
7.4.1.RC 電路 (一階)................................................................................................................................235
第 8 章 拉普拉斯轉換........................................................................................................................................239

10. 8.1.拉氏轉換 (Laplace Transform) 的定義..................................................................................................239
8.2.拉氏轉換的直覺意義.............................................................................................................................242
8.3.拉氏轉換存在的條件.............................................................................................................................247
8.4.拉氏變換的性質.....................................................................................................................................248
8.5.常見函數的拉氏轉換表.........................................................................................................................253
8.6.用拉氏轉換求解微分方程.....................................................................................................................264
8.7.Z 轉換 – 拉氏轉換的離散快速版..........................................................................................................269
第 9 章 多變數函數微分....................................................................................................................................273
9.1.多變數函數.............................................................................................................................................273
9.2.極限與連續.............................................................................................................................................273
9.3.偏導數.....................................................................................................................................................275
9.4.鏈鎖規則 (Chain Rule)............................................................................................................................280
9.5.梯度 (nabla).............................................................................................................................................281
9.6.Lagrange 乘子法.....................................................................................................................................282
第 10 章 多變數積分..........................................................................................................................................288
10.1.雙重積分...............................................................................................................................................288
10.2.多重積分...............................................................................................................................................294

11. 附錄 A. 繪製函數圖的程式...............................................................................................................................295

12. 第0章 數學基礎1
0.1. 集合 (Set)
離散數學的基礎是「整數類」(integer) 的集合，而連續數學的基礎則是「實數類」(real number) 的集合，
因此要學習微積分我們得從「實數類」的集合開始，就讓我們先來看看何謂集合吧！
集合是一種數學的群體，舉例而言，集合 {0, 1} 就包含了電腦中二進位系統的基本元素 – 0 與 1，
研究這個集合的數學領域稱為布林代數，布林代數是數位電路分析與設計的基礎。
在數學符號中，集合的外面通常用大括號 { … } 框住，像是 {0,1,2,3,4,5,6,7,8,9} 就是十進位系統的基
本符號元素，以下是一些常見的離散型集合。
• 空集合：
• 整數集合：
1 古文小品：「無用之用、乃為大用」 – 莊子

13. • 有理數集合：
• 實數集合：
• 複數集合：
• 正數集合： (正整數)、 (正有理數)、 (正實數)、
• 包含 0 的正數集合：
• 開集合：
• 閉集合：
離散數學的研究對象，通常以整數類的集合為主，像是 {0, 1}, {0, 1, 2, …, n}, 整數 Z 等等。而連續數
學的研究對象，則通常以實數類的集合為主，像是 R, C 等等。
0.1.1. 聯集、交集、差集 (Union, Intersection and Difference)
集合的基本運算有聯集 (Union)、交集 (Intersection)、差集 (Difference) 等，聯集是將兩者聯合起來，

14. 交集則取共用的，而差集則是將前者與後者共同的部分去除，以下是集合運算的基本數學符號：
• 聯集：
• 交集：
• 差集：
集合之間的運算可以用凡氏圖來解說，以下是來自維基百科的凡氏圖範例。

16. 集合透過這些基本運算，集合可以形成的一個代數空間2，像是 R 就是一個實數加、減、乘、除運算的
代數空間 (Algebraic Space)，因為「實數 (+-*/) 實數」仍然會是一個實數，所以實數就形成了加減乘除
的代數空間。
對整數而言，加法、減法、乘法的結果都是整數，所以對這些運算而言整數是其代數空間，但是對於
除法而言，整數除以整數不見得還是整數，例如 3 / 2 就不是整數。因此，當我們討論除法的代數空間
時，就必須考慮將代數空間擴展到有理數的範圍，甚至是實數的範圍了。
對於集合而言，由於「集合與集合之間」的「聯集、交集、差集」結果仍然是集合，所以我們說「所
有的集合形成一個聯集、交集、差集的代數空間」。
對於代數空間中的運算，也就是代數運算(Algebraic Operation)而言，數學家們在意的是其代數特性，常
見的代數特性有「結合性、交換性」等，而代數空間中很重要的「單位元素」與「反元素」也是數學
家所在意的特性，以下我們就來看看集合的代數特性。
2 S 中任兩元素 a,b 經運算 X 後的結果可用 c = a X b 表示，如果這些運算結果 c 也都在 S 當中，則我們稱 S 為一個代數空
間。

17. 0.1.2. 集合的代數 (Set and Algebra)
• 單位元素 (identity element)：空集合是「交集、差集」的單位元素，但不是「聯集」的單位元素。
◦
• 交換性 (commutative) ：交集與聯集運算具有交換性
◦
• 結合性 (associative)：交集與聯集運算具有結合性
◦ –所以可以直接寫成
◦ –所以可以直接寫成
• 分配性 (distributive)：
◦ 聯集對交集運算具有分配性：
◦ 交集對聯集運算具有分配性：

18. 0.2. 代數 (Algebra)
0.2.1. 代數空間 (Algebraic Space)
如前所述，對於一個集合 S (例如整數) 與某個運算 X (例如加法) 而言，如果兩個元素的運算結果 c =
a X b 也在集合當中，那麼 S 就可以形成一個代數空間。這種讓 a X b 全數落入集合 S 當中的特性，
稱為封閉性。如果對集合 S 運算 X 而言具有封閉性，那麼 S 才能說是一個代數空間。
0.2.2. 群 (Group)
當運算 X 在集合 S 中具有「封閉性 (Closure)、結合性 (Associativity)、單位元素 (Identity element)、
反元素 (Inverse element)」等四項特性時，我們稱 (S, X) 形成一個群 (Group)。
如果運算 X 還具有交換性，那我們稱 (S,X) 形成一個交換群。
0.2.3. 場 (Field)
在同一個代數空間 S 當中，(S, O) 形成一個群，而且 (S, X) 也形成一個群，而且運算 O 與 X 之間具
有分配性的時候，我們說 (S, O, X) 形成一個場 (field, 或稱為「場」)。

19. 讓我們將「場」以代數的數學形式寫出來，讀者應該能更清楚理解場的定義：
(S, O) 是一個群 (S, X)是一個群
封閉性
結合性 (a O b) O c = a O (b O c) (a X b) X c = a X (b X c)
單位元素 aOo=oOa=a iXa=aXi=a
反元素
分配性 a X (b O c) = (a X b) O (a X c)
不知道您是否已經注意到了，以上關於「場」的定義好像認識卻又很陌生，感學有點難懂，因為實在
太抽象了。
但是這種抽象性正是數學家所想要的，因為他們不希望一個數學只能綁在某個特定的實體上，因而將
那些法則抽出來形成代數結構。事實上這種 (S, O, X) 這種「場」代數結構有一個很常見的實例，那就

20. 是「實數空間中的加與乘」之代數 (R, *, +)，讓我們將上述表格用 * 與 + 重寫一遍您就會覺得很熟悉
了。
(R, +) 是一個群 (R, *)是一個群
封閉性
結合性 (a + b) + c = a + (b + c) (a * b) * c = a * (b * c)
單位元素 a+0=0+a=a 1*a=a*1=a
反元素
分配性 a * (b + c) = (a * b) + (a * c)
在較為抽象的層次上探討各種運算的特性，然後歸納出哪些特性 (公理) 可以推導出哪些定理，正是代
數學的基本研究方向，而純粹研究這種代數特性的數學就稱為「抽象代數」。

21. 0.3. 函數 (Function)
函數可以分為「離散」與「連續」兩類，離散函數架構在「離散型」集合 ({0, 1} 或整數 Z) 之上，而
連續函數則架構在連續型集合 (實數 R 或複數 C) 之上
以下是一些連續函數的範例，這些函數我們在國中數學時就曾經見過了。
•
•
•
離散型的函數或許有些人比較不常見，其表示方法通常是用遞迴或加總的方式表現的，以下是幾個離
散函數的範例。
• f(n) = f(n-1) + f(n-2) ; 其中 f(0)=f(1)=1

22. •
0.3.1. 函數的數學定義 (The Definition of Function)
一般而言，我們所說的函數 (function) 通常是指單值函數 (Single Value Function)，也就是一個 f(x) 只
會對映到一個 y，不會有 f(x) = y , f(x) = z 且 的情況發生。
讓我們用較正式的數學語言對定義「函數」這個詞彙：
單值函數 (Single-Valued Functions, 又稱 Single-Valued Mapping) ：單值函數是一種將定義域(domain) X
中的元素映射到對映域(codomain)3 Y 中的元素的對應方式，數學表示法如下。
或
如果對每個 X 當中的元素 x 都有一個 y=f(x) 的對應元素，則該函數稱為定義良好的 (well defined)。
3 請注意，對映域(codomain) 並非值域 (range)，range 指的是 codomain 當中有被 f 映射到的那些值所成的集合。

23. 當我們想表達定義域中某個元素 x 的函數值時，可以用下列表示法：
或 或
如果一個函數總是將定義域中的值應設到其自身 f(x) = x，那這個函數就稱為單位函數 (identity
function)。
一個函數 的值域 (range)代表那些有被映射到的值所成的集合，如下所示：
值域 (range) 是對應域 (codomain) 的子集合。
如果我們想知道值域 Y 中的某一部分 Z 的來源範圍，可以將函數反映射回定義域，這個反應射的區域
就稱為「反映像」(Inverse Image)。
以下是從 R 映射到 R 的函數範例：

24. • 多項式
• 自然指數：
以下是從 R 映射到 Z 的函數範例：
• 地板函數：
• 天花板函數：
0.3.2. 單射(injective)、滿射(surjective)與雙射 (bijective)
在數學專用的英文術語當中，有幾個以 -jectives 結尾的詞彙都代表著函數映射的概念，包含
injective (單射), surjective (滿射), bijective (雙射)，但意義相當不同，請務必仔細區別。

25. 單射 injective 是指不同元素對應到的值也不同 ，滿射 surjective 是
指所有對映域的值都被映射到了，而雙射 bijective 則是指一對一對映，也就是既符合 injective 又
符合 surjective。

26. 0.3.3. 反映射與多值函數 (Inverse and Multivalued Function)
如果函數的一個值只對應到一個值，那稱為一對一函數 (one-to-one)，有時函數的一個值會對應到多
個值，這種函數稱為一對多函數 (many-to-one)。如果多個值對應到一個值，這種函數稱為多對一函
數 (one-to-many)。
如果 則可以用 代表其反映射。如果 f 是一對一對映函數，則反映射也會
是一對一對映函數。
如果 f 是一對一對映函數，則映射後再反映射的結果將會是單位函數 。也就是
。以下是反映射的一些範例。

27. 映射函數 反映射函數 合成結果
4
4 但須注意的是

28. 範例：sin(x) 是一個多對一函數，如下方左圖所示。而其反函數 arcsin(x) 則是一對多函數，如下方中
圖所示。

29. 如果我們只取 y=arcsin(x) 中位於 之間的 y ，則該函數可以寫為字首大寫的 Arcsin(x)，如上
方右圖所示。
0.4. 數學符號的念法
我是個不會去認真細究的人，從大學到研究所的學習數學過程當中，對於數學符號總是靠印象來念，
結果常常是亂念一通。直到成為大學教師之後，透過 wikidot 學習了 Latex 的數學運算式寫法，才開始
認身想要弄清楚數學符號的念法，結果發現自己之前很多念法都是錯的。
數學從西方工業革命後開始展現出強大的力量，但這些數學的基礎往往是從希臘時代就開始建立的，
因此數學領域用了很多希臘字母來做為數學的抽象符號，以便與英文字母明顯的區分開來，所以要認
識數學符號之前，首先要先認識希臘字母的念法。
如果您有需要經常撰寫含有數學公式的論文或書籍，或者您是維基的編輯愛好者，那麼使用 Latex 將
會是一種快速的數學公式撰寫方法。當您開始用 Latex5 撰寫數學公式之後，自然而然的就會學會那些
數學符號的念法與寫法，本書的數學公式就是用 Latex 撰寫的6。
5 Tex 是資訊領域的大師 Knuth 花了九年時間發展出來的一套標記語言，透過 Latex 這種軟體可以將這種語言轉換成排板
良好的書籍或論文，很多英文的書籍與論文都是用 Latex 撰寫並排板的。
6 我們用 LibreOffice 中的 TexMaths 插件來撰寫數學式，筆者覺得這個方法比 LibreOffice 中的 Math 系統更加好用。

30. 0.4.1. 希臘符號的念法

31. 0.4.2. 運算與標記的念法

32. 這些希臘字母的念法有英文版7、希臘版8與數學版9，說真的很難看出大家有一致的共識與念法 10
，所
以我上網找了 YouTube 幫忙，請聽聽看以下版本的念法您應該就會清楚了。
• Greek Alphabet (標準版) – http://www.youtube.com/watch?v=0qgd11XPE0U
• Greek Alphabet Pronounce – http://www.youtube.com/watch?v=vPEtRc05G7Q
• Greek Alphabet – http://www.youtube.com/watch?v=1FyEWbwBarQ
• Greek Alphabet (Rap 版) – http://www.youtube.com/watch?v=AvrDEegIo9g
◦ 從 28 秒開始聽，有文字與聲音快速對照。
• The (koine) Greek Alphabet Song – http://www.youtube.com/watch?v=3gaeIUsPJ-Y
◦ 我最愛，54 秒唱兩遍，還有空抬槓。
7 http://en.wikipedia.org/wiki/English_pronunciation_of_Greek_letters
8 已故新約神學博士 Dr.Degner 【唸給你聽】，一口氣唸完全部 24 個字母。http://a2z.fhl.net/bible/greek/Gclass1.html
9 http://howtosaymathematics.files.wordpress.com/2011/08/greek-alphabet2.pdf
10 【Question】psi 和 xi 的發音一樣？ – http://www.student.tw/forum862/thread106386.html
其中 Ξ ξ xi 與 Ψ ψ psi 兩者念起來其實都像 C 的音，為了區分兩者，採用古音的希臘念法， Ξ ξ 念成 k-si， Ψ ψ 念成 p-
si。

33. 我發現每個版本念得都不太一樣，我不是希臘字母專家，所以念得不標準也請大家見諒了！另外，我
也 YouTube 找了數學符號的念法，請參考下列連結。
Common Mathematical Symbols : http://www.youtube.com/watch?v=usZM04s1uAs
Math Symbols : http://www.youtube.com/watch?v=CG0Q0jo2v6k

34. 第1章 微積分簡介 (Introducton to Calculus)
1.1. 微積分與電資領域 (Calculus and Computer)
微積分在電子領域當中顯得相當重要，因為電感、電容、電晶體非線性元件等都需要用微積分才能描
述，但是在資訊領域則要在比較研究性強的主題 (像是人工智慧) 才會用到，一般的程式設計較少用到。
1.1.1. 離散與連續 (Discrete and Continuous)
如果從集合的角度看數學，大致上可以將數學分微連續與離散兩類，連續領域的數學以「微積分」為
基礎，然後向上銜接「線性代數」與「工程數學」等學科，這類的數學被用在「電子、電機、機械、
土木」等領域。
而離散領域的數學則通常以「離散數學」為起始點，然後銜接「布林邏輯、正規語言、計算理論、資
訊理論」等學科。

35. 「機率統計」是難以用「連續」或「離散」的角度進行分類的，因為機率統計當中既有連續機率密度
函數，也有離散機率密度函數，連續與離散兩類的數學都會用到。機率統計的應用很廣，像是人工智
慧中常見的「隱馬可夫模型」(Hidden Markov Model) 、「貝氏網路」 (Bayesian Network)、「期望-最
大化演算法」(Expectation-Maximization Algorithm, EM)等方法，都是建築在機率統計理論上的。
傳統上、資訊工程系的數學是以離散數學為主，因為資訊領域處理的是數位資料，數位資料都可以表
示為只有 0 與 1 兩種位元值的組合，所以離散數學是資訊工程系主要探討的數學。
但是在電子電機領域，由於探討的是連續的電流，因此必須以函數對電流進行描述，所以微積分的重
要性就凸顯了出來，因為微積分是探討連續函數的數學。
但電子資訊領域有時是互相跨越的，其中所用的數學也是如此。舉例而言，語音原本是連續的波形，
但是經過取樣之後就變成了離散的取樣點，這時如果用離散的角度去看語音，就很難發現其特性。
如果採用連續的角度用函數去描述語音，然後再用三角函數去逼近語音的波形，就會發現傅立葉轉換
是很好用的工具，可以用來將波形轉換為不同頻率的三角函數之組合。
當我們轉回離散領域去思考時，就會發現語音或影像壓縮可以用離散傅立葉轉換來進行，利用餘弦函
數的系數代替取樣點，可以有效的將影像檔大小壓縮到二十分之一左右，這種壓縮法就是 JPEG 檔案
格式所採用的方法。

36. 本書的特色在於使用程式人的觀點，盡可能的將微積分這門數學以程式人的角度去解讀，讓您能將數
學理論直接應用在程式撰寫上，並用微積分來理解電腦的世界。
1.1.2. 微積分與程式 (Calculus and Coding)
在一般性的程式領域，微積分是很少用上的，但是在某些特殊的領域，特別是「通訊」、「控制」與
「人工智慧」等領域，則是大量的使用了微積分這門數學。
雖然「通訊領域」現在經常是以離散的方是透過程式來處理，但是訊號原本是連續的函數，因此當您
想撰寫程式去處理「電磁波」訊號時，其實是與「連續函數」在打交道。於是微積分的進階課程 –
「工程數學」中的很多神奇方法都大量的被用在通訊領域的程式上，特別是與周期函數有關的那一部
分，像是「三角函數、複變函數、傅立葉轉換與拉普拉斯轉換」等等，這些數學都是從微積分延伸出
來的，只有徹底的瞭解了微積分，您才能理解這些數學的意義。
在「人工智慧」當中，研究的是如何讓電腦可以模擬人的智慧，像是模擬眼睛的「影像辨識」、模擬
耳朵的「語音辨識」、模擬身體手腳的「機器人控制」等領域，也都大量的使用到「微積分」的數學
工具，像是「類神經網路」就使用了「微分」的方式進行「反傳遞的學習動作」，而影像及語音等領
域由於原本就是訊號的處理，所以使用「傅立葉轉換」與「小波轉換」等方法也就理所當然了。

37. 1.1.3. 微積分與電路 (Calculus and Circuit)
在電子電路的領域，微積分則是大量的被使用上，因為「電流」本身就是一個連續函數。
電路的基本元件，像是「電阻、電容、電感」等，都會造成電流的連續性變化。電阻是線性的元件，
而「電容、電感」則是非線性的元件。當我們想理解這些元件，特別是具有「電容、電感」這類非線
性元件的電路時，就必須要用到「微分方程式」 這個工程數學裏面最重要的領域。
另外，在電磁學的領域，由於在電磁效應當中的「電」與「磁」可以說是密不可分的兩種「場」
(field)，如何用數學描述這兩種「場」，並且理解電與磁之間的交互作用，則需要高深的微積分理論，
這部分會用到「向量微積分」領域當中的「線積分、內積、外積、張量、梯度、旋度、散度」等等數
學，這個部份的理論也非得先學會微積分不可。
「千里之行，始於足下」，現在就讓我們開始進入微積分的數學領域吧！
1.2. 微積分的歷史
讓我們先透過維基百科的介紹，來大致瞭解一下微積分的歷史，以及對微積分學有重要貢獻的人物，
像是牛頓、萊布尼茲、Euler、Lagrange、Laplace、傅立葉等人與微積分之間的關係吧！

45. 1.3. 函數大觀園
學習微積分之前，先盡可能多看一些函數圖形是很有幫助的，以下圖形都是筆者用 附錄 A. 的程式所
繪製的，首先讓我們來看看一些直線函數，這些直線函數可以寫成 c x，其中的 c 是個常數，稱為斜
率。

46. 接著讓我們來看看 的這種多項式函數，在以下圖中，pow(x, k) 代表的就是 的函數，我們可以
看到 這些函數的曲線圖，您會發現當 k 越大時，函數的曲線就會成長越快。

47. 接著讓我們來看看多項式函數 的函數圖，如以下左圖所示，右圖中所顯示的是
與其一次微分 、二次微分 、三次微分 的
圖形。

48. 接著讓我們來看看不連續的函數，像是 ceil(x) 天花板函數 (數學符號為 ) 與地板函數 floor(x) (數
學符號為 ) 與函數 x 之間的關係，如以下左圖所示。
然後再看看成長很快的指數函數，如以上右圖中的 exp(x) (數學符號為 )、pow(2,x) (數學符號為
)、pow(3,x) (數學符號為 )，由於自然數 e 的值為 2.71828...，所以 的成長速度介於 與 之間。

49. 接著再讓我們看看 這樣的函數，這種函數在 k 為奇數時會呈現 0 的兩邊上下不同方向的走法，
而在 k 為偶數時在 0 的兩邊會呈現上下相同方向的走法。而且當函數越逼近 0 點，函數 的絕對
值就會越大。

50. 接著再讓我們來看看三角函數的圖形，在下方左圖中是 cos(x) 的圖形，您可以看到 cos(x) 是對稱於
x=0 點的，也就是 ，這種函數稱為偶函數。
在上方右圖中同時繪出了 sin(x) 與 cos(x) 的圖，而 sin(x) 的圖形則有 的特性，
這種函數稱為奇函數。您可以看到 sin(x) 與 cos(x) 兩者的圖形非常的相像，只要我們將圖形在 x 軸向
左或向右移動 就可以讓兩個函數重疊在一起。

51. 接著讓我們看看三角函數經過調整頻率 (調頻、Amplifier Modulation, AM) 或調整振幅 (調幅、
Frequency Modulation, FM) 的情況。在下方左圖中是調幅的情況，調幅可用 k*sin(x) 表示，您可看到
sin 的波的波長沒有變化，但是振幅卻變化了。震盪的幅度與 k 的大小有關，k 越大震盪幅度就越大，
k 越小震盪幅度就越小。
上方右圖中顯示的是調頻的情況，可用 sin(k x) 表示，您可以看到當 k 越大時震盪頻率越大，震盪速
度就會越快，也就是震盪週期 (頻率的倒數) 變得越小了。

52. 下方左圖中顯示的是 的圖形，右圖中顯示的是 的圖形，由於受到除以 x 的影響，
這兩個函數離原點越遠時，振幅就會越小。
(從以上兩個圖形當中您應該可以判斷出該函數是奇函數還是偶函數，請想想看！)

53. 接著讓我們來看一組複雜一點的圖形，以下兩個圖形都是 sin(1/x) 的圖形，只是顯示的範圍與尺度不太
相同，左圖中的範圍是 x 位於 (-1, 1) 之間，而右圖則是 x 在 -0.1 到 0.1 之間的情況，雖然我們在右
圖中用非常細微的尺度去觀察，但其波形仍然持續且密集的震盪，不論我們將尺度放到多麼的微小，0
點附近的震盪仍然會非常密集。

54. 如果我們將 與 放在一起，會形成一個上下對稱的圖形，如下方左圖所示。但是如果我們在
加入 也放進來，就會發現形成了一個在原點附近密集震盪且縮小收斂的圖。

55. 接著讓我們看看微分的圖型概念，在以下的 sin(x) 圖形中，我們使用 cut(sin, -5, 1) 繪出從 sin(-5) 到
sin(-4) 的這條割線 (淺藍色)，然後再用 cut(sin, -5, 0.001) 繪出從 sin(-5) 到 sin(-4.999) 的這條割線，由
於差距 0.001 已經非常的小，所以割線已經幾乎就是切線了。
在右邊的圖當中，我們將割線的兩點差距從 1, 0.3, 0.1, 一路縮小到 0.01，於是就會發現割線斜率的變
動情況，當兩點差距從 0.001 再往下縮小時，肉眼就會難以辨別兩條線斜率的差別了，這個斜率也就
幾乎就是 sin(x) 的微分在 -5 這點的值了。

56. 1.4. 積分的概念
1.4.1. 單變數函數的積分 – 計算面積

60. 1.4.2. 雙變數函數的積分 – 計算體積

61. 第2章 微分 (Differential Calculus)
2.1. 微分的概念
一個函數 f 在某一點 x 的微分 ，其實就是函數 f(x) 在該點切線的斜率。
f 函數在 x 點的微分是 ，這與 f 從
到 的割線斜率 還有一小段差距。
我們可以從右圖中看出這個情形。
但是當 越來越小的時候，這條割線的斜率
就會愈來愈接近切線斜率，我們可以將這個「愈
來愈小直到無窮小」的慨念寫成如下算式。

62. 其中的 符號也有其他表示法，像 或 等都是等價的寫法，只是表達
方式不同而已。
以上的概念是針對任何一點 x 而言的，只要代入 x 的值，我們就可以計算出 這個數字，例如
我們代入 3 到上式中，就可以得到 f'(3) 這個數字，這個數字代表 f(x) 在 x=3 這一個點上的切線斜率，
正式的名稱為「導數」(derivative)。
換句話說， 在 a 點的值 就是 f(x) 在 a 點的切線斜率，稱為 f(x) 在 a 點的導數。而
這個函數就稱為函數 的微分式。

63. 由於微分概念實在太重要了，讓我們再用另一個寫法說明導數與微分的意義，以下圖形與公式代表了
f(x) 函數在 點的切線，也告訴了我們如何計算導數的方法。

64. 讓我們再看看更多的切線圖形範例：

65. 必須注意的是，函數 f(x) 的微分 在每一點上都有切線，而且切線的斜率通常會不斷的變化，也
就是導數 與 通常會不相同。以下網址的圖形顯示了導數的動態慨念。
http://zh.wikipedia.org/wiki/File:Graph_of_sliding_derivative_line.gif

66. 2.2. 極限 (Limits)
2.2.1. 函數的極限 (Limits of Function)
極限是整個微積分的重要核心概念，但這個慨念其實相當抽象，以致於很多古代的中外哲學家對極限
11 12 13 14
的思考型成了一些似是而非的「詭論」，而其中很多詭論還真的是相當有說服力的呢？
11 「一尺之捶、日取其半、萬世不竭」 – 莊子天下篇
12 「飛鳥之景，未嘗動也」– 惠施
13 芝諾悖論之「阿基里思與烏龜」 – 動得最慢的物體不會被動得最快的物體追上。由於追趕者首先應該達到被追者出發之
點，此時被追者已經往前走了一段距離。因此被追者總是在追趕者前面。 來源：—亞里士多德, 物理學 VI:9, 239b15
Zeno's paradoxes：Achilles and the tortoise – In a race, the quickest runner can never overtake the slowest, since the pursuer
must first reach the point whence the pursued started, so that the slower must always hold a lead.
14 芝諾問他的學生 「一支射出的箭是動的還是不動的？」
「那還用說，當然是動的。」
「確實是這樣，在每個人的眼裡它都是動的。可是，這支箭在每一個瞬間裡都有它的位置嗎？」
「有的，老師。」
「在這一瞬間裡，它佔據的空間和它的體積一樣嗎？」
「有確定的位置，又佔據著和自身體積一樣大小的空間。」

67. 當您在學習微積分的時候，就可以看出數學家與哲學家的思考模式有何不同，數學家從「定義」與
「公理」出發，然後想辦法推論出這些「定義與公理」所能導出的「定理」。但是哲學家則不同，他
們從思考「宇宙人生的大道理」開始，然後用這些大道理檢視你在日常生活上所看見的事物是否為真，
這兩種手法導致了截然不同的學術體系。
看了這麼多哲學詭論之後，讓我們來看看數學家對極限的定義吧。
「那麼，在這一瞬間裡，這支箭是動的，還是不動的？」
「不動的，老師」
「這一瞬間是不動的，那麼其他瞬間呢？」
「也是不動的，老師」
「所以，射出去的箭是不動的？」

68. 極限的定義
如果在 x 趨近於 a 時 f(x) 可以「任意接近」 b ，那我們就說 f(x) 趨近於 a 時的極限為 b，其數學符
號定義如下。
以上定義中的「任意接近」(arbitrarily close to)
的數學意義是：對於任何 ，都存在一個
使得在 的情況下
會滿足 ，如下圖所示。
所以如果您想證明 f(x) 在 x=a 的極限存在，只
要證明可以「任意接近」就行了。也就是找出滿
足 的 條件，並證明這個
條件存在就行了。

69. 範例：請證明
解答：對於任何 而言，我們都可以找到一個 使得在 的情況之下，符合：
因此 證明完成。

70. 範例：請證明
解答：對於任何 而言，我們都可以找到一個 使得在 的情況之下，符合：
因此 證明完成。
那麼，是否有哪些函數在某點的極限不存在，導致我們無法找到這樣的 去滿足
的條件呢？ (當然是有的，請看下列範例)

71. 範例：請證明 的極限不存在。
解答：假如 存在，我們就可以用某實數 b 代表 的極限。
但是 的情況是不可能成立的。
不論 多麼小，只要 ，那麼 代表 ，也就是
。
因為 時 且 時 。
1 與 2 之間的距離為 1，不論 b 怎麼取，都不可能同時滿足 與 。

72. 範例：請證明
解答：對於任何 ，我們需要找出一個 使得在 的條件下滿足
的要求。首先讓我們看看對於特定 值所造成的偏離情形。
接著我們就可以選定一個 條件，使得 ，然後我們就可以找到滿足
的 條件如下。
這樣的 必定是個正數，而且滿足 的條件，所以我們證明了 這個極
限是存在無誤。

73. 2.2.2. 左極限與右極限 (Left and Right Limits)：
極限並不一定存在，例如有些函數會有不連續的斷點，則在斷點之處的極限就不存在。因為在斷點之
處的左極限 (left limits) 與右極限 (right limit) 並不相同。
例如下圖為天花板函數 的圖形，在整數點 (…,-2,-1,0,1,2,...) 時這些函數有斷點，例
如在 x=1 這個點上，其左極限為 ，而右極限 ，所以
ceil(x) 函數在 x=1 這個點上的極限不存在。

74. 另外，有時某些函數包含孤立的點，舉例而言，像是下列函數就只有在整數點為 1，其他部分都是 0。
這種函數的左極限 與右極限 都存在，但是這兩個極限值
卻都與 不同。
2.2.3. 極限的性質
假如極限 與 都存在，則極限式具有下列數學性質。
性質 數學式
加法特性

75. 乘法特性
除法特性
if
2.3. 連續 (Continuous)
連續的定義： 如果函數 f(x) 在 x=c 這點的極值 ，則我們說函數 f(x) 在 x=c 這
點是連續的。
連續函數：假如函數 f(x) 在定義域的每一點都是連續的，那麼 f(x) 稱為一個連續函數。
區段連續：假如 f(x) 在 中的任何一點都是連續的，且 , ，
那麼我們說 f(x) 在閉區間 [a,b] 連續。

76. 下圖中左端的函數為 在原點不存在，但是在其他點卻都存在且連續，這種情況稱為可移除
的不連續性 (removable discontinuity)。中間的圖形顯示函數 H(x) 在 0 這一點跳空了，這種情況稱為跳
躍不連續性 (jump discontinuity)。右端的圖形顯示 1/x 這個函數在 0 這一點有無窮大的極值，這種情
況稱為無限不連續性 (infinite discontinuity)。

77. 連續函數的特性：如果函數 f(x) 與 g(x) 兩者都在 c 點連續，那麼其組合將有以下特性。
性質 數學特性
加法特性 在 c 點連續
乘法特性 在 c 點連續
除法特性
在 c 點連續，當 時
組合特性 若 f(x) 在 c 點連續，且 g(x) 在 m=f(c) 這點連續，那麼 在 c 點連續。
有界性 若一個函數在閉區間 [a,b] 中連續，則該函數在區間[a,b] 當中必定是有界的
(boundedness) (bounded, 非無窮大)
2.4. 導數 (Derivative)
2.4.1. 導數的定義
如前所述，函數 f(x) 在 a 點的導數 乃是其切線的斜率，而這些斜率所形成的函數稱為函數

78. f(x) 的微分 ，又可以寫成 。
在上圖中，當 趨近於 0 時，極限式 可以寫成
更簡單的 或者 ，這個函數 就稱為 f(x) 的導函數 (或稱微分式)，讓我們將這些
數學整理成一個算式如下。

79. 2.4.2. 可導 (可微分)
定義：(可微分) 若 f(x) 在 x=c 點可微分，則 f 必須滿足下列條件。
定理：設函數 f 在 x 可微分，則 f 在 x 點上連續。
說明：在 y = f (x) 之圖形上，其中的點 (a, f (a)) 之切線為
（1）非垂直：過 ( a, f (a)) 且斜率為 f'(a) 之直線，若 f'(a) 存在；
（2）垂直：直線 x = a，且導數為無限大。
以下是維基百科中對於函數可導條件的描述。

83. 2.4.3. 病態函數
病態函數是一種處處連續卻又處處不可微分的函數，以下
是維基百科中的說明。

84. 2.5. 微分
假使一個函數 f(x) 在 a 點的導數存在 (derivative exists)，則我們說該函數在 a 點可微分(differentiable)
。
請注意：可微分必定連續，但連續並不一定可微分 (例如：左右極限不相同的「角形函數」，就是連續
但不可微分的)。
2.5.1. 微分法則
函數類型 函數 說明與範例
導函數
常數
次方
自然指數 是微積分的單位函數

85. 指數
自然對數
對數
三角函數的導數
正弦函數 sin 的微分會使其落後
成為
=cos(x)
餘弦函數 cos 的微分會使其再度落後
成為
= -sin(x)
正切函數
用

86. 去想就可以解出
餘切函數
用
去想就可以解出
正割函數
用
去想就可以解出
餘割函數
用 去
想就可以解出
反三角函數的導數
反正弦函數
反餘弦函數

87. 反正切函數
反餘切函數
反正割函數
反餘割函數
2.5.2. 微分的代數
導數性質 數學式 (萊布尼茲寫法) 數學式 (柯西寫法)
常數乘法

88. 加法規則
常數加乘
乘法規則
除法規則
指數規則
鏈鎖規則

89. 2.5.3. 微分的計算
範例：對於函數 而言，請計算 f(x) 在 x = 1 上的導數。
解答：
範例：我們也可以計算 在任何一點的導數 (微分式)

90. 2.5.4. 微分公式的證明
2.5.4.1. 整次方的微分公式證明
定理：
證明： 在點 x 的導數可以根據定義計算如下

91. 因此得證 。
2.5.4.2. 常數乘法 c*f(x)的微分公式證明
定理：

92. 證明： 函數 在點 x 的導數可以根據定義計算如下
因此得證 。

93. 2.5.4.3. f(x)*g(x) 的微分公式 之證明
證明：函數 在點 x 的導數可以根據定義計算如下

94. 2.5.4.4. 鏈鎖規則 的證明
證明：(不嚴格，有疏漏的) (f, g 必須都是連續可微)，令 ，則：

95. 但是，由於當 在逼近 0 的過程中， 有可能已經是 0，此時會造
成除以 0 的問題，因此以上證明是不嚴格的。
為了避免除以 0 的問題，我們可以定義下列函數以便避開除以零的問題：
詳細的證明請參看 Wikipedia:Chain_Rule - http://en.wikipedia.org/wiki/Chain_rule#First_proof
2.5.4.5. sin(x) 的微分公式證明
sin(x) 的微分：根據微分運算的定義，以及和角公式，我們可以推導證明出正弦函數的導函數如下

96. 說明：最後的推論必須使用羅必達法則 (0/0 的情況)，可得到 ，而
且

97. 和角公式證明：在上一節中，我們為了要推導 sin(x) 的微分，使用了和角公式。和角公式是三角函數
中計算兩角相加後函數值的算法，可以用傳統歐氏幾何的方式證明，以下是和角公式的列表。
由於在三角函數的微分公式之推導需要用到和角公式，所以我們在此以 sin(a+b) =sin(a) cos(b) + cos(a)
sin(b) 的證明為例，說明和角公式的證明方法。

98. sin 的和角公式：sin(a+b) =sin(a) cos(b) + cos(a) sin(b)
證明：如圖所示。

99. 2.5.4.6. 自然指數函數的微分公式證明
引理： (這個引理將不會在此進行證明，但您可以將 h 取得很小用計算機算算看)
定理：
證明：

100. 2.5.5. 鏈鎖規則的運用 (Chain Rule)
根據鏈鎖規則，假如 y=f(u) 且 u = f(x)，則 服從下列法則，這在計算複合函數的時候很有用。
範例：計算 的微分式
證明：我們可以利用鏈鎖規則計算 的微分函數，只要使用 這個算式就行了。
範例：計算 的微分式
證明：我們可以利用鏈鎖規則計算 f(x) 的微分函數，首先讓 ，則可得下列算式。

101. 範例：計算 的微分式
的反函數是 ，所以我們可以根據微分式 導出其反函數的微分
式如下

102. 2.6. 均值定理 (Mean Value Theorems)
羅爾定理 (Rolle's Theorem)
如果 f(x) 在 [a,b] 區間連續且可微，而且 f(a)=f(b)=0，那麼必然存在一個 c 介於 a, b 之間，使得
，如下圖所示。
證明：
1. 假如 f(x) = 0 ，那羅爾定理成立。
2. 假如 f(x) 不是零函數，那在 [a,b] 區間必然有非零的極大或極小值存在，令 x = c 為此極值之 x
值。既然 x 是可微的，那麼 f'(c) 必然為 0。(否則就不是極值了)

103. 均值定理 (Theorem of the Mean)
如果 f(x) 在 [a,b] 區間連續且在 (a,b) 區間可微，那麼必然存在一個 c 介於 a, b 之間，使得
換句話說，至少有一個中間點 c 的斜率等於平均斜率，如右圖所示。
證明：考慮函數 ，
該函數的 g(a) = g(b) = 0，所以滿足羅爾定理，也就是 [a,b] 區間存在一個點 c 使得 g'(c)=0。
若我們對 g(x) 取微分後，會得到 ，g(x) 在 c 點的導數為，所
以 。

104. 均值定理擴展型 (Generalized Theorem of the Mean)
如果 f(x) 在 [a,b] 區間連續且在 (a,b) 區間可微，且 ，那麼必然存在一個 c 介於 a, b
之間，使得
證明方法：與均值定理類似。

105. 2.7. 羅必達法則 (L’Hospital’s Rule)
羅必達法則 (L’Hospital’s Rule)
當 均趨近於零 (或無限大) 時，可以用羅必達法則求出不定型 (indeterminate) 或
的微分式。
羅必達法則：
使用條件：必須在 或 的情況下才能使用，且 f(x) 與
g(x) 在某個包含 a 的開區間中可微分 (a 除外)，且

106. 範例：求
解答：由於在零點時上下均趨近於零，所以可套用羅必達法則
(說明： 在零點有可移除的不連續性)

107. 範例：求
解答：
(說明：所以 在零點為有限不連續。)

108. 範例：求
(說明：所以 在零點為無限不連續。)

109. 範例：a, d 均不為零，求
解答：

110. 範例：求
由於上式在 時為 0/0 的不定式，所以可用羅必達法則
由於還是 0/0 的不定式，所以再用一次羅必達法則
我們也可以在 與 這兩種不定型上使用羅必達法則，只要改寫為 0/0 的除法形式就
行了。羅必達法則可以連續使用很多次，直到結果不為不定型為止。

111. 範例：求
解答：

112. 範例：求
解答：
如果我們將上式取 ln，則可得 ， 當 時為 的不定型，可改寫為 0/0 的形
式後使用羅必達法則
於是我們可以用 將兩邊的 ln 拿掉，得到結果 。
2.8. 隱函數的微分 (Implicit Differentiation)
有時一個變數不容易表示成另一個變數的函數，也就是 y 很難表示為 f(x)，但這兩個變數之間存在某
種關係方程式 (例如 f(x,y)=0)，此時就可以採用隱函數的微分法，以計算導函數。
範例：請根據隱等式 (implicit equation) 求出
解答：假如不使用隱函數微分，那麼我們可以將 y 表示為 x 的函數如下

113. 然後套用鏈鎖法則求解，於是可以得到以下微分式
但是如果我們採用隱函數微分法，則可對整個隱等式 直接進行微分，可得到以
下算式。
於是我們可以得到下列結果
然後將 y 代入，得到

114. 2.9. 極大值與極小值 (Maxima and Minima)
由於導數 f'(x) 代表的是斜率，所以當導數 f'(x) > 0 時，函數處於上升狀態 (increasing)，而 f'(x) < 0 時，
函數處於下降狀態 (decreasing)，而當函數 f'(x) = 0 時，我們說函數 f 在 x 點上處於穩定狀態
(stationary) 。
因此在函數 時，很可能會有相對極大值 (relative maxima) 或者相對極小值 (relative minima)
的情況。但必須注意的是，並非所有穩定狀態的點都是相對極大或相對極小值。

115. 例如下圖中的 在 x=0 點時有極小值， 在 x=0 點時有極大值，但 在 x=0 點時雖然微
分 ，但是卻是一種水平暫態，並非極大或極小值。

116. 而且並非所有的極大值或極小值都會發生在 的點上，例如某些「角」是不可微分的點，
但卻是極大極小值之所在。
我們可以用一階導數 來測試極點的特性，如果 且
1. 在經過 a 時從負轉正，那就有相對極小值。
2. 在經過 a 時從正轉負，那就有相對極大值。
3. 在經過 a 時沒有變符號，那就不是極值點。
我們也可以進一步二階導數 來測試極點的特性，如果 且
1. 時為凹向下，有相對極大值。
2. 時為凹向上，有相對極小值。
3. 時測試失效，無法判定是否有極值。

117. 2.10. 實作：數值微分
程式：diff.c 執行結果
#include <stdio.h> D:code>gcc diff.c -o diff
#include <math.h>
D:code>diff
#define dx 0.0001 ===== f(x)=sin(x) ======
f(1.047198) = 0.866025
typedef double (*F1)(double); f'(1.047198) = 0.499957
// 數值微分的主要函數
double df(F1 f, double x) {
double dy = f(x+dx)-f(x);
return dy/dx;
}
// 顯示函數在點 x 的值 f(x) 與微分值 f'(x)
void showDiff(F1 f, char *fname, double x) {
printf("===== f(x)=%s ======n", fname);
printf("f(%f) = %fn", x, f(x));

118. printf("f'(%f) = %fn", x, df(f, x));
}
int main() {
showDiff(sin, "sin(x)", M_PI/3);
}
2.11. 習題
1. 請問 的極限存在嗎？
2. 請計算 的導函數？
3. 請計算 的導函數？
4. 請計算 的導函數？

119. 第3章 積分
3.1. 積分符號
當我們想計算一個函數 f(x) 與 x 軸之間所圍出的面積時，可以採用逼近的方法，
如右圖所示。如果我們用長條圖的面積加總代表面積，那麼將會有一些誤差，但
是當們將長條圖的每一條寬度變得很窄的時候，整個長條圖的面積總合就會非常
接近函數 f(x) 所圍出的面積，這種計算面積的方法稱為黎曼積分法，採用的是以
下的黎曼和序列，以計算 f(x) 在 a 到 b 範圍間圍出的面積。
當 [a,b] 之間的分割變得越細之時，黎曼和 就會越接近曲線 f(x) 在 [a,b] 區

120. 間的面積，當我們讓 [a,b] 之間分割數趨近於無限大 ( )、且每個分割長度都趨近於無限小時 (
)，那麼這個梨曼和將會收斂到某個極限，這個極限就被稱為 f(x) 在 [a,b] 區間的積分值，
也就是其面積大小，這時整個級數可以撰寫如下。。
這種上下限都確定的積分方式就稱為定積分 (definite integral)。
數值積分
在黎曼和中沒有規定每個 都要一樣，這樣的定義方式雖然比較彈性，但卻不容易寫為程式，
如果我們規定所有 都一樣是 ，於是就可以將黎曼和的極限改寫為下列算式。

121. 如此我們只要將 設得很小 (例如：0.0001)，那麼就能透過加總的方法用程式計算出積分，這種
積分方法稱為數值積分。(在 3.7 當中我們將會實作此一程式)

122. 積分符號
右圖的積分符號是萊布尼
茲發明的，這是目前最常
被使用的積分表達式。
萊布尼茲同時也發明了微
分符號 dy/dx ，萊布尼茲
的微積分符號可以比較恰
當的反應微積分的意義，
卻又不會太過複雜，熟悉
這些符號對學習微積分有
相當大的好處。

123. 3.2. 定積分 (Definite Integral)
定積分
若 為閉區間 的一個分割，如果 代表所有分割中長度最大者，也就
是 則函數 f(x) 在 [a,b] 區間的定積分定義如下：
3.2.1. 定積分的特性 (Properties)
特性 數學式

124. 線性
可加性
相反性
零積分
有界性 令 且
則
均值定理
存在一個 滿足

125. 或者也可以寫為存在一個 滿足
3.3. 微積分基本定理
微積分基本定理
假如我們讓定積分的上界 b 成為一個變數，那麼積分函數 F(x) 可以寫為如下的積分式：
那麼 F'(x) 將會是 f(x)，如下所示，這個定理稱為微積分基本定理，代表了微分與積分互為反運算
(非常重要)。

126. 證明：
從上述的微積分基本定理我們知道，微分與積分互為反運算。假如我們用 D 代表微分運算，然後用 I
代表積分運算，那麼 ，也就是 。

127. 事實上，當我們將一個函數 f 進行「反微分」的 運算時，會得到很多可能的函數 (例如 F1(x)
, F2(x) , …..)，但是這些 F(x) 之間其實最多只會差距一個常數。
舉例而言，我們知道 的微分是 ，也就是 ，但事實上
, …. 全部都是 ，所以當我們用 I(f) 代表函數 f(x) 的微分反運算時，可
能會有很多的 F(x) 都滿足這個反微分的條件，而且這些 F(x) 之間最多只會差一個常數 c。
那麼，這些 F(x) 之間有甚麼關係呢？而 c 又代表甚麼意義呢？讓我們再仔細看一下這種上界為變數 x
的積分符號
假如我們將下標為 a 上標為 x 的積分式寫為 ，那麼那麼我們就可以用 代表從 0
開始積分的結果，用 代表從 3 開始積分的結果。
事實上，不論我們是從哪個 a 點開始積分，積分式 之間都只會差一個常數，所以如果我們不

128. 去規定下界 a，然後固定用變數 x 代表上界，那麼就可以直接用 F(x) 代表 f(x) 的積分，於是可以寫
成以下形式。
這種不固定上下標的積分式寫法就稱為不定積分，代表了微分運算的反函數，也就是不定積分運算。
3.4. 不定積分 (Indefinite Integral)
定義：不定積分
令 F(x) 為 f(x) 的反導函數，則 f(x) 的不定積分定義為 F(x)，其中的 C 為任意常數

129. 範例：求
解答：已知 ，根據微分的線性特性可得 ，所以可得
的不定積分為 。
範例：求
解答：已知 ，所以可得 。

130. 3.4.1. 不定積分的特性
特性 數學式
常數乘法
函數相加
線性組合
3.4.2. 積分值定理 (integral evaluation theorem)
如果我們將上下限給定義出來，那麼在 F(b) – F(a) 的減法過程當中，那個常數 c 就會自動被消去了，
於是不管我們取哪一個 F，其 F(b) – F(a) 的值都會是固定的，所以我們可以利用這個特性去計算積分
值，這就是微積分基本定理的第二形式，稱為求積分值定理。

131. 求積分值定理 (integral evaluation theorem)
若 F 為 f 在 [a,b] 間的任意反導函數，則
說明：由於 F 是 f 的反導函數，代表 ，所以 ，如
果我們將 b= a 代入，那麼會得到下列算式

132. 於是我們知道 ，也就是 。
範例：求
解答：
範例：求
解答：

133. 3.5. 積分的技巧 (Techniques of Integration)
3.5.1. 變數代換 (Change of Variable)
g(x) 的微分式移項一下可得 d g = g'(x) dx，所以我們可能會猜想當 u=g(x) 時，下列積分式是否成立：
這個猜想是正確的，我們可以用微分鏈鎖法則去證明以上定理。
由於 u=g(x) 是 x 的函數，因此根據微分鏈鎖法則可得
或者用運算的概念可以寫成以下運算子

134. 證明：在 這個待證明的等式中，我們分別對兩邊各取導數。
左邊的導數為
右邊的導數為
左右兩邊的微分式都等於 f(u)，所以左右兩邊的定積分相同。

135. 範例：求 的不定積分
解答：令 ，則

136. 範例：求 的不定積分
解答：首先觀察到 ，接著令 ，則
。
根據微分鏈鎖律與變數代換法則，令 ，則 ，所以若
，則
所以
故

137. 範例：求定積分
令 , ，則可得到下列運算結果：

138. 3.5.2. 部份積分 (Integration by parts)
部分積分公式
完整公式：
簡寫公式：
證明：

139. 範例：求
如果我們選擇 ，那麼根據部分積分法則可正確求得結果。
但是如果我們選用錯誤，讓 ，那麼根據部分積分法則會得到下列結果：

140. 這樣只會讓積分越來越複雜，無法得到正確的結果。
所以選用時必須有技巧，其技巧為：1. 選擇讓 u' 比 u 簡單方案。 2. 選擇 dv 在計算積分 v 時不會變
複雜的。
3.5.3. 部分分式 (Partial Fractions)
部分分式：對於如 的函數除法形式而言，可以改寫成以下形式：
其中 為常數，如下算式所示

141. (Why? 原理是否根據泰勒展開式在點的值所展開的對應結果)
一但改寫為部分分式之後，那積分就變得容易很多了。
範例：求
令 ，則 可計算如下

142. 所以我們可以得到 。
接著計算其積分結果，就會變得很容易了。

143. 範例：求
先求 的展開式，如 所示，其係數為：

144. 於是我們得到 ，接著計算積分式
得到解答。

145. 部分分式 (共軛複數版) : 假如有理函數的除法有如 的形式，那麼同樣可
以採用部分分式的作法，展開如下：

146. 範例：求
的展開式為 ，其中的係數如下：
所以我們可以得到以下等式
接著計算積分式

147. 3.6. 瑕積分 (Improper Integral)
瑕積分
假如 f(x) 的積分範圍中有不連續的斷點，這種積分稱為瑕積分 (有瑕疵的積分)
假如 f(x) 在 [a,b] 區間中，除了 c 點之外均連續，那麼就可以利用以下定理計算其積分。

148. 3.6.1. 單邊瑕積分
範例：求 在 [0,1] 區間的積分
解答：由於 ln 在 0 點不存在 (負無窮大)，因此我們可以利用瑕積分搭配羅必達法則進行計算：

149. 範例：求 在 [0,1] 之間的積分式

150. 如果 a < 0 則在 0 點會有不連續的情況，首先我門假設
上述極限只在 a > -1 時存在。接著考慮 a = -1 的情況
上述極限不存在，所以我們可以得到：

151. 3.6.2. 無限大的情況
如果積分的範圍是單邊無限大，例如 ，那麼我們可以將積分改為下列極限寫法以進行計算：
如果積分的範圍是雙邊無限大 ，那麼可以改寫為下列極限式進行計算：

152. 範例：求
解答：

153. 範例：求
首先考慮 的情況
當 時上述極限存在。接著考慮 a = -1 的情況：

154. 上述極限不存在。所以我們得到下列結果：
3.7. 實作：數值積分
編譯執行結果
D:code>gcc integral.c -o integral
D:code>integral
============ f(x)=sin(x) =========
f(0.785398)=0.707107 ; f(1.570796)=1.000000
integral(f, 0.785398, 1.570796) = 0.707094
程式：integral.c
#include <stdio.h>

155. #include <math.h>
#define dx 0.0001
typedef double (*F1)(double);
// 數值積分的主要函數
double intergal(F1 f, double a, double b) {
double sum=0.0;
double x;
for (x = a; x <=b; x+=dx) {
sum += f(x)*dx;
}
return sum;
}
// 顯示 f(x) 從 a 到 b 的積分結果
void showIntegral(F1 f, char *fname, double a, double b) {
printf("============ f(x)=%s =========n", fname);
printf("f(%f)=%f ; f(%f)=%fn", a, f(a), b, f(b));
printf("integral(f,%f,%f)=%fn", a, b, intergal(f,a,b));

156. }
int main() {
showIntegral(sin, "sin(x)", M_PI/4.0, M_PI/2.0);
}
3.8. 練習
練習 1：求不定積分
解答：令 2x+3 = u，根據變數代換公式 ，可推論如下：

157. 所以可得不定積分式的結果 。
練習 2：求不定積分
解答：令 ，根據變數代換公式 可推論如下：
所以可得不定積分式的結果

158. 練習 3：請根據積分定義 證明 。
(其中 且 )
解答：

159. 練習 4 : 求不定積分
解答：令 ，則 ，如此根據部分積分可得：

160. 練習 5 : 求不定積分
解答：

161. 第4章 微分與函數逼近
微積分概念中的微分，具有許多神奇的應用，其中基於多項式不斷微分概念的泰勒級數，更成為函數
逼近論的基礎，函數逼近方法中最重要的傅立葉轉換，更成為影像處理的神奇工具，本章將說明微積
分、泰勒級數與透過微分逼近函數的概念。
4.1. 函數逼近
對於一個連續函數 f(x)，如果我們已經知道 f(3) 的值，但是卻想估計 f 在 3 附近的值 (例如
f(3.01)=?)，那麼我們有該用甚麼辦法估計呢？
一個簡單的辦法是利用 f(x) 的連續性，既然 3 與 3.01 差不多，那麼 f(3) 與 f(3.01) 應該也不會差太多，
所以我們就直接認為 f(3.01) 的值就是 f(3)。
這種方法雖然看來可以，但是如果我們想估計 f(3.02), f(3.03), …. 甚至是 f(3.1) 呢？這樣的方法還夠好
嗎？有沒有更好的方法呢？

162. 有的，因為我們現在已經學會了微分，所以我們知道 f 函數在 3 這點的斜率 f'(3)，所以我們可以利用
斜率進行 f 函數在 x 點附近的估計，其估計方法如下：
這樣，我們就可以用 來進行估計了，這個估計感覺比直接用
f(3) 好。
既然我們可以用一次微分 來估計，那麼為何不能用二次微分 來估計呢？那三次微分
呢？
如果我們一直用到 n 次微分，然後讓 n 趨近無窮大，那會如何呢？這樣我們是不是可以完全重建 f(x)
函數，只要我們知道其中一個點就可以了呢？
4.2. 泰勒展開式
以上的想法其實就是泰勒展開式的由來，讓我們先來看看泰勒展開式長得如何？

163. 泰勒展開式
為何泰勒展開式要長成上面那個樣子呢？這得讓我們從多項式函數在零點的連續微分開始說起。
連續函數通常可以不斷的進行微分，因此、就可以用多項式來逼近該函數，其背後的想法是：
『如果我想用一個多項式來逼近函數，應該如何做呢？』
關於這個問題、如果我們直接將函數表示成多項式，可改寫如下：

164. 然而、這些 c0, c1, ... 等係數，到底應該是多少呢？關於這個問題，必需使用函數逼近法，所謂的函數
逼近法，就是利用微分的概念，對於一個指定函數 f(x)，在某特定點附近不斷取微分的方法。
根據上式不斷對 f(x) 進行微分，可以導出下列算式：

165. 於是、根據上述最後一個通用算式，若在 x 趨近於 0 時，可捨棄具有 x 的項目(因為 x 非常接近 0，
所以 都很小、捨棄一點點無所謂啦)，於是我們就發現下列關係：
接著、我們就可以將這些係數 套回 f(x) 的多項式表示法，得到下列算式
這就是所謂的泰勒級數，又稱泰勒展開式 (請注意，通常我們稱泰勒展開式是在 x=a 點的微分式，上
述公式乃是取 x=0 附近的微分式，這種在零點的泰勒展開式有個特殊的名稱叫麥克羅林級數
Maclaurin Seires)。
上述的論述是針對函數 f(x) 在接近 0 的地方進行逼近的結果，對於在接近 a 的地方，泰勒級數將修改

166. 如下15：
泰勒均值定理：若 f 在 (a,b) 區間上連續且可微，那麼存在一個 使得下式成立：
泰勒均值定理給了我們逼近函數的一個重要線索。
接著，讓我們來看一些泰勒展開式的範例吧！這會讓我們更了解泰勒級數在函數逼近上的效果與限制。
15 泰勒展開式要能夠逼近函數 f(x)，則 f(x) 必須滿足兩個條件，這兩個條件是 f(x) 必須是連續函數，而且 f(x) 可以微分
(在任何一點上)，也就是 f(x) 必須是連續且可微分的函數。

167. 範例：請寫出 在 0 點的泰勒展開式，並畫出逼近的情況
解答：由於 ，所以 ， ，...， ，因此 在 0
點的泰勒展開式如下：
讓我們來看看前幾項的逼近狀況：
請注意當項次越多時，逼近的程度會越好。(只限於附近沒有離太遠之處)

168. 範例：請寫出 在 0 點的泰勒展開式，並畫出逼近的情況
解答：函數 cos(x) 的連續微分式如下所示：
我們可以觀察到 cos(x) 的微分式有下列規則：
由於 cos(0) = 1，sin(0) = 0，所以奇數項在 x=0 點時會消失，只留下偶數項，所以得到泰勒展開式如下：

169. 以下是泰勒展開式前幾項的逼近情況，我們可以看到項次越多圖形就越像：

170. 如果我們用泰勒均值定理取到第 20 項，那麼可得下列算式：
由於 ，所以如果我們取到第 20 項的剩餘項 ，此剩餘
項在 x<6 時都很小，幾乎可以忽略也不會影響線型。(但是當 x>7 時會開始暴增，此時就無法忽略不
計了)

171. 範例：請寫出 在 x=1 時的泰勒展開式，並畫出逼近的情況
解答：ln(x) 的連續微分式如下：
所以 ln(x) 在 x=1 的連續導數為：
根據泰勒均值定理我們可以寫出下列逼近式

172. 下圖是分別取 2, 4, 10, 50 項逼近式的結果：

173. 4.3. 尤拉數 e – 微積分的單位元素
尤拉數 e 是數學中，與圓周率幾乎同樣重要的一個數字，然而、尤拉數卻並沒有像圓周率這樣清楚的
直覺意義，而且其用途與表現非常多樣化，這使得一般學生無法掌握到尤拉數的意義，本文將列出尤
拉數 e 的幾種不同表示法，並說明其這些表示法之間的關係，以使讀者了解尤拉數 e 的數學價值。
4.3.1. 尤拉數 e 的性質
尤拉數 e 是一個很難掌握的數字，但卻應用很廣，其表現出來的形式大致有以下幾種：
尤拉數 公式 說明
定義 尤拉數是一種逼近值
特性 1/x 從 1 到 e 的積分為 1

174. 泰勒級數 尤拉數的泰勒級數非常簡單
微分 尤拉函數是微分運算的單位元素
積分 尤拉函數是積分運算的單位元素
4.3.2. 尤拉函數 – 微積分的單位元素
定理：
說明：
尤拉函數 是微分運算的單位元素，也就是該函素的微分就是他本身。(這種特性有點像線性代數當
中的特徵值 )

175. 證明：
根據上表中尤拉數的定義 ，只要將 n 改寫為 ，就可以得到下列代換式
接著將兩邊都取 次方的極限運算，得到
稍微移項調整一下，得到下列算式

176. 因此
證明完畢，我們證明了 ，也就是尤拉函數是微分的單位運算。

177. 由於尤拉函數 是微分的單位運算，所以 不管微分多少次，結果都是 ，如下所示。
所以 的泰勒級數雖然有無窮多項，但卻非常簡單，以下是 的泰勒展開式。
所以如果要用無窮級數表示 e，那只要用 x=1 代入上式就可以得到下列結果。

178. 4.3.3. 尤拉複函數 –e 與三角函數的關連
傅立葉級數其實就是一種泰勒級數，是尤拉數 e 的虛數次方 的泰勒級數，天啊! 又有 e 又有虛數
i，怎麼這麼抽象 !
姑且不論 的抽象程度，先讓我們來看看 進行連續微分後的結果。

179. (Equation 4.1)
您可以發現 連續微分的結果，基本上是重複著 這樣的循環，這個
觀察如果對應到複數的極座標表示法，您就可以發現原來虛數 的效果是為了讓微分運算陷入循環，
就好像繞圈圈一般的繞個不停。
每當我們微分一次，由於多出了一個 i 的乘數，於是在極座標上就表現為旋轉 90 度 ( )的效果，
於是微分運算對函數而言其實與旋轉運算掛上了勾，而旋轉運算不就是要用三角函數的 sin 與 cos 來
描述的那種東西嗎？

180. 於是 與 之間就發生了某種連結關係，其中的關係竟然是透過 sin 與 cos 達成的旋轉效果，這就
是數學厲害的地方了，實數成立後就想辦法證明看看虛數可不可以用，深入探討之後就會發現 竟
16
然可以表達為三角函數中的 sin(x), cos(x) 的組合，這真是一個神奇的定理 。
尤拉公式 (Euler's Formula)
證明：(尤拉公式 )
16 虛數是在極座標當中是很有意思的，實數 1 就好像一個人，而虛數 i 就好像是他的幽靈一般，一但 1 認識了 i，就好像
一個人通靈了之後可以自由穿梭在陰陽兩界一樣，但是大部分的時候這個人是有一部分在陰間一部分在陽間
，條件是陰間與陽間的兩部分的總面積 (平方和) 永遠都為 1
，這也很合理，因為通靈的人不是活在真實的世界，而是一個沒有質量的世界，所以
只有面積沒有體積，你所看到的一切都是表象而已。

181. 若我們對函數 取泰勒展開式，則將會得到下列函數：
天啊、所有的 與 的符號通通都不見了，只剩奇數次方中的負號與 i 還存在，好簡潔的公
式。
更神奇的是、若我們將 sin(x) 與 cos(x) 的泰勒級數寫出來，就會發現下列泰勒展開式：
如果您認真檢查以上三個算式，並且仔細比較，就會發現以下公式被證明完畢了。

182. 這樣的結果令人驚訝的原因是，原本不相關的東西竟然透過泰勒級數連結起來了，數學果真厲害。
4.4. 傅立葉級數–以三角函數逼近 f(x)
假設我們希望用三角函數 sin(nx) 與 cos(nx) 逼近一個函數 f(x)，我們可以仿照先前在推導多項式的泰
勒級數時的做法，先將 f(x) 寫成如下的算式：
(Equation 4.2)
由於 這個定理，我們可將各種週期的三角函數 cos(nx) 與 sin(n x) 轉
為自然指數如下：

183. 因此、若我們允許系數 包含虛數，則我們可將 f(x) 寫成如下的自然指數 (其實本質上還是 cos(n
x) 與 sin(n x) 的組合，只是用 將兩者合體，這樣寫起來就更短了)。
(Equation 4.3)
(Equation 4.3) 被稱為傅立葉級數，其實就是將函數分解為三角函數 sin 與 cos 總合的一種函數逼近法
(如 (Equation 4.2) 所示)。
其中 與 的關係如下：

184. 到目前為止，我們已經將傅立葉轉換之所以可以用來逼近函數的數學公式說明清楚了，傅立葉轉換就
是用來逼近 f(x) 函數的 sin(nx), cos(nx) 項的係數，因此、只要算出這些係數，就可以重新組合出
f(x)。
那麼，傅立葉級數的系數 到底是甚麼東西呢？這個說來話又長了，且讓我們先賣個關子，讓我們
將這個主題移到下一章討論傅立葉轉換的部分再來解說。

185. 第5章 積分與函數轉換
5.1. 傅立葉轉換 (Fourier Transform)
延續前一章的主題，且讓我們先回顧一下傅立葉級數，然後在讓我們再進一步探討傅立葉轉換，這個
轉換可以用來計算出傅立葉級數的係數。
5.1.1. 傅立葉級數與轉換
回顧一下上一章有關傅立葉級數的定義方法，乃是用三角函數 sin(nx) 與 cos(nx) 逼近一個函數 f(x)，
然後三角函數又可以透過虛數 i 掛勾到 上頭 ( )，於是我們可以
將傅立葉級數連寫成下列形式。

186. (Equation 5.1)
先讓我們看看上式的最後一個總合，也就是 這一部分，不知您是否覺得這部份有點像
是在做積分，而且是以 為單位的黎曼積分，下圖是來自維基百科的黎曼積分示意圖。

187. 如果我們真的將 改成積分，那麼我們將得到 ，此時 n 不再是一個
整數，而是實數了，所以我們將 改寫為實函數 F(n)，於是就得到了 這個
積分式。如果我們再將 n 的範圍從正數延伸到整個實數空間 (包含負數)，那就可以再度將積分式改寫
為 ，這個積分是被稱為逆向傅立葉轉換 (或稱傅立葉反轉換)，因為他將函數
f(x) 轉換到其傅立葉對偶函數 F(n) 上。
如果我們將這個算式套回 (Equation 5.1)，則我們可以在整個算式的結尾再補上一筆。

188. (Equation 5.2)
如果我們將上式中的 再度轉換回 cos(x) 與 sin(x) 的組合，那麼我們就可以得到下列結果。

189. (Equation 5.3)
其中的 C 乃是規一化常數，用來讓 F(n) 與 f(x) 之間在正逆轉換之後不會被放大，而是回到原函數的
一個平衡系數，在傅立葉逆轉換當中，這個平衡系數通常取為 。
以下是傅立葉轉換的整理表格。

190. 正轉換 反轉換 (逆向轉換)
傅立葉轉換 ?
實部 ?
虛部 ?
接下來我們就得問一個問題了，既然反轉換已經有了，那麼正轉換到底是甚麼呢？
答案與反轉換很像，只是 f(x) 與 F(n) 身分對換 (f 變 F, x 變 n)，而反轉換中的 inx 在正轉換中變成了
-inx，答案如下表所示。
正轉換 反轉換 (逆向轉換)

191. 傅立葉轉換
當然，這些轉換也都有離散版本的，兩者的差異只是連續函數用積分 (範圍 )，而離散函
數用加總 (範圍 , )，而且將規一化系數改為 而已，並不會太難記住，讓我們將各
個轉換的離散版整理成下列表格。
正轉換 反轉換 (逆向轉換)
離散傅立
葉轉換
雖然以上的推論看起來都很合理，但是並非嚴格的數學證明，真正的數學證明必須像微積分基本定理
那樣，證明 f(x) 經正轉換成 F(n) 之後，再用逆轉換時就會回到原函數 f(x)，這樣才能證明兩者互為反

192. 運算。
5.1.2. 傅立葉轉換的直覺意義
但是即使證明了兩者互為反運算，那又如何，這些轉換具有甚麼意義呢？可以怎麼用呢？我想這是學
工程的人最重要的問題了。就讓我們嘗試用圖解法來說明這些轉換的直覺意義吧！

193. 下圖顯示了這些轉換的直覺意義，圖中的每個格子都有個權重 w(n,x)，如果我們將 f(x) 根據權重散布
到行中每一格，那麼每一格的份量就是 。

194. 然後我們再根據列的權重進行加總，於是就得到了列方向的累加值 。
於是我們將代表行加總的 f(x) 函數轉換到了代表列加總的 F(n) 函數，順利的從代表「行」的領域 x
轉換到了代表「列」的領域 n 上。
同樣的，將列加總 F(n) 也是將份量散布到每一格中，然後再透過「行加總」的方式轉換回 f(x) 的領域，
只是由於 f(x) 在散布加總時沒有經過正規化，也就是權重 的總合並不是 1，所以
在進行反向運算時，就必須將該總合給除回來，於是反向運算的公式才會在前面乘上一個 的常數。
上圖是以離散的情況進行加總的計算，而積分的計算則只是將離散的世界轉換到了連續的世界，於是
w(x,y) 就不再是一個矩陣，而是一個二維的連續空間了。下圖是這種連續轉換頻譜的示意圖，您可以
看到我們用顏色來代表每一點的權重，最後的加總結果則變成了以積分呈現的頻譜轉換形式。

196. 以下圖形代表以傅立葉級數進行逼近時頻率為 0, 1, 2, ...,n, 之情況 ：

197. 以下圖形代表利用 sin(nx) 的波形去組合出函數 f(x) 的一個情況，其中：
紅色線代表
黃色線代表
綠色線代表
藍色線代表

198. 紫色線代表
根據這種方法、前面的項數加得越多，逼近的程度就越高、越精確。
而 sin(nx) , cos(nx) 的特性，就是在 n 愈小時越平滑，這些平滑的函數可以用來表示圖形中變化較小的
部份，當 n 越大時，變化越快且頻率越高，因此、 n 大的部分代表了影像快速的細微變化，這些細微
變化常是人眼的視覺所自動忽略的，因此、可以將高頻的部分省掉，留下低頻的部份，影像看起來仍
然會非常接近原 來的影像，這就是電腦進行影像壓縮所用的方法。
傅立葉轉換是將時域中的一個函數 f(t) 轉換到頻域中的一個函數 上，方法如同前述的想法，
利用 做為中介以進行分散與加總的動作，以完成時域與頻域之間函數的轉換動作。
在圖形上，傅立葉正轉換是一個在 t 軸上積分的方式，而逆轉換則沿著 軸上的積分方式，是多變
數或向量積分的一個案例。(但是 軸是複數，又可以分解成 cos 與 sin 兩個分量)

200. 5.1.3. 傅立葉轉換的幾種不同寫法
在很多書籍或文章中，您會看到不同的傅立葉轉換寫法，其中最大的不同在於歸一化系數有所差異，
以下我們列出其中幾個常見的版本，以便讓讀者在看到這些不同寫法時，不至於感到迷惑。
由於歸一化系數只要讓 F 與 f 正逆轉換後回到原函數，也就是正轉換 F = FT(f) 之後再用逆轉換
f=iFT(F) 可以回到原本的 f，因此我們可以將歸一化系數只放在逆轉換當中，形成不對稱型的正逆轉換
配對。也可以將歸一化系數平均分配到正逆轉換中，形成對稱型的正逆轉換配對。以下是連續傅立葉
轉換的三種常見形式。
連續傅立葉轉換
正轉換 F = FT(f) 反轉換 (逆向轉換) f = iFT(F)
不對稱型
對稱型

201. 超對稱型
連續傅立葉轉換中，由於採用積分形式，對應到 cos(x) 與 sin(x) 的圓周運動，如果直接使用 ，
那麼當 x 從 0 到 的過程中，才會完成一圈的圓周運動。此時逆向轉換的歸一化系數必須使用
，才能將正轉換的結果歸一。但是如果採用超對稱型的寫法，將 直接寫入 當中，
那麼就不需要在反轉換時進行任何調整，這種形式顯得非常的對稱，因此筆者將之稱為超對稱型。
在離散傅立葉轉換當中，通常採用類似連續的超對稱型之方法，直接將 納入到 中，這樣
看來應該不需要在反轉換中加入歸一化系數，但是由於離散型的方法就像是黎曼積分時每一步長度都
是 1，因此總共累加了 N 個 1，所以在反轉換的時候就必須將其除回來，因此規一化系數為 ，如下
表所示。

202. 正轉換 F = FT(f) 反轉換 (逆向轉換) f = iFT(F)
不對稱型
對稱型
5.1.4. 轉換
您注意到了嗎？我們用三角函數的「微分」導出了「傅立葉級數」，然後再用「傅立葉積分」算出
「傅立葉級數」中的系數。
從「微分與積分」互為反運算的想法上，我們可以猜測一件事情，那就是「傅立葉級數」與「傅立葉
積分」之間也可以互相轉換，就像以下微積分基本定理當中所表現的「微分後在積分」與「積分後再
微分」都會回到原本函數一樣。

203. 積分後微分 傅立葉反轉換
以上的兩個算式可以寫成更簡單的形式如下，代表微分與積分互為反運算：
那麼，我們可以找出傅立葉轉換的反向轉換，將 F(t) 轉回 f(x) 嗎？答案當然是可以的，讓我們將傅立
葉正轉換與反轉換同時列出來對照。
傅立葉正轉換 傅立葉反轉換
與積分微分相類似，如果我們進行正向轉換後再進行逆向轉換，或者反過來做，都會得到原函數。