若函數 f  z  在封閉迴路 C 中是解析的(Analytical)， 而 z0 是在封閉迴路 C 中的一點

試以一個半徑為  的小圓圈 把點 z0 圍起來 稱為 C 如圖所示 再把封閉迴路

C 的圓縮小 以證明 Cauchy 積分公式(Cauchy integral formula) 即

f  z
 zz dz  i 2 f  z0  。
C 0

[解]

若函數 f  z  在封閉迴路 C 中是解析的(Analytical)， 而 z0 是在封閉迴路 C 中的

一點 如圖所示 如果我們用一個半徑為  的小圓圈 把點 z0 圍起來 稱為 C

f z
則函數 在 C 和 C 之間的區域也會是解析的，。由 Cauchy 理論可以知道， 因為
z  z0

f z
函數 是解析的 所以沿著任何一個包圍點 z0 的封閉迴路積分結果都是相同
z  z0

f z f z
的 也就是如果函數 是解析的(Analytical) 則函數 的路徑積分(Path
z  z0 z  z0

integral)結果和積分的路徑無關 即

f z f z
 z  z dz   z  z dz 。
C 0 0
C

我們可以 z  z0   ei 來描述 C ， 其中 0    2 ， 則 dz  i ei d 且  ei  z  z0 ， 所

Mathematical Methods in Physics by Fletcher, p418-1

 f  z f  z 2 f  z0   ei 
 zz
C 0
dz   zz 0
dz  
0  ei
i ei d
C

2
  f z
0
0   ei  id 。

如果令半徑  趨近於零 即  0 則可以把圍繞點 z0 的封閉迴路 C 的圓縮

小 所以

f  z f z 2

 z  z dz   z  z dz   f  z
C 0 0 0
0   ei  id
C

2

 0  f  z  id
0
0

 i 2 f  z0 

f  z
則， ， ， ， ， ， ， ，  zz dz  i 2 f  z0  。
C 0

得證 Cauchy 積分公式。

， ， ， ， 或者 我們也可以用另一種方式來描述或理解 Cauchy 理論 如果函數

f z
F z  在封閉迴路 C 內(Within)及封閉迴路 C 上(On)是解析的， 即 z0 不在封閉
z  z0

迴路 C 內， 也不在封閉迴路 C 上， 所以在封閉迴路 C 內及封閉迴路 C 上， 是沒有

極點的 如圖所示

Mathematical Methods in Physics by Fletcher, p418-2

路徑 C 所包圍的殘值也為零， 則函數 F  z  在封閉迴路 C 內任意的路徑積分， 只要

沒有圍住極點 z0 如圖所示之路徑 C 結果為零 即

 F  z dz  0 。
C

Mathematical Methods in Physics by Fletcher, p418-3