定理及其先備知識
每個非常數多項式 p ∈ C [ z ] p\in\mathbb C[z] p ∈ C [ z ] 都有複根;因此每個 n n n 次複系數多項式都是 n n n 個線性因式的乘積,按重數計數。以下通過古薩定理、柯西估計及劉維爾定理證明該結論,並明確所用的先備知識。
全純是指在開集每一點複可微;整函數是指在整個 C \mathbb C C 上全純。以下明確使用的初等基礎是實一元積分及鏈式法則、多項式的連續性和求導、複數模的運算法則,以及歐氏平面的緊緻性(包括遞縮緊三角形、一致連續性和緊覆蓋的勒貝格數)。這些實分析及拓撲基礎是明確的先備知識。沒有預先使用複多項式根定理、最大模定理、解析冪級數表示、恆等定理、留數定理或輻角原理。
複可微推出連續,因為 u ( z + h ) − u ( z ) = h [ ( u ( z + h ) − u ( z ) ) / h ] → 0 u(z+h)-u(z)=h[(u(z+h)-u(z))/h]\to0 u ( z + h ) − u ( z ) = h [( u ( z + h ) − u ( z )) / h ] → 0 。展開乘積差商得到 ( u v ) ′ = u ′ v + u v ′ (uv)'=u'v+uv' ( uv ) ′ = u ′ v + u v ′ 。在 v ( z ) ≠ 0 v(z)\ne0 v ( z ) = 0 處,
1 / v ( z + h ) − 1 / v ( z ) h = − v ( z + h ) − v ( z ) h v ( z + h ) v ( z ) ⟶ − v ′ ( z ) v ( z ) 2 . \frac{1/v(z+h)-1/v(z)}h=-\frac{v(z+h)-v(z)}{h\,v(z+h)v(z)}\longrightarrow-\frac{v'(z)}{v(z)^2}. h 1/ v ( z + h ) − 1/ v ( z ) = − h v ( z + h ) v ( z ) v ( z + h ) − v ( z ) ⟶ − v ( z ) 2 v ′ ( z ) .
因此全純函數的乘積和分母非零的商仍全純。特別地,f ( z ) / ( z − a ) f(z)/(z-a) f ( z ) / ( z − a ) 在 a a a 之外全純,無根多項式的倒數是整函數。這些事實來自差商,不依賴多項式根定理或正則性定理。
1. 積分記錄路徑及其方向
分段 C 1 C^1 C 1 曲線是連續映射 γ : [ a , b ] → C \gamma:[a,b]\to\mathbb C γ : [ a , b ] → C ,它在有限個子區間上連續可微,連接點有單側導數。若 γ ( a ) = γ ( b ) \gamma(a)=\gamma(b) γ ( a ) = γ ( b ) ,曲線是閉合的。其長度為 ℓ ( γ ) = ∫ a b ∣ γ ′ ( t ) ∣ d t \ell(\gamma)=\int_a^b|\gamma'(t)|\,dt ℓ ( γ ) = ∫ a b ∣ γ ′ ( t ) ∣ d t 。連續函數 f f f 沿該曲線的圍道積分 為
∫ γ f ( z ) d z = ∫ a b f ( γ ( t ) ) γ ′ ( t ) d t , \int_\gamma f(z)\,dz=\int_a^b f(\gamma(t))\gamma'(t)\,dt, ∫ γ f ( z ) d z = ∫ a b f ( γ ( t )) γ ′ ( t ) d t ,
實部和虛部分別積分。微分 d z dz d z 包含運動方向;若改為 ∣ d z ∣ |dz| ∣ d z ∣ ,定義的是另一種積分。
保持端點的分段 C 1 C^1 C 1 遞增參數變換由換元法保持積分不變;反向使積分變號;連接兩條相容曲線時積分相加。這些結論也允許速度為零的曲線段,不要求曲線為單射。
估計引理。 若曲線上 ∣ f ∣ ≤ M |f|\le M ∣ f ∣ ≤ M ,則
∣ ∫ γ f ( z ) d z ∣ ≤ M ℓ ( γ ) . \left|\int_\gamma f(z)\,dz\right|\le M\ell(\gamma). ∫ γ f ( z ) d z ≤ M ℓ ( γ ) .
因為實參數積分的模不超過模的積分,且 ∣ f ( γ ) γ ′ ∣ ≤ M ∣ γ ′ ∣ |f(\gamma)\gamma'|\le M|\gamma'| ∣ f ( γ ) γ ′ ∣ ≤ M ∣ γ ′ ∣ 。這個簡單不等式是證明輔助弧在極限中貢獻為零的主要工具。
例。 對正向圓周 z = a + r e i t z=a+re^{it} z = a + r e i t ,其中 0 ≤ t ≤ 2 π 0\le t\le2\pi 0 ≤ t ≤ 2 π 、r > 0 r>0 r > 0 ,
∫ γ ( z − a ) n d z = { 2 π i , n = − 1 , 0 , n ∈ Z , n ≠ − 1. \int_\gamma(z-a)^n\,dz=\begin{cases}2\pi i,&n=-1,\\0,&n\in\mathbb Z,\ n\ne-1.\end{cases} ∫ γ ( z − a ) n d z = { 2 π i , 0 , n = − 1 , n ∈ Z , n = − 1.
當 n = − 1 n=-1 n = − 1 ,被積函數乘以 d z dz d z 為 i d t i\,dt i d t ;否則為 i r n + 1 e i ( n + 1 ) t d t ir^{n+1}e^{i(n+1)t}\,dt i r n + 1 e i ( n + 1 ) t d t ,積分為零。n = − 1 n=-1 n = − 1 的結果與半徑無關,但反向時變號。
2. 原函數將路徑積分化為端點之差
開集 U U U 上 f f f 的原函數 是該處滿足 F ′ = f F'=f F ′ = f 的全純函數 F F F 。對每個光滑段使用實鏈式法則可得
∫ γ f ( z ) d z = F ( γ ( b ) ) − F ( γ ( a ) ) \int_\gamma f(z)\,dz=F(\gamma(b))-F(\gamma(a)) ∫ γ f ( z ) d z = F ( γ ( b )) − F ( γ ( a ))
對 U U U 內每條圍道成立。因此有原函數的函數沿 U U U 內任何閉圍道的積分為零。
反過來,在區域 U U U 上,假設連續函數 f f f 沿每條閉圍道積分為零。平面的開連通集是折線路徑連通的。固定 a ∈ U a\in U a ∈ U ,定義 F ( z ) F(z) F ( z ) 為沿 U U U 內任意一條從 a a a 到 z z z 的折線路徑對 f f f 的積分。閉路徑積分抵消保證結果與路徑無關。對充分小的 h h h ,從 z z z 到 z + h z+h z + h 的末端線段仍在 U U U 內,且
F ( z + h ) − F ( z ) h = ∫ 0 1 f ( z + t h ) d t ⟶ f ( z ) \frac{F(z+h)-F(z)}h=\int_0^1 f(z+th)\,dt\longrightarrow f(z) h F ( z + h ) − F ( z ) = ∫ 0 1 f ( z + t h ) d t ⟶ f ( z )
由連續性成立。因此 F ′ = f F'=f F ′ = f 。只假設所有閉折線路徑的積分為零也可採用同樣構造;得到原函數後便可處理所有圍道。
3. 古薩三角形論證:不假設導數連續
定理。 若 f f f 在包含閉三角形 T T T 的開集上全純,則沿 T T T 正向邊界的積分為零。
證明。 連接邊中點將 T T T 分為四個三角形。內部邊的積分抵消,所以外邊界積分 I I I 等於四個子三角形積分之和。至少一個子三角形的積分模不小於 ∣ I ∣ / 4 |I|/4 ∣ I ∣/4 。在這樣的子三角形中重複,得到嵌套閉三角形 T n T_n T n ,其直徑為 D / 2 n D/2^n D / 2 n 、周長為 P / 2 n P/2^n P / 2 n ,並滿足
∣ I ∣ ≤ 4 n ∣ ∫ ∂ T n f d z ∣ . |I|\le4^n\left|\int_{\partial T_n}f\,dz\right|. ∣ I ∣ ≤ 4 n ∫ ∂ T n f d z .
由緊緻性及直徑趨零,存在共同點 z 0 z_0 z 0 。在 z 0 z_0 z 0 可微意味著
f ( z ) = f ( z 0 ) + f ′ ( z 0 ) ( z − z 0 ) + ( z − z 0 ) ε ( z ) , ε ( z ) → 0. f(z)=f(z_0)+f'(z_0)(z-z_0)+(z-z_0)\varepsilon(z),\qquad\varepsilon(z)\to0. f ( z ) = f ( z 0 ) + f ′ ( z 0 ) ( z − z 0 ) + ( z − z 0 ) ε ( z ) , ε ( z ) → 0.
常數項和線性項都有原函數,故沿三角形邊界積分為零。對任意 η > 0 \eta>0 η > 0 ,當 n n n 充分大時,整個 T n T_n T n 上 ∣ ε ∣ ≤ η |\varepsilon|\le\eta ∣ ε ∣ ≤ η 。由於 z 0 ∈ T n z_0\in T_n z 0 ∈ T n ,估計引理給出
∣ ∫ ∂ T n f d z ∣ ≤ η ( D / 2 n ) ( P / 2 n ) . \left|\int_{\partial T_n}f\,dz\right|\le\eta(D/2^n)(P/2^n). ∫ ∂ T n f d z ≤ η ( D / 2 n ) ( P / 2 n ) .
因此 ∣ I ∣ ≤ η D P |I|\le\eta DP ∣ I ∣ ≤ η D P 。由 η \eta η 的任意性,I = 0 I=0 I = 0 。這裡沒有使用 f ′ f' f ′ 的連續性。∎
推論:每個圓盤上有原函數。 若 f f f 在圓盤 D D D 上全純,固定圓心 a a a ,令 F ( z ) = ∫ [ a , z ] f F(z)=\int_{[a,z]}f F ( z ) = ∫ [ a , z ] f 。當 z , z + h ∈ D z,z+h\in D z , z + h ∈ D 且充分接近時,以 a , z , z + h a,z,z+h a , z , z + h 為頂點的三角形位於 D D D 中。三角形定理給出 F ( z + h ) − F ( z ) = ∫ [ z , z + h ] f F(z+h)-F(z)=\int_{[z,z+h]}f F ( z + h ) − F ( z ) = ∫ [ z , z + h ] f ;第 2 節的極限計算得到 F ′ = f F'=f F ′ = f 。因此圓盤內所有閉圍道積分均為零。同樣論證適用於任何開凸集。
4. 同倫與“無孔”的含義
路徑 γ 0 , γ 1 \gamma_0,\gamma_1 γ 0 , γ 1 之間的固定端點同倫是連續映射 H : [ 0 , 1 ] 2 → U H:[0,1]^2\to U H : [ 0 , 1 ] 2 → U ,滿足 H ( s , 0 ) = γ 0 ( s ) H(s,0)=\gamma_0(s) H ( s , 0 ) = γ 0 ( s ) 、H ( s , 1 ) = γ 1 ( s ) H(s,1)=\gamma_1(s) H ( s , 1 ) = γ 1 ( s ) ,且 H ( 0 , t ) , H ( 1 , t ) H(0,t),H(1,t) H ( 0 , t ) , H ( 1 , t ) 不隨 t t t 改變。它在不離開 U U U 的情況下將一條路徑變形為另一條。若每條閉路徑都可通過這樣的同倫收縮到其基點,則區域是單連通 的。
同倫不變性。 若 f f f 在 U U U 上全純,而 U U U 內兩條分段 C 1 C^1 C 1 路徑在其中固定端點同倫,則其積分相等。
僅用局部原函數的證明。 H H H 的緊緻像可由有限個 f f f 有原函數的圓盤覆蓋。由勒貝格數性質和一致連續性,將參數正方形細分為矩形網格,使每個閉網格的像都落在某個這樣的圓盤中。用線段連接相鄰網格頂點的像;由於圓盤是凸的,每個網格的這些線段都位於其圓盤內。由原函數知其多邊形邊界積分為零。對所有網格求和,內部線段與其反向線段抵消。在底邊和頂邊,每段原路徑與替代線段位於同一圓盤且有相同端點,故由局部原函數它們的積分相等。端點固定,側邊線段的貢獻為零。剩下的是底邊積分減頂邊積分。這證明了結論,即使同倫的中間路徑不可微也成立。∎
圓周變形所用的開集
在柯西證明中,令 U U U 為原來包含 D ( c , R ) ‾ \overline{D(c,R)} D ( c , R ) 的開全純鄰域,d = ∣ a − c ∣ < R d=|a-c|<R d = ∣ a − c ∣ < R 。取 0 < ε < R − d 0<\varepsilon<R-d 0 < ε < R − d 。g ( z ) = f ( z ) / ( z − a ) g(z)=f(z)/(z-a) g ( z ) = f ( z ) / ( z − a ) 所用的正確全純集是 U ∖ { a } U\setminus\{a\} U ∖ { a } ,其中包含外圓;單獨的開圓盤 D ( c , R ) ∖ { a } D(c,R)\setminus\{a\} D ( c , R ) ∖ { a } 不包含外圓。該開集包含邊界圓周;下面的不等式證明變形始終留在這個開集內。
令 c t = ( 1 − t ) c + t a c_t=(1-t)c+ta c t = ( 1 − t ) c + t a 、r t = ( 1 − t ) R + t ε r_t=(1-t)R+t\varepsilon r t = ( 1 − t ) R + tε ,以及 H ( s , t ) = c t + r t e 2 π i s H(s,t)=c_t+r_te^{2\pi i s} H ( s , t ) = c t + r t e 2 π i s 。對 0 ≤ s , t ≤ 1 0\le s,t\le1 0 ≤ s , t ≤ 1 ,
∣ H ( s , t ) − c ∣ ≤ R − t ( R − d − ε ) ≤ R , |H(s,t)-c|\le R-t(R-d-\varepsilon)\le R, ∣ H ( s , t ) − c ∣ ≤ R − t ( R − d − ε ) ≤ R ,
∣ H ( s , t ) − a ∣ ≥ r t − ∣ c t − a ∣ = ( 1 − t ) ( R − d ) + t ε > 0. |H(s,t)-a|\ge r_t-|c_t-a|=(1-t)(R-d)+t\varepsilon>0. ∣ H ( s , t ) − a ∣ ≥ r t − ∣ c t − a ∣ = ( 1 − t ) ( R − d ) + tε > 0.
因此整個緊緻同倫像都在 U ∖ { a } U\setminus\{a\} U ∖ { a } 內。網格/局部原函數證明也適用於閉路的這個自由同倫:H ( 0 , t ) = H ( 1 , t ) H(0,t)=H(1,t) H ( 0 , t ) = H ( 1 , t ) ,所以兩條折線側邊軌跡相同、邊界方向相反,互相抵消,不必為常數。頂邊及底邊圓周為分段 C 1 C^1 C 1 ,不需要中間同倫可微。這補全了下文所用的定義域及移動基點步驟。
1. 邊界積分確定內部值
對 c ∈ C c\in\mathbb C c ∈ C 、R > 0 R>0 R > 0 ,令圓周 C : ∣ z − c ∣ = R C:|z-c|=R C : ∣ z − c ∣ = R 取逆時針方向。假設 f f f 在閉圓盤 D ( c , R ) ‾ \overline{D(c,R)} D ( c , R ) 的開鄰域上全純。對每個滿足 ∣ a − c ∣ < R |a-c|<R ∣ a − c ∣ < R 的 a a a ,
f ( a ) = 1 2 π i ∫ C f ( z ) z − a d z . f(a)=\frac1{2\pi i}\int_C\frac{f(z)}{z-a}\,dz. f ( a ) = 2 π i 1 ∫ C z − a f ( z ) d z .
分母在 C C C 上不為零。該公式給出內部點的值,並不適用於外部點或圍道上的點。
證明。 取 ε > 0 \varepsilon>0 ε > 0 使 ∣ a − c ∣ + ε < R |a-c|+\varepsilon<R ∣ a − c ∣ + ε < R 。用圓心 ( 1 − t ) c + t a (1-t)c+ta ( 1 − t ) c + t a 、半徑 ( 1 − t ) R + t ε (1-t)R+t\varepsilon ( 1 − t ) R + tε ,將外圓變形為小圓 C ε : ∣ z − a ∣ = ε C_\varepsilon:|z-a|=\varepsilon C ε : ∣ z − a ∣ = ε 而不經過 a a a 。每個移動的圓都圍住 a a a 並留在原圓盤內。對去心圓盤上的 f ( z ) / ( z − a ) f(z)/(z-a) f ( z ) / ( z − a ) 使用 C02 的網格/局部原函數證明。雖然移動基點不固定,兩條側邊軌跡相同並互相抵消,因此閉路積分不變。故
∫ C f ( z ) z − a d z = ∫ C ε f ( z ) z − a d z = 2 π i f ( a ) + ∫ C ε f ( z ) − f ( a ) z − a d z . \int_C\frac{f(z)}{z-a}\,dz=\int_{C_\varepsilon}\frac{f(z)}{z-a}\,dz
=2\pi if(a)+\int_{C_\varepsilon}\frac{f(z)-f(a)}{z-a}\,dz. ∫ C z − a f ( z ) d z = ∫ C ε z − a f ( z ) d z = 2 π i f ( a ) + ∫ C ε z − a f ( z ) − f ( a ) d z .
最後一項的模至多為 2 π sup ∣ z − a ∣ = ε ∣ f ( z ) − f ( a ) ∣ 2\pi\sup_{|z-a|=\varepsilon}|f(z)-f(a)| 2 π sup ∣ z − a ∣ = ε ∣ f ( z ) − f ( a ) ∣ ,由 f f f 在 a a a 的連續性,該上界趨於零,證明公式。∎
這個證明沒有預先假設 ( f ( z ) − f ( a ) ) / ( z − a ) (f(z)-f(a))/(z-a) ( f ( z ) − f ( a )) / ( z − a ) 在 a a a 有全純延拓;該性質是下面所得正則性的結果。
帶一致界的一階導數
劉維爾定理只需一階柯西導數估計。對固定圓周 C C C 內部的點 a a a ,令 δ = min z ∈ C ∣ z − a ∣ > 0 \delta=\min_{z\in C}|z-a|>0 δ = min z ∈ C ∣ z − a ∣ > 0 。當 0 < ∣ h ∣ < δ / 2 0<|h|<\delta/2 0 < ∣ h ∣ < δ /2 ,將兩個柯西公式相減得到差商核
1 h ( 1 z − a − h − 1 z − a ) = 1 ( z − a − h ) ( z − a ) . \frac1h\left(\frac1{z-a-h}-\frac1{z-a}\right)=\frac1{(z-a-h)(z-a)}. h 1 ( z − a − h 1 − z − a 1 ) = ( z − a − h ) ( z − a ) 1 .
它與 1 / ( z − a ) 2 1/(z-a)^2 1/ ( z − a ) 2 之差為
h ( z − a − h ) ( z − a ) 2 , sup z ∈ C ∣ h ( z − a − h ) ( z − a ) 2 ∣ ≤ 2 ∣ h ∣ δ 3 . \frac{h}{(z-a-h)(z-a)^2},\qquad \sup_{z\in C}\left|\frac{h}{(z-a-h)(z-a)^2}\right|\le\frac{2|h|}{\delta^3}. ( z − a − h ) ( z − a ) 2 h , z ∈ C sup ( z − a − h ) ( z − a ) 2 h ≤ δ 3 2∣ h ∣ .
若 M = max C ∣ f ∣ M=\max_C|f| M = max C ∣ f ∣ 、L = ℓ ( C ) L=\ell(C) L = ℓ ( C ) ,估計引理給出除以 2 π i 2\pi i 2 π i 並積分後的誤差至多為 M L ∣ h ∣ / ( π δ 3 ) ML|h|/(\pi\delta^3) M L ∣ h ∣/ ( π δ 3 ) ,趨於零。因此 f ′ ( a ) = ( 2 π i ) − 1 ∫ C f ( z ) / ( z − a ) 2 d z f'(a)=(2\pi i)^{-1}\int_C f(z)/(z-a)^2\,dz f ′ ( a ) = ( 2 π i ) − 1 ∫ C f ( z ) / ( z − a ) 2 d z 。若圓心為 a a a 、半徑為 r r r ,便有 ∣ f ′ ( a ) ∣ ≤ M r / r |f'(a)|\le M_r/r ∣ f ′ ( a ) ∣ ≤ M r / r 。重複同樣論證得到下列高階公式;劉維爾定理只使用一階估計。
2. 所有高階導數及其界
對開圓盤中的 a a a ,從 a a a 到圍道的距離為正。在 a a a 附近充分小的圓盤內,核 1 / ( z − a ) 1/(z-a) 1/ ( z − a ) 的差商對 z ∈ C z\in C z ∈ C 一致收斂到 1 / ( z − a ) 2 1/(z-a)^2 1/ ( z − a ) 2 。估計引理允許將極限移入圍道積分。重複論證得到
f ( n ) ( a ) = n ! 2 π i ∫ C f ( z ) ( z − a ) n + 1 d z , n = 0 , 1 , 2 , … . f^{(n)}(a)=\frac{n!}{2\pi i}\int_C\frac{f(z)}{(z-a)^{n+1}}\,dz,\qquad n=0,1,2,\ldots. f ( n ) ( a ) = 2 π i n ! ∫ C ( z − a ) n + 1 f ( z ) d z , n = 0 , 1 , 2 , … .
核的一致收斂論證證明這些導數存在,並未假設 f f f 起初屬於 C ∞ C^\infty C ∞ 。同一公式還說明導數局部連續,因為分母一致遠離零。
在以 a a a 為圓心、半徑為 r r r 的圓周上,令 M r = max ∣ z − a ∣ = r ∣ f ( z ) ∣ M_r=\max_{|z-a|=r}|f(z)| M r = max ∣ z − a ∣ = r ∣ f ( z ) ∣ 。由長度估計得到柯西估計
∣ f ( n ) ( a ) ∣ ≤ n ! M r r n . |f^{(n)}(a)|\le\frac{n!M_r}{r^n}. ∣ f ( n ) ( a ) ∣ ≤ r n n ! M r .
所選圓盤的邊界必須有全純鄰域;不能將半徑擴大到穿過奇點。
劉維爾定理與多項式根定理
對整函數,每個半徑都可使用前面的估計。將估計用於有界整函數便得到劉維爾定理;再把劉維爾定理用於多項式的倒數便證明根的存在。
劉維爾定理。 有界整函數為常數。若 C \mathbb C C 上 ∣ f ∣ ≤ M |f|\le M ∣ f ∣ ≤ M ,對任意 a a a 和任意半徑 r r r 的圓盤使用 n = 1 n=1 n = 1 的估計:∣ f ′ ( a ) ∣ ≤ M / r |f'(a)|\le M/r ∣ f ′ ( a ) ∣ ≤ M / r 。令 r → ∞ r\to\infty r → ∞ 得 f ′ = 0 f'=0 f ′ = 0 ,故函數在連通平面上為常數。
代數基本定理。 每個非常數複系數多項式都有複根。若 p p p 無根,1 / p 1/p 1/ p 便是整函數。其最高次項表明當 ∣ z ∣ → ∞ |z|\to\infty ∣ z ∣ → ∞ 時 ∣ p ( z ) ∣ → ∞ |p(z)|\to\infty ∣ p ( z ) ∣ → ∞ ,故 1 / p 1/p 1/ p 在大圓盤之外有界;在剩餘緊緻圓盤上由連續性也有界。劉維爾定理使 1 / p 1/p 1/ p 為常數,與 p p p 的次數矛盾。反覆除以線性因式後,每個 n n n 次多項式都恰好分解為 n n n 個線性因式,按重數計數。
多項式反證中的初等細節
為寫全細節,若 F F F 在 C \mathbb C C 上滿足 F ′ = 0 F'=0 F ′ = 0 ,則它為常數:沿 γ ( t ) = a + t ( b − a ) \gamma(t)=a+t(b-a) γ ( t ) = a + t ( b − a ) ,F ( γ ( t ) ) F(\gamma(t)) F ( γ ( t )) 的實部和虛部導數均為零,實中值定理給出 F ( a ) = F ( b ) F(a)=F(b) F ( a ) = F ( b ) 。
寫 p ( z ) = a n z n + ∑ k < n a k z k p(z)=a_nz^n+\sum_{k<n}a_kz^k p ( z ) = a n z n + ∑ k < n a k z k ,其中 n ≥ 1 n\ge1 n ≥ 1 、a n ≠ 0 a_n\ne0 a n = 0 ,令 S = ∑ k < n ∣ a k ∣ S=\sum_{k<n}|a_k| S = ∑ k < n ∣ a k ∣ 。當 ∣ z ∣ ≥ R = max ( 1 , 2 S / ∣ a n ∣ ) |z|\ge R=\max(1,2S/|a_n|) ∣ z ∣ ≥ R = max ( 1 , 2 S /∣ a n ∣ ) ,
∣ p ( z ) ∣ ≥ ∣ a n ∣ ∣ z ∣ n − S ∣ z ∣ n − 1 ≥ ∣ a n ∣ 2 ∣ z ∣ n . |p(z)|\ge |a_n||z|^n-S|z|^{n-1}\ge\frac{|a_n|}{2}|z|^n. ∣ p ( z ) ∣ ≥ ∣ a n ∣∣ z ∣ n − S ∣ z ∣ n − 1 ≥ 2 ∣ a n ∣ ∣ z ∣ n .
若 p p p 無根,其倒數處處連續並且全純,因為
1 / p ( z + h ) − 1 / p ( z ) h = − p ( z + h ) − p ( z ) h p ( z + h ) p ( z ) ⟶ − p ′ ( z ) p ( z ) 2 . \frac{1/p(z+h)-1/p(z)}h=-\frac{p(z+h)-p(z)}{h\,p(z+h)p(z)}\longrightarrow-\frac{p'(z)}{p(z)^2}. h 1/ p ( z + h ) − 1/ p ( z ) = − h p ( z + h ) p ( z ) p ( z + h ) − p ( z ) ⟶ − p ( z ) 2 p ′ ( z ) .
上述增長界使 1 / p 1/p 1/ p 在半徑為 R R R 的圓盤外有界;在剩餘閉圓盤上,由緊緻性和連續性也有界。劉維爾定理使 1 / p 1/p 1/ p 成為常數;該常數非零,因此 p p p 為常數,矛盾。故存在根 α \alpha α 。
最後,由 z k − α k = ( z − α ) ∑ j = 0 k − 1 z k − 1 − j α j z^k-\alpha^k=(z-\alpha)\sum_{j=0}^{k-1}z^{k-1-j}\alpha^j z k − α k = ( z − α ) ∑ j = 0 k − 1 z k − 1 − j α j 得到 p ( z ) − p ( α ) = ( z − α ) q ( z ) p(z)-p(\alpha)=(z-\alpha)q(z) p ( z ) − p ( α ) = ( z − α ) q ( z ) ,其中 q q q 為 n − 1 n-1 n − 1 次、最高次項系數為 a n a_n a n 。若 q q q 非常數,對它使用根定理並對次數歸納。恰好除以 n n n 個線性因式後,餘下非零常數 a n a_n a n 。由次數和乘積恆等式,恰有 n n n 個線性因式,按重數計數。這也證明了有限維譜論或 Jordan 論證所需的複數域分裂結論;並未斷言任意實數域或其他基域上也分裂。