動機
本章需要直角坐標、弧度、基本三角恆等式和代數。我們在此前坐標章節的基礎上增加兩個新結構:點的極坐標描述與複數運算。你應能按正確象限轉換坐標、解釋簡單極坐標軌跡、以直角和極形式計算複數,並求簡單複數冪方程的全部根。
點、向量和複數都可用一對實數表示,但解釋並不相同。極坐標以距離與方向描述同一平面;複數運算增加了編碼縮放和旋轉的乘法。
8.1 極坐標及其非唯一性
定義
固定原點和正水平軸。一對極坐標 ( r , θ ) (r,\theta) ( r , θ ) 描述直角坐標點
x = r cos θ , y = r sin θ . x=r\cos\theta,\qquad y=r\sin\theta. x = r cos θ , y = r sin θ . 默認約定 r ≥ 0 r\ge0 r ≥ 0 ,角以弧度計。對 r > 0 r>0 r > 0 ,r r r 是到原點的距離,θ \theta θ 是從正水平軸逆時針量取的方向。同一點對每個整數 k k k 都有坐標 ( r , θ + 2 k π ) (r,\theta+2k\pi) ( r , θ + 2 kπ ) 。在 r = 0 r=0 r = 0 ,每個角都給出原點,故該點沒有唯一方向。
有些教材允許帶符號的半徑。在該約定下,
( r , θ ) and ( − r , θ + π ) (r,\theta)\quad\text{and}\quad(-r,\theta+\pi) ( r , θ ) and ( − r , θ + π ) 描述同一點。負半徑表示沿所示角的相反方向移動,不是負距離。允許帶符號半徑時我們會明確說明;否則使用 r ≥ 0 r\ge0 r ≥ 0 。
例題
例 1:極坐標轉直角坐標。 當 ( r , θ ) = ( 4 , 5 π / 6 ) (r,\theta)=(4,5\pi/6) ( r , θ ) = ( 4 , 5 π /6 ) ,
x = 4 ( − 3 / 2 ) = − 2 3 , y = 4 ( 1 / 2 ) = 2. x=4(-\sqrt3/2)=-2\sqrt3,\qquad y=4(1/2)=2. x = 4 ( − 3 /2 ) = − 2 3 , y = 4 ( 1/2 ) = 2. 該點在第二象限,距離平方為 12 + 4 = 16 12+4=16 12 + 4 = 16 ,符合要求。若允許帶符號半徑,也可表示為 ( − 4 , − π / 6 ) (-4,-\pi/6) ( − 4 , − π /6 ) 。
8.2 求角度時不要丟失象限
給定非零點 ( x , y ) (x,y) ( x , y ) ,其非負半徑為
r = x 2 + y 2 > 0. r=\sqrt{x^2+y^2}>0. r = x 2 + y 2 > 0.
角必須同時滿足 cos θ = x / r \cos\theta=x/r cos θ = x / r 與 sin θ = y / r \sin\theta=y/r sin θ = y / r 。若 x ≠ 0 x\ne0 x = 0 ,tan θ = y / x \tan\theta=y/x tan θ = y / x 是有用的中間方程,但正切以 π \pi π 為週期,不能區分相反方向。主角可選在 ( − π , π ] (-\pi,\pi] ( − π , π ] ;該約定包含 π \pi π 而不包含 − π -\pi − π 。
用 x , y x,y x , y 的符號選擇象限,再加 2 π 2\pi 2 π 的整數倍得到其他表示。若 x = 0 x=0 x = 0 、y > 0 y>0 y > 0 ,取 θ = π / 2 \theta=\pi/2 θ = π /2 ;若 x = 0 x=0 x = 0 、y < 0 y<0 y < 0 ,取 θ = − π / 2 \theta=-\pi/2 θ = − π /2 。原點半徑為零,沒有唯一角度。
例題
例 2:象限陷阱。 對 ( x , y ) = ( − 3 , − 1 ) (x,y)=(-\sqrt3,-1) ( x , y ) = ( − 3 , − 1 ) ,r = 2 r=2 r = 2 。比值 y / x = 1 / 3 y/x=1/\sqrt3 y / x = 1/ 3 給出參考角 π / 6 \pi/6 π /6 。兩個分量都為負,故點在第三象限。主角為 − 5 π / 6 -5\pi/6 − 5 π /6 ,不是 π / 6 \pi/6 π /6 。因此 ( 2 , − 5 π / 6 ) (2,-5\pi/6) ( 2 , − 5 π /6 ) 是有效的主值極坐標。僅用 arctan ( y / x ) \arctan(y/x) arctan ( y / x ) 會給出第一象限的方向。
對一般非零點,若沒有熟悉的特殊角,可用其正弦和餘弦精確給出角度。雙參數求角函數可以編碼象限,但仍需檢查其輸出區間和對 ( 0 , 0 ) (0,0) ( 0 , 0 ) 的處理。
8.3 軌跡與坐標系統轉換
恆等式
r 2 = x 2 + y 2 , r cos θ = x , r sin θ = y r^2=x^2+y^2,\qquad r\cos\theta=x,\qquad r\sin\theta=y r 2 = x 2 + y 2 , r cos θ = x , r sin θ = y
聯繫兩個系統,尤其適用於曲線方程。轉換方程要保持點集,包括可能的原點。除以 r r r 可能丟掉原點;乘以 r r r 若不檢查則可能引入原點。
對 R > 0 R>0 R > 0 ,方程 r = R r=R r = R 是圓 x 2 + y 2 = R 2 x^2+y^2=R^2 x 2 + y 2 = R 2 。當 r ≥ 0 r\ge0 r ≥ 0 ,固定方向 θ = α \theta=\alpha θ = α 是從原點出發的射線,而不是整條直線。相反射線 θ = α \theta=\alpha θ = α 與 θ = α + π \theta=\alpha+\pi θ = α + π 的並是過原點直線。若允許帶符號半徑,一個固定角配全部實半徑就描述整條直線。
例題
例 3:變半徑描述的圓。 考慮 r = 4 cos θ r=4\cos\theta r = 4 cos θ 且 r ≥ 0 r\ge0 r ≥ 0 。乘以 r r r 得
r 2 = 4 r cos θ ⟹ x 2 + y 2 = 4 x , r^2=4r\cos\theta\quad\implies\quad x^2+y^2=4x, r 2 = 4 r cos θ ⟹ x 2 + y 2 = 4 x , 即 ( x − 2 ) 2 + y 2 = 4 (x-2)^2+y^2=4 ( x − 2 ) 2 + y 2 = 4 ,這是圓心 ( 2 , 0 ) (2,0) ( 2 , 0 ) 、半徑二的圓。檢查反方向:對圓上的非零點,r > 0 r>0 r > 0 ,除以 r r r 恢復 r = 4 cos θ r=4\cos\theta r = 4 cos θ 。原點也在極坐標軌跡上,因為 θ = π / 2 \theta=\pi/2 θ = π /2 時 r = 0 r=0 r = 0 成立。因此轉換既未丟失也未增加點。在非負半徑約定下,cos θ < 0 \cos\theta<0 cos θ < 0 的角沒有該方程允許的半徑,並不是另一側的額外點。
例題
例 4:直線與不可隨意除法。 直線 x = − 2 x=-2 x = − 2 變為 r cos θ = − 2 r\cos\theta=-2 r cos θ = − 2 。解出 r r r 得 r = − 2 / cos θ r=-2/\cos\theta r = − 2/ cos θ ,但需要 cos θ ≠ 0 \cos\theta\ne0 cos θ = 0 ,並且按本章約定還需 cos θ < 0 \cos\theta<0 cos θ < 0 。直線上沒有點滿足 r = 0 r=0 r = 0 。方程出現極坐標變量並不意味著它是射線;θ \theta θ 在適當的向左方向中變化。
常見錯誤
圖像是輔助工具,不能代替定義域檢查。轉換不等式時,用來相乘的因子的符號也很重要,與一元代數一樣。
8.4 直角形式的複數運算
定義
複數 形如 z = a + b i z=a+bi z = a + bi ,其中 a , b ∈ R a,b\in\mathbb R a , b ∈ R 、i 2 = − 1 i^2=-1 i 2 = − 1 。實部和虛部分別為 Re z = a \operatorname{Re}z=a Re z = a 、Im z = b \operatorname{Im}z=b Im z = b 。虛部是實系數 b b b ,不是 b i bi bi 。複數相等意味著兩個分量分別相等。
可以嚴格地將複數定義為數對:( a , b ) + ( c , d ) = ( a + c , b + d ) (a,b)+(c,d)=(a+c,b+d) ( a , b ) + ( c , d ) = ( a + c , b + d ) ,( a , b ) ( c , d ) = ( a c − b d , a d + b c ) (a,b)(c,d)=(ac-bd,ad+bc) ( a , b ) ( c , d ) = ( a c − b d , a d + b c ) 。將 ( a , 0 ) (a,0) ( a , 0 ) 與實數 a a a 、( 0 , 1 ) (0,1) ( 0 , 1 ) 與 i i i 視為相同,即得上述規則。因此普通分配展開仍有效,只需將每個 i 2 i^2 i 2 換成 − 1 -1 − 1 :
( a + b i ) ( c + d i ) = ( a c − b d ) + ( a d + b c ) i . (a+bi)(c+di)=(ac-bd)+(ad+bc)i. ( a + bi ) ( c + d i ) = ( a c − b d ) + ( a d + b c ) i .
證明細節:複數乘法背後的代數
第 8.4 節的數對定義只使用實數運算。以下核對後續證明所需的規則,不預先假設複數分配律。寫 z = ( a , b ) z=(a,b) z = ( a , b ) 、w = ( c , d ) w=(c,d) w = ( c , d ) 、u = ( e , f ) u=(e,f) u = ( e , f ) ,六個分量均為實數。加法逐分量滿足結合律和交換律,單位元是 ( 0 , 0 ) (0,0) ( 0 , 0 ) ,( a , b ) (a,b) ( a , b ) 的加法逆元為 ( − a , − b ) (-a,-b) ( − a , − b ) 。實數等式 a c = c a ac=ca a c = c a 和 a d + b c = c b + d a ad+bc=cb+da a d + b c = c b + d a 證明乘法交換律;乘法單位元為 ( 1 , 0 ) (1,0) ( 1 , 0 ) 。
對分配律,展開數對定義:
z ( w + u ) = ( a ( c + e ) − b ( d + f ) , a ( d + f ) + b ( c + e ) ) = z w + z u . z(w+u)=(a(c+e)-b(d+f),\ a(d+f)+b(c+e))=zw+zu. z ( w + u ) = ( a ( c + e ) − b ( d + f ) , a ( d + f ) + b ( c + e )) = z w + z u .
對結合律,只用實數分配律展開,( z w ) u (zw)u ( z w ) u 與 z ( w u ) z(wu) z ( w u ) 都等於同一數對
( a c e − b d e − a d f − b c f , a c f − b d f + a d e + b c e ) . (ace-bde-adf-bcf,\ acf-bdf+ade+bce). ( a ce − b d e − a df − b c f , a c f − b df + a d e + b ce ) .
因此後續複數計算中的重新組合和分配分解都有依據。特別地,i = ( 0 , 1 ) i=(0,1) i = ( 0 , 1 ) 的平方為 ( − 1 , 0 ) (-1,0) ( − 1 , 0 ) ,而嵌入 a ↦ ( a , 0 ) a\mapsto(a,0) a ↦ ( a , 0 ) 保持實數和、積及一。
對 w = ( c , d ) ≠ ( 0 , 0 ) w=(c,d)\ne(0,0) w = ( c , d ) = ( 0 , 0 ) ,正實數 q = c 2 + d 2 q=c^2+d^2 q = c 2 + d 2 給出
( c , d ) ( c q , − d q ) = ( c 2 + d 2 q , − c d + d c q ) = ( 1 , 0 ) . (c,d)\left(\frac c q,-\frac d q\right)
=\left(\frac{c^2+d^2}{q},\frac{-cd+dc}{q}\right)=(1,0). ( c , d ) ( q c , − q d ) = ( q c 2 + d 2 , q − c d + d c ) = ( 1 , 0 ) .
由交換律,另一順序的乘積也為一。這先證明了逆元;再定義除法 z / w = z w − 1 z/w=zw^{-1} z / w = z w − 1 ,便得第 8.5 節的商公式。若 z w = 0 zw=0 z w = 0 且 z ≠ 0 z\ne0 z = 0 ,結合律給出 w = ( z − 1 z ) w = z − 1 ( z w ) = 0 w=(z^{-1}z)w=z^{-1}(zw)=0 w = ( z − 1 z ) w = z − 1 ( z w ) = 0 ,證明二次式分解使用的零乘積性質。這不是從實數直接移用的假設。
對 z = a + b i z=a+bi z = a + bi 、w = c + d i w=c+di w = c + d i ,同一乘法公式給出
z w ‾ = ( a c − b d ) − ( a d + b c ) i = ( a − b i ) ( c − d i ) = z ˉ w ˉ , z + w ‾ = ( a + c ) − ( b + d ) i = z ˉ + w ˉ . \overline{zw}=(ac-bd)-(ad+bc)i=(a-bi)(c-di)=\bar z\bar w,
\qquad
\overline{z+w}=(a+c)-(b+d)i=\bar z+\bar w. z w = ( a c − b d ) − ( a d + b c ) i = ( a − bi ) ( c − d i ) = z ˉ w ˉ , z + w = ( a + c ) − ( b + d ) i = z ˉ + w ˉ .
最後,對兩個三角數對應用該公式,得到
( cos α + i sin α ) ( cos β + i sin β ) = ( cos α cos β − sin α sin β ) + i ( cos α sin β + sin α cos β ) = cos ( α + β ) + i sin ( α + β ) . \begin{aligned}
(\cos\alpha+i\sin\alpha)(\cos\beta+i\sin\beta)
&=(\cos\alpha\cos\beta-\sin\alpha\sin\beta)\\
&\quad+i(\cos\alpha\sin\beta+\sin\alpha\cos\beta)\\
&=\cos(\alpha+\beta)+i\sin(\alpha+\beta).
\end{aligned} ( cos α + i sin α ) ( cos β + i sin β ) = ( cos α cos β − sin α sin β ) + i ( cos α sin β + sin α cos β ) = cos ( α + β ) + i sin ( α + β ) .
最後一個等號使用實數兩角和公式。它給出第 8.6 節所用的乘法規則,不需要定義複指數,也不需要對複數排序。
複數包含實數,但不存在與通常有序域規則相容的全體複數排序。這樣的排序會使每個非零平方為正,包括 i 2 = − 1 i^2=-1 i 2 = − 1 ,與一為正矛盾。因此對任意複數 z z z ,z > 0 z>0 z > 0 沒有默認意義。
例題
例 5:乘法與求解。 首先,
( 2 − 3 i ) ( 1 + 4 i ) = 2 + 8 i − 3 i − 12 i 2 = 14 + 5 i . (2-3i)(1+4i)=2+8i-3i-12i^2=14+5i. ( 2 − 3 i ) ( 1 + 4 i ) = 2 + 8 i − 3 i − 12 i 2 = 14 + 5 i . 其次,z 2 + 2 z + 5 = 0 z^2+2z+5=0 z 2 + 2 z + 5 = 0 等價於 ( z + 1 ) 2 = − 4 (z+1)^2=-4 ( z + 1 ) 2 = − 4 ,得到 z = − 1 + 2 i z=-1+2i z = − 1 + 2 i 或 z = − 1 − 2 i z=-1-2i z = − 1 − 2 i 。這些是全部解,因為
( z + 1 ) 2 + 4 = ( z + 1 − 2 i ) ( z + 1 + 2 i ) (z+1)^2+4=(z+1-2i)(z+1+2i) ( z + 1 ) 2 + 4 = ( z + 1 − 2 i ) ( z + 1 + 2 i ) 且 C \mathbb C C 中乘積為零時必有一個因子為零。零乘積性質來自非零複數逆元的存在,下一節推導。沒有實根不意味著沒有複根。
8.5 共軛、模與除法
z = a + b i z=a+bi z = a + bi 的共軛 為 z ˉ = a − b i \bar z=a-bi z ˉ = a − bi ,模 為非負實數
∣ z ∣ = a 2 + b 2 . |z|=\sqrt{a^2+b^2}. ∣ z ∣ = a 2 + b 2 .
直接計算得 z z ˉ = a 2 + b 2 = ∣ z ∣ 2 z\bar z=a^2+b^2=|z|^2 z z ˉ = a 2 + b 2 = ∣ z ∣ 2 ,所以 ∣ z ∣ = 0 |z|=0 ∣ z ∣ = 0 當且僅當 z = 0 z=0 z = 0 。另外 z + z ˉ = 2 Re z z+\bar z=2\operatorname{Re}z z + z ˉ = 2 Re z 、z − z ˉ = 2 i Im z z-\bar z=2i\operatorname{Im}z z − z ˉ = 2 i Im z 。
若 w = c + d i ≠ 0 w=c+di\ne0 w = c + d i = 0 ,則 c 2 + d 2 > 0 c^2+d^2>0 c 2 + d 2 > 0 ,且
z w = z w ˉ w w ˉ = ( a c + b d ) + ( b c − a d ) i c 2 + d 2 . \frac zw=\frac{z\bar w}{w\bar w}
=\frac{(ac+bd)+(bc-ad)i}{c^2+d^2}. w z = w w ˉ z w ˉ = c 2 + d 2 ( a c + b d ) + ( b c − a d ) i .
特別地 w − 1 = w ˉ / ∣ w ∣ 2 w^{-1}=\bar w/|w|^2 w − 1 = w ˉ /∣ w ∣ 2 。乘以 w w w 驗證逆元,因此可除以非零複數,但仍不能除以零。
例題
例 6:複數商。 計算
3 + 2 i 1 − i = ( 3 + 2 i ) ( 1 + i ) 2 = 1 + 5 i 2 . \frac{3+2i}{1-i}
=\frac{(3+2i)(1+i)}2
=\frac{1+5i}{2}. 1 − i 3 + 2 i = 2 ( 3 + 2 i ) ( 1 + i ) = 2 1 + 5 i . 乘以 1 − i 1-i 1 − i 可檢驗恢復 3 + 2 i 3+2i 3 + 2 i 。若只將分母乘以共軛會改變數值;分子和分母必須乘同一個非零因子。
命題
展開還證明 z w ‾ = z ˉ w ˉ \overline{zw}=\bar z\bar w z w = z ˉ w ˉ 和 z + w ‾ = z ˉ + w ˉ \overline{z+w}=\bar z+\bar w z + w = z ˉ + w ˉ 。因此
∣ z w ∣ 2 = z w z w ‾ = ( z z ˉ ) ( w w ˉ ) = ∣ z ∣ 2 ∣ w ∣ 2 . |zw|^2=zw\overline{zw}=(z\bar z)(w\bar w)=|z|^2|w|^2. ∣ z w ∣ 2 = z w z w = ( z z ˉ ) ( w w ˉ ) = ∣ z ∣ 2 ∣ w ∣ 2 . 取非負平方根得 ∣ z w ∣ = ∣ z ∣ ∣ w ∣ |zw|=|z||w| ∣ z w ∣ = ∣ z ∣∣ w ∣ ;對 w ≠ 0 w\ne0 w = 0 ,有 ∣ z / w ∣ = ∣ z ∣ / ∣ w ∣ |z/w|=|z|/|w| ∣ z / w ∣ = ∣ z ∣/∣ w ∣ 。模是實數距離,不是複數的新序關係。
證明
對 z = a + b i z=a+bi z = a + bi 和 w = c + d i w=c+di w = c + d i ,第 7 章的二維不等式給出 a c + b d ≤ ∣ z ∣ ∣ w ∣ ac+bd\le|z||w| a c + b d ≤ ∣ z ∣∣ w ∣ ,所以
∣ z + w ∣ 2 = ∣ z ∣ 2 + ∣ w ∣ 2 + 2 ( a c + b d ) ≤ ( ∣ z ∣ + ∣ w ∣ ) 2 , |z+w|^2=|z|^2+|w|^2+2(ac+bd)\le(|z|+|w|)^2, ∣ z + w ∣ 2 = ∣ z ∣ 2 + ∣ w ∣ 2 + 2 ( a c + b d ) ≤ ( ∣ z ∣ + ∣ w ∣ ) 2 , 取平方根得到複數三角不等式 ∣ z + w ∣ ≤ ∣ z ∣ + ∣ w ∣ |z+w|\le|z|+|w| ∣ z + w ∣ ≤ ∣ z ∣ + ∣ w ∣ 。
8.6 複數極形式與乘法
將 z = a + b i z=a+bi z = a + bi 對應於平面點 ( a , b ) (a,b) ( a , b ) 。對 z ≠ 0 z\ne0 z = 0 ,令 r = ∣ z ∣ > 0 r=|z|>0 r = ∣ z ∣ > 0 並選擇輻角 θ \theta θ 使 cos θ = a / r \cos\theta=a/r cos θ = a / r 、sin θ = b / r \sin\theta=b/r sin θ = b / r 。寫作
z = r ( cos θ + i sin θ ) = r cis θ , z=r(\cos\theta+i\sin\theta)=r\,\operatorname{cis}\theta, z = r ( cos θ + i sin θ ) = r cis θ ,
其中 cis θ \operatorname{cis}\theta cis θ 只是 cos θ + i sin θ \cos\theta+i\sin\theta cos θ + i sin θ 的縮寫。每個輻角相差 2 π 2\pi 2 π 的整數倍。主輻角 在此記為 Arg z \operatorname{Arg}z Arg z ,選在 ( − π , π ] (-\pi,\pi] ( − π , π ] 。零的模為零,但沒有定義的輻角。本章不需要複指數定義。
由分配律和兩角和公式,
cis α cis β = cis ( α + β ) . \operatorname{cis}\alpha\,\operatorname{cis}\beta
=\operatorname{cis}(\alpha+\beta). cis α cis β = cis ( α + β ) .
因此,對正半徑 r , s r,s r , s ,
( r cis α ) ( s cis β ) = r s cis ( α + β ) , (r\operatorname{cis}\alpha)(s\operatorname{cis}\beta)
=rs\operatorname{cis}(\alpha+\beta), ( r cis α ) ( s cis β ) = rs cis ( α + β ) ,
除以第二個非零數則給出半徑 r / s r/s r / s 、角度 α − β \alpha-\beta α − β 。乘法縮放距離並相加方向。乘積的主輻角可能需要加減 2 π 2\pi 2 π ;主輻角不總能未經調整地作為普通實數相加。
例題
例 7:作為變換的乘法。 乘以 1 + i = 2 cis ( π / 4 ) 1+i=\sqrt2\operatorname{cis}(\pi/4) 1 + i = 2 cis ( π /4 ) 將每個到原點的距離縮放 2 \sqrt2 2 倍,並將每個非零點逆時針旋轉 π / 4 \pi/4 π /4 。對 z = 2 − i z=2-i z = 2 − i ,
( 1 + i ) ( 2 − i ) = 3 + i . (1+i)(2-i)=3+i. ( 1 + i ) ( 2 − i ) = 3 + i . 原模為 5 \sqrt5 5 、新模為 10 \sqrt{10} 10 ,確認縮放因子。變換將零映到零,雖然零沒有角度。
對非負整數 n n n ,反覆相乘給出 De Moivre(棣莫弗)公式
( cis θ ) n = cis ( n θ ) . (\operatorname{cis}\theta)^n=\operatorname{cis}(n\theta). ( cis θ ) n = cis ( n θ ) .
基礎情形 n = 0 n=0 n = 0 為一,歸納步驟是兩角乘法規則。對負整數也成立,因為 cis θ \operatorname{cis}\theta cis θ 的逆元是 cis ( − θ ) \operatorname{cis}(-\theta) cis ( − θ ) 。因此,對非零 z = r cis θ z=r\operatorname{cis}\theta z = r cis θ 和任意整數 n n n ,
z n = r n cis ( n θ ) . z^n=r^n\operatorname{cis}(n\theta). z n = r n cis ( n θ ) .
對 z = 0 z=0 z = 0 ,正整數次冪為零;本陳述不賦予零次和負次冪值。
例題
例 8:不作長展開的冪。 因為 1 + i = 2 cis ( π / 4 ) 1+i=\sqrt2\operatorname{cis}(\pi/4) 1 + i = 2 cis ( π /4 ) ,
( 1 + i ) 6 = ( 2 ) 6 cis ( 3 π / 2 ) = − 8 i . (1+i)^6=(\sqrt2)^6\operatorname{cis}(3\pi/2)=-8i. ( 1 + i ) 6 = ( 2 ) 6 cis ( 3 π /2 ) = − 8 i . 角為 6 π / 4 = 3 π / 2 6\pi/4=3\pi/2 6 π /4 = 3 π /2 ,不是 3 π 3\pi 3 π 。獨立檢驗:( 1 + i ) 2 = 2 i (1+i)^2=2i ( 1 + i ) 2 = 2 i ,故六次冪為 ( 2 i ) 3 = − 8 i (2i)^3=-8i ( 2 i ) 3 = − 8 i 。正確相乘角度與求半徑同樣重要。
在完備有序實數域中,對 b > 0 b>0 b > 0 和整數 m ≥ 1 m\ge1 m ≥ 1 ,令 S = { t ≥ 0 : t m ≤ b } S=\{t\ge0:t^m\le b\} S = { t ≥ 0 : t m ≤ b } 。它包含 min { 1 , b } > 0 \min\{1,b\}>0 min { 1 , b } > 0 ,且以 max { 1 , b } \max\{1,b\} max { 1 , b } 為上界,故存在 r = sup S > 0 r=\sup S>0 r = sup S > 0 。有限因式分解給出:對非負的 t , r ≤ M t,r\le M t , r ≤ M ,
t m − r m = ( t − r ) ∑ j = 0 m − 1 t m − 1 − j r j , ∣ t m − r m ∣ ≤ m M m − 1 ∣ t − r ∣ . t^m-r^m=(t-r)\sum_{j=0}^{m-1}t^{m-1-j}r^j,\qquad |t^m-r^m|\le mM^{m-1}|t-r|. t m − r m = ( t − r ) j = 0 ∑ m − 1 t m − 1 − j r j , ∣ t m − r m ∣ ≤ m M m − 1 ∣ t − r ∣.
取 M = r + 1 M=r+1 M = r + 1 。若 r m < b r^m<b r m < b ,選 0 < h < 1 0<h<1 0 < h < 1 使 m M m − 1 h < b − r m mM^{m-1}h<b-r^m m M m − 1 h < b − r m ,則 ( r + h ) m < b (r+h)^m<b ( r + h ) m < b ,與上界 r r r 矛盾。若 r m > b r^m>b r m > b ,選 0 < h < min { 1 , r } 0<h<\min\{1,r\} 0 < h < min { 1 , r } 使 m M m − 1 h < r m − b mM^{m-1}h<r^m-b m M m − 1 h < r m − b ,則 ( r − h ) m > b (r-h)^m>b ( r − h ) m > b ;由非負數整數冪的單調性,r − h r-h r − h 是 S S S 的上界,與上確界矛盾。因此 r m = b r^m=b r m = b 。當 b = 0 b=0 b = 0 ,唯一非負根為零。同一因式分解說明 t > s ≥ 0 t>s\ge0 t > s ≥ 0 時 t m > s m t^m>s^m t m > s m ,故正根唯一。
8.7 求複數冪的全部根
命題
設 n ≥ 1 n\ge1 n ≥ 1 為整數,w = R cis ϕ ≠ 0 w=R\operatorname{cis}\phi\ne0 w = R cis ϕ = 0 ,其中 R > 0 R>0 R > 0 。求解 z n = w z^n=w z n = w 時,根必非零。寫作 z = r cis θ z=r\operatorname{cis}\theta z = r cis θ ,比較模與輻角得
r n = R , n θ = ϕ + 2 k π ( k ∈ Z ) . r^n=R,\qquad n\theta=\phi+2k\pi\quad(k\in\mathbb Z). r n = R , n θ = ϕ + 2 kπ ( k ∈ Z ) . 因為 r > 0 r>0 r > 0 ,半徑唯一地為 R 1 / n R^{1/n} R 1/ n 。各根為
z k = R 1 / n cis ( ϕ + 2 k π n ) , k = 0 , 1 , … , n − 1. z_k=R^{1/n}\operatorname{cis}\left(\frac{\phi+2k\pi}{n}\right),
\qquad k=0,1,\ldots,n-1. z k = R 1/ n cis ( n ϕ + 2 kπ ) , k = 0 , 1 , … , n − 1. 它們互不相同:兩個所列角相差 2 π ( k − j ) / n 2\pi(k-j)/n 2 π ( k − j ) / n ,在此範圍內只有 k = j k=j k = j 時才是 2 π 2\pi 2 π 的整數倍。每個整數 k k k 模 n n n 都化為其中一種情形,故列表完整。各根在圓上等距分布。改變所選輻角 ϕ \phi ϕ 只會重排同一組根。若 w = 0 w=0 w = 0 ,方程只有一個根零,不是 n n n 個不同根。
例題
例 9:負實數的立方根。 寫 − 8 = 8 cis π -8=8\operatorname{cis}\pi − 8 = 8 cis π 。三個立方根半徑為二,輻角為 π / 3 \pi/3 π /3 、π \pi π 、5 π / 3 5\pi/3 5 π /3 。直角形式為
1 + i 3 , − 2 , 1 − i 3 . 1+i\sqrt3,\qquad -2,\qquad 1-i\sqrt3. 1 + i 3 , − 2 , 1 − i 3 . 任一根取立方時角乘三、半徑取立方,得到 − 8 -8 − 8 。例如 ( 1 + i 3 ) 2 = − 2 + 2 i 3 (1+i\sqrt3)^2=-2+2i\sqrt3 ( 1 + i 3 ) 2 = − 2 + 2 i 3 ,再乘一次得到 − 8 -8 − 8 。實立方根 − 2 -2 − 2 只是其中一個,不是整個複數解集。
8.8 複數記號中的幾何方程
由於 ∣ z − z 0 ∣ |z-z_0| ∣ z − z 0 ∣ 是 z z z 與 z 0 z_0 z 0 所代表點之間的直角坐標距離,∣ z − z 0 ∣ = R |z-z_0|=R ∣ z − z 0 ∣ = R (R > 0 R>0 R > 0 )是圓。若 R = 0 R=0 R = 0 ,它是單點 z 0 z_0 z 0 ;若 R < 0 R<0 R < 0 ,沒有解。
例題
例 10:等距軌跡。 對 z = x + i y z=x+iy z = x + i y ,
∣ z − 1 ∣ = ∣ z + 1 ∣ |z-1|=|z+1| ∣ z − 1∣ = ∣ z + 1∣ 比較到 ( 1 , 0 ) (1,0) ( 1 , 0 ) 和 ( − 1 , 0 ) (-1,0) ( − 1 , 0 ) 的距離。兩邊非負,故平方保持等價:
( x − 1 ) 2 + y 2 = ( x + 1 ) 2 + y 2 ⟺ − 4 x = 0. (x-1)^2+y^2=(x+1)^2+y^2\iff -4x=0. ( x − 1 ) 2 + y 2 = ( x + 1 ) 2 + y 2 ⟺ − 4 x = 0. 因此軌跡是虛軸 x = 0 x=0 x = 0 。這是垂直平分線圖像的代數證明;單靠圖示不能說明已找到全部點。
8.9 分級練習
基礎
思考檢查
練習 1
將 ( r , θ ) = ( 6 , 2 π / 3 ) (r,\theta)=(6,2\pi/3) ( r , θ ) = ( 6 , 2 π /3 ) 轉為直角坐標。
思考檢查
練習 2
使用 r ≥ 0 r\ge0 r ≥ 0 、− π < θ ≤ π -\pi<\theta\le\pi − π < θ ≤ π ,求 ( x , y ) = ( 1 , − 3 ) (x,y)=(1,-\sqrt3) ( x , y ) = ( 1 , − 3 ) 的主值極坐標。
思考檢查
練習 3
給出原點的兩個極坐標描述,解釋為甚麼它們都不是原點的唯一方向。
思考檢查
練習 4
計算 ( 3 − 2 i ) + ( 1 + 5 i ) (3-2i)+(1+5i) ( 3 − 2 i ) + ( 1 + 5 i ) 、( 3 − 2 i ) ( 1 + 5 i ) (3-2i)(1+5i) ( 3 − 2 i ) ( 1 + 5 i ) 和 i 2026 i^{2026} i 2026 。
思考檢查
練習 5
對 z = − 3 + 4 i z=-3+4i z = − 3 + 4 i ,求 z ˉ \bar z z ˉ 、∣ z ∣ |z| ∣ z ∣ 、z z ˉ z\bar z z z ˉ 、Re z \operatorname{Re}z Re z 和 Im z \operatorname{Im}z Im z 。
核心
思考檢查
練習 6
將 r = 2 sin θ r=2\sin\theta r = 2 sin θ (r ≥ 0 r\ge0 r ≥ 0 )轉換為直角坐標軌跡,並單獨檢查原點。
思考檢查
練習 7
θ = π / 3 \theta=\pi/3 θ = π /3 配 r ≥ 0 r\ge0 r ≥ 0 描述直線還是射線?寫出準確描述同一點集的直角方程和額外不等式。
思考檢查
練習 8
計算 ( 2 − i ) / ( 1 + 2 i ) (2-i)/(1+2i) ( 2 − i ) / ( 1 + 2 i ) ,並通過相乘檢驗。
思考檢查
練習 9
在 C \mathbb C C 上解 z 2 − 4 z + 13 = 0 z^2-4z+13=0 z 2 − 4 z + 13 = 0 。
思考檢查
練習 10
寫 z = x + i y z=x+iy z = x + i y ,解 z + 2 z ˉ = 3 + 4 i z+2\bar z=3+4i z + 2 z ˉ = 3 + 4 i 。
思考檢查
練習 11
求 ( cis ( 3 π / 4 ) ) 2 (\operatorname{cis}(3\pi/4))^2 ( cis ( 3 π /4 ) ) 2 的主輻角,解釋為甚麼兩個主輻角的和需要調整。
思考檢查
練習 12
將 ( 3 + i ) 4 (\sqrt3+i)^4 ( 3 + i ) 4 精確計算為直角形式。
思考檢查
練習 13
求 − 16 -16 − 16 的全部四次根,分別以極形式和直角形式給出。
思考檢查
練習 14
求 ∣ z − ( 1 + i ) ∣ = 2 |z-(1+i)|=2 ∣ z − ( 1 + i ) ∣ = 2 的完整軌跡,並給出直角方程。
思考檢查
練習 15
將 ( 1 + i ) / ( 3 − i ) (1+i)/(\sqrt3-i) ( 1 + i ) / ( 3 − i ) 寫成極形式和直角形式。
綜合
思考檢查
練習 16
證明 Re z = ( z + z ˉ ) / 2 \operatorname{Re}z=(z+\bar z)/2 Re z = ( z + z ˉ ) /2 和 Im z = ( z − z ˉ ) / ( 2 i ) \operatorname{Im}z=(z-\bar z)/(2i) Im z = ( z − z ˉ ) / ( 2 i ) 。解釋為甚麼這些公式不會使任意複數具有排序。
思考檢查
練習 17
令 ω = cis ( 2 π / 3 ) \omega=\operatorname{cis}(2\pi/3) ω = cis ( 2 π /3 ) 。證明 1 + ω + ω 2 = 0 1+\omega+\omega^2=0 1 + ω + ω 2 = 0 並列出 z 3 = 1 z^3=1 z 3 = 1 的全部解。
思考檢查
練習 18
變換將 z z z 送到 ( 1 − i ) z + 2 (1-i)z+2 ( 1 − i ) z + 2 。按順序描述其縮放、旋轉和平移,並求 i i i 的像。
思考檢查
練習 19
用三角不等式證明對複數 z , w z,w z , w 有 ∣ z + w ∣ ≥ ∣ ∣ z ∣ − ∣ w ∣ ∣ |z+w|\ge\big||z|-|w|\big| ∣ z + w ∣ ≥ ∣ z ∣ − ∣ w ∣ 。用它估計 ∣ z ∣ = 5 |z|=5 ∣ z ∣ = 5 、∣ w ∣ = 2 |w|=2 ∣ w ∣ = 2 時和的模。
思考檢查
練習 20
學生在 r 2 = 3 r cos θ r^2=3r\cos\theta r 2 = 3 r cos θ 中消去 r r r ,斷言兩個方程有相同的極坐標對。在 r = 0 r=0 r = 0 丟失了甚麼?兩式是否仍描述同一直角坐標點集?分別論證。
8.10 完整解答
解答 · 練習 1
點為 ( 6 ( − 1 / 2 ) , 6 ( 3 / 2 ) ) = ( − 3 , 3 3 ) (6(-1/2),6(\sqrt3/2))=(-3,3\sqrt3) ( 6 ( − 1/2 ) , 6 ( 3 /2 )) = ( − 3 , 3 3 ) ,距離平方為 9 + 27 = 36 9+27=36 9 + 27 = 36 。
解答 · 練習 2
半徑為二。點位於第四象限,餘弦為 1 / 2 1/2 1/2 、正弦為 − 3 / 2 -\sqrt3/2 − 3 /2 ,故主角為 − π / 3 -\pi/3 − π /3 。一個表示為 ( 2 , − π / 3 ) (2,-\pi/3) ( 2 , − π /3 ) 。
解答 · 練習 3
( 0 , 0 ) (0,0) ( 0 , 0 ) 和 ( 0 , π / 2 ) (0,\pi/2) ( 0 , π /2 ) 都給出 ( x , y ) = ( 0 , 0 ) (x,y)=(0,0) ( x , y ) = ( 0 , 0 ) ;事實上每個角都如此。零處角坐標任意,並非指定的幾何方向。
解答 · 練習 4
和為 4 + 3 i 4+3i 4 + 3 i ,積為 3 + 15 i − 2 i − 10 i 2 = 13 + 13 i 3+15i-2i-10i^2=13+13i 3 + 15 i − 2 i − 10 i 2 = 13 + 13 i 。由於 i i i 的冪每四次循環且 2026 = 4 ( 506 ) + 2 2026=4(506)+2 2026 = 4 ( 506 ) + 2 ,有 i 2026 = i 2 = − 1 i^{2026}=i^2=-1 i 2026 = i 2 = − 1 。
解答 · 練習 5
共軛為 − 3 − 4 i -3-4i − 3 − 4 i ,模為五,與共軛的乘積為 25 25 25 ,實部為 − 3 -3 − 3 ,虛部為 4 4 4 。
解答 · 練習 6
乘以 r r r 得 r 2 = 2 r sin θ r^2=2r\sin\theta r 2 = 2 r sin θ ,故 x 2 + y 2 = 2 y x^2+y^2=2y x 2 + y 2 = 2 y ,即 x 2 + ( y − 1 ) 2 = 1 x^2+(y-1)^2=1 x 2 + ( y − 1 ) 2 = 1 。對圓上任意非零點,除以其正半徑可恢復極坐標方程。原點允許,因為 r = 0 r=0 r = 0 、θ = 0 \theta=0 θ = 0 滿足 r = 2 sin θ r=2\sin\theta r = 2 sin θ 。故點集恰為該圓。
解答 · 練習 7
它是射線,直角坐標描述為 y = 3 x y=\sqrt3x y = 3 x 且 x ≥ 0 x\ge0 x ≥ 0 ,包含原點。若沒有不等式,方程還會包括相反射線。
解答 · 練習 8
乘以共軛得 ( 2 − i ) ( 1 − 2 i ) / 5 = ( − 5 i ) / 5 = − i (2-i)(1-2i)/5=(-5i)/5=-i ( 2 − i ) ( 1 − 2 i ) /5 = ( − 5 i ) /5 = − i 。檢驗:( 1 + 2 i ) ( − i ) = 2 − i (1+2i)(-i)=2-i ( 1 + 2 i ) ( − i ) = 2 − i 。
解答 · 練習 9
配方得 ( z − 2 ) 2 = − 9 (z-2)^2=-9 ( z − 2 ) 2 = − 9 ,故 z = 2 ± 3 i z=2\pm3i z = 2 ± 3 i 。分解 ( z − 2 − 3 i ) ( z − 2 + 3 i ) (z-2-3i)(z-2+3i) ( z − 2 − 3 i ) ( z − 2 + 3 i ) 驗證兩個根及完整性。
解答 · 練習 10
寫 z = x + i y z=x+iy z = x + i y ,則 z + 2 z ˉ = 3 x − i y z+2\bar z=3x-iy z + 2 z ˉ = 3 x − i y 。比較分量得 x = 1 x=1 x = 1 、y = − 4 y=-4 y = − 4 ,故 z = 1 − 4 i z=1-4i z = 1 − 4 i 。直接代入得 ( 1 − 4 i ) + 2 ( 1 + 4 i ) = 3 + 4 i (1-4i)+2(1+4i)=3+4i ( 1 − 4 i ) + 2 ( 1 + 4 i ) = 3 + 4 i 。
解答 · 練習 11
乘積為 cis ( 3 π / 2 ) \operatorname{cis}(3\pi/2) cis ( 3 π /2 ) ,其在所選區間內的主輻角為 − π / 2 -\pi/2 − π /2 。普通和 3 π / 2 3\pi/2 3 π /2 是有效輻角,但不是主輻角。
解答 · 練習 12
這裏 3 + i = 2 cis ( π / 6 ) \sqrt3+i=2\operatorname{cis}(\pi/6) 3 + i = 2 cis ( π /6 ) ,四次冪為 16 cis ( 2 π / 3 ) = − 8 + 8 3 i 16\operatorname{cis}(2\pi/3)=-8+8\sqrt3i 16 cis ( 2 π /3 ) = − 8 + 8 3 i 。檢驗:平方為 2 + 2 3 i 2+2\sqrt3i 2 + 2 3 i ,再次平方得到相同結果。
解答 · 練習 13
半徑為二,角為 π / 4 \pi/4 π /4 、3 π / 4 3\pi/4 3 π /4 、5 π / 4 5\pi/4 5 π /4 、7 π / 4 7\pi/4 7 π /4 。直角形式為 2 + i 2 \sqrt2+i\sqrt2 2 + i 2 、− 2 + i 2 -\sqrt2+i\sqrt2 − 2 + i 2 、− 2 − i 2 -\sqrt2-i\sqrt2 − 2 − i 2 、2 − i 2 \sqrt2-i\sqrt2 2 − i 2 。四個根互異,各自四次冪的模為 16 16 16 ,輻角為 π \pi π 的奇數倍。
解答 · 練習 14
它是圓心 ( 1 , 1 ) (1,1) ( 1 , 1 ) 、半徑二的圓。對 z = x + i y z=x+iy z = x + i y ,方程為 ( x − 1 ) 2 + ( y − 1 ) 2 = 4 (x-1)^2+(y-1)^2=4 ( x − 1 ) 2 + ( y − 1 ) 2 = 4 。由於模和所給半徑均非負,平方沒有增加點。
解答 · 練習 15
分子模為 2 \sqrt2 2 、輻角為 π / 4 \pi/4 π /4 ;分母模為二、輻角為 − π / 6 -\pi/6 − π /6 。故商為 ( 1 / 2 ) cis ( 5 π / 12 ) (1/\sqrt2)\operatorname{cis}(5\pi/12) ( 1/ 2 ) cis ( 5 π /12 ) 。直角形式中乘以 3 + i \sqrt3+i 3 + i 得 [ ( 3 − 1 ) + i ( 3 + 1 ) ] / 4 [(\sqrt3-1)+i(\sqrt3+1)]/4 [( 3 − 1 ) + i ( 3 + 1 )] /4 。其模平方為 [ ( 3 − 1 ) 2 + ( 3 + 1 ) 2 ] / 16 = 1 / 2 [(\sqrt3-1)^2+(\sqrt3+1)^2]/16=1/2 [( 3 − 1 ) 2 + ( 3 + 1 ) 2 ] /16 = 1/2 ,與極半徑一致。
解答 · 練習 16
寫 z = a + b i z=a+bi z = a + bi 。它與共軛的和為 2 a 2a 2 a ,差為 2 b i 2bi 2 bi ,得到兩個公式。它們提取實數分量值,但不為所有複數定義相容的序;由 i 2 = − 1 i^2=-1 i 2 = − 1 產生的矛盾仍在。
解答 · 練習 17
有 ω 3 = cis ( 2 π ) = 1 \omega^3=\operatorname{cis}(2\pi)=1 ω 3 = cis ( 2 π ) = 1 且 ω ≠ 1 \omega\ne1 ω = 1 。有限因式分解 ( ω − 1 ) ( 1 + ω + ω 2 ) = ω 3 − 1 = 0 (\omega-1)(1+\omega+\omega^2)=\omega^3-1=0 ( ω − 1 ) ( 1 + ω + ω 2 ) = ω 3 − 1 = 0 允許除以非零因子 ω − 1 \omega-1 ω − 1 ,證明和為零。完整的立方根公式給出 1 , ω , ω 2 1,\omega,\omega^2 1 , ω , ω 2 為 z 3 = 1 z^3=1 z 3 = 1 的全部解。
解答 · 練習 18
乘以 1 − i = 2 cis ( − π / 4 ) 1-i=\sqrt2\operatorname{cis}(-\pi/4) 1 − i = 2 cis ( − π /4 ) 將距離縮放 2 \sqrt2 2 倍並順時針旋轉 π / 4 \pi/4 π /4 。再加二即沿正實方向平移兩個單位。i i i 的像為 ( 1 − i ) i + 2 = 3 + i (1-i)i+2=3+i ( 1 − i ) i + 2 = 3 + i 。平移發生在乘法之後;反轉次序一般會改變映射。
解答 · 練習 19
三角不等式給出 ∣ z ∣ = ∣ ( z + w ) − w ∣ ≤ ∣ z + w ∣ + ∣ w ∣ |z|=|(z+w)-w|\le|z+w|+|w| ∣ z ∣ = ∣ ( z + w ) − w ∣ ≤ ∣ z + w ∣ + ∣ w ∣ ,故 ∣ z ∣ − ∣ w ∣ ≤ ∣ z + w ∣ |z|-|w|\le|z+w| ∣ z ∣ − ∣ w ∣ ≤ ∣ z + w ∣ 。交換 z , w z,w z , w 得另一界,因此模之差的絕對值是下界。結合通常上界,當兩個模為五和二時,3 ≤ ∣ z + w ∣ ≤ 7 3\le|z+w|\le7 3 ≤ ∣ z + w ∣ ≤ 7 。相反或相同方向分別可取得兩個端點。
解答 · 練習 20
在 r = 0 r=0 r = 0 ,原方程 r 2 = 3 r cos θ r^2=3r\cos\theta r 2 = 3 r cos θ 對所有角成立。消去後的 r = 3 cos θ r=3\cos\theta r = 3 cos θ 在 r = 0 r=0 r = 0 只對 cos θ = 0 \cos\theta=0 cos θ = 0 的角成立。因此丟失了許多極坐標對。但它們都描述同一個原點,而原點仍被表示,例如 ( 0 , π / 2 ) (0,\pi/2) ( 0 , π /2 ) 。在每個非零半徑處除法可逆。因此兩式描述同一直角坐標點集,即圓 ( x − 3 / 2 ) 2 + y 2 = 9 / 4 (x-3/2)^2+y^2=9/4 ( x − 3/2 ) 2 + y 2 = 9/4 ,儘管坐標對集合不同。
圖像專題 G3
思考檢查
圖像題 G3 極坐標對、圓與原點
設 r , x , y r,x,y r , x , y 是以釐米計的長度數值,θ \theta θ 以弧度計。使用非負極半徑及
x = r cos θ , y = r sin θ . x=r\cos\theta,\qquad y=r\sin\theta. x = r cos θ , y = r sin θ . 考慮極坐標方程
r = 4 cos θ , r ≥ 0. r=4\cos\theta,\qquad r\ge0. r = 4 cos θ , r ≥ 0. 圖中兩個直角坐標軸使用相同尺度。經過 P P P 的射線方向為 θ = π / 3 \theta=\pi/3 θ = π /3 。
將極坐標方程化為直角坐標方程,驗證從圖讀出的圓心與半徑。證明逆向結論並單獨檢查原點,確定完整點集。
解答 · 圖像題 G3
兩邊乘以 r r r 得到 r 2 = 4 r cos θ r^2=4r\cos\theta r 2 = 4 r cos θ ,所以
x 2 + y 2 = 4 x ⟺ ( x − 2 ) 2 + y 2 = 4. x^2+y^2=4x\iff(x-2)^2+y^2=4. x 2 + y 2 = 4 x ⟺ ( x − 2 ) 2 + y 2 = 4.
圓心是 ( 2 , 0 ) (2,0) ( 2 , 0 ) 釐米,半徑為兩釐米,與圖中未失真的圓一致。僅乘法只證明一個方向。反過來,取滿足直角坐標方程的非零點,選擇其非負半徑 r = x 2 + y 2 > 0 r=\sqrt{x^2+y^2}>0 r = x 2 + y 2 > 0 和對應角度。於是 r 2 = 4 r cos θ r^2=4r\cos\theta r 2 = 4 r cos θ ,除以這個正半徑恢復 r = 4 cos θ r=4\cos\theta r = 4 cos θ 。原點也屬於極坐標軌跡:r = 0 r=0 r = 0 、θ = π / 2 \theta=\pi/2 θ = π /2 滿足方程。因此沒有遺漏或增加直角坐標點。
繼續完成圖像專題 G3 的四問與詳解 。
總結
極坐標轉換需要半徑約定和考慮象限的角度。多個坐標對可能表示一個點,原點尤其如此。複數加法和乘法由分量、分配律及 i 2 = − 1 i^2=-1 i 2 = − 1 定義;除法使用非零共軛乘積。模給出實數距離。複數極形式中,乘法相加輻角、冪運算將輻角相乘,非零數恰有 n n n 個不同 n n n 次根。主輻角需要分支調整,零沒有輻角。複數距離使許多軌跡問題回到直角幾何。
聯繫。 直角坐標與三角學來自第 2–3 章;本章發展極坐標和複數。第 7 章的不等式與歸納法論證模估計及整數次冪。第 5 章的有限幾何因式分解解釋簡單的單位根恆等式。