複數與根號運算的「崩壞」

視覺化

• 複數知識MAP

name 点击按钮移动笔记
type command
action Templater: Insert JS-ResearchNoteMove
color blue

來源資訊

類型: =this.file.link.source_type 標題: =this.file.link.source_title 作者: =this.file.link.source_author 連結: =this.file.link.source_url

核心提問

在國中學習實數運算時，我們視 $\sqrt{xy}=\sqrt{x}\sqrt{y}$ 為理所當然的鐵律。然而，當變數進入**複數域（Complex Domain）**後，這條規則卻經常失效。

最經典的「翻車」案例：

$$1=\sqrt{1}=\sqrt{(-1)(-1)}\stackrel{?}{=}\sqrt{-1}\sqrt{-1}=i\cdot i=-1$$

推導出了 $1=-1$ 的謬誤。這並非數學的崩壞，而是我們對「複數函數」與「主值」的理解不夠精確。本篇筆記將從主值幅角、複對數定義以及分支切割（Branch Cut） 的角度，嚴謹解析這個現象。

---

1. 嚴謹定義：如何讓多值的複數變「單值」？

在複數平面上，任意非零複數 $z$ 都可以寫成極座標形式 $z=r{e}^{i\theta }$。但這裡有一個大麻煩：角度 $\theta$ 不是唯一的，因為 $e^{i\theta }=e^{i(\theta +2\pi )}$。

為了讓根號 $\sqrt{z}$ 成為一個合法的「函數」（Function，要求單一輸入對應單一輸出），我們必須人為地做出限制，任何包含「角度」的複函數，只要你要求它是「單值且連續（解析）」的，就一定要切，下面我們講講切什麼。

1.1 主值幅角 (Principal Argument)

我們強行規定角度只能落在一個特定區間，通常取： $\mathrm{Arg}(z)\in (-\pi ,\pi ]$ 這個區間的選擇至關重要。這意味著我們把複數平面沿著負實軸「切開」了。這條邊界線，就是所謂的支割線（Branch Cut）。負實軸不是唯一選擇，但它是「最自然、最方便、代價最小」的選擇選一條線，作為「角度跳躍的地方」，對數、冪函數、平方根都希望在正實軸上「行為最正常」所以選負實軸代價最小

1.2 主值對數 (Principal Logarithm)

基於主值幅角，我們定義主值複對數： $\log z=\ln |z|+i\arg z$ 乍看之下這個定義很奇怪，但是我們可以看看，我們希望複數的對數有最基本的三條性質是：1. $e^{\log z}=z$ 2. $\log (zw)=\log z+\log w$ 和 3. 對正實數退化成實對數 $\log x=\ln x(x>0)$ (2）把 $z$ 寫成極形式 令 $z=r{e}^{i\theta }$，假設$\log z=A(r,\theta )+iB(r,\theta )$，則我們有

$$e^{A+iB}=e^A(\cos B+i\sin B)=r{e}^{i\theta }$$

由模長與角度逐項比較，可得：$A=\ln r$ 和 $B=\theta (\mathrm{mod}2\pi )$，有了這個之後我們可以來定義其它的東東

1.3 主值平方根 (Principal Square Root)

複數的平方根透過對數來嚴格定義： $\sqrt{z}:=\exp \left(\frac{1}{2}\mathrm{Log}(z)\right)$

---

2. 為什麼 $\sqrt{zw}=\sqrt{z}\sqrt{w}$ 會失敗？

我們試圖證明等式左邊等於右邊，看看會發生什麼事。

代數推導

根據定義： $\sqrt{z}\sqrt{w}=\exp \left(\frac{1}{2}\mathrm{Log}z\right)\cdot \exp \left(\frac{1}{2}\mathrm{Log}w\right)=\exp \left(\frac{1}{2}(\mathrm{Log}z+\mathrm{Log}w)\right)$

而等式左邊是： $\sqrt{zw}=\exp \left(\frac{1}{2}\mathrm{Log}(zw)\right)$

要讓 $\sqrt{zw}=\sqrt{z}\sqrt{w}$ 成立，其充要條件是指数內部的項相等（或差 $2\pi i$ 的倍數），即核心矛盾在於： $\mathrm{Log}(zw)\stackrel{?}{=}\mathrm{Log}z+\mathrm{Log}w$

複對數的陷阱

事實是：主值對數不滿足加法律。 雖然 $\log (zw)=\log z+\log w$ 在多值集合意義下成立，但一旦取了主值（Principal Value），我們就強制把角度限制在 $(-\pi ,\pi ]$。 若 $\mathrm{Arg}(z)+\mathrm{Arg}(w)$ 超出了 $\pi$，它就會發生「跳變」，減去 $2\pi$ 以回到主值區間。

數學上： $\mathrm{Log}(zw)=\mathrm{Log}z+\mathrm{Log}w+2k\pi i,k\in \{-1,0,1\}$

將其代入平方根公式：

$$\begin{array}{rl}\sqrt{zw}& =\exp \left(\frac{1}{2}(\mathrm{Log}z+\mathrm{Log}w+2k\pi i)\right)\\ & =\exp \left(\frac{1}{2}(\mathrm{Log}z+\mathrm{Log}w)\right)\cdot \underset{(-1{)}^k}{\underbrace{\exp (k\pi i)}}\\ & =(\sqrt{z}\sqrt{w})\cdot (-1{)}^k\end{array}$$

結論： 如果兩個複數的幅角相加超出了 $(-\pi ,\pi ]$ 的範圍（即 $k\ne 0$），那麼算出來的結果就會差一個負號。

---

3. 實戰演練：為什麼 $\sqrt{-1}\sqrt{-1}\ne \sqrt{1}$？

讓我們用上述理論來檢驗那個經典謬誤。令 $z=-1,w=-1$。

1. 計算右邊 $\sqrt{z}\sqrt{w}$：

   • $\mathrm{Arg}(-1)=\pi$
   • $\sqrt{-1}=\exp (\frac{1}{2}i\pi )=e^{i\pi /2}=i$
   • $\sqrt{-1}\sqrt{-1}=i\cdot i=-1$

2. 計算左邊 $\sqrt{zw}$：

   • $zw=(-1)(-1)=1$
   • $\mathrm{Arg}(1)=0$
   • $\sqrt{1}=\exp (\frac{1}{2}\cdot 0)=1$

3. 為啥啊?

   • 原本的角度和：$\pi +\pi =2\pi$
   • 主值化後的角度：$\mathrm{Arg}(1)=0$
   • 角度差了 $2\pi$。
   • 開根號（除以 2）後，角度差了 $\pi$。
   • $e^{i\pi }=-1$，這就是那個消失的負號。

---

4. 支割線 (Branch Cut)

為什麼一定要有這些限制？這涉及複數平面的拓樸性質。

繞圈圈的問題

想像你在複數平面上沿著單位圓走一圈：

• 從 $1$ 出發，角度是 $0$，$\sqrt{1}=1$。
• 走到 $-1$，角度是 $\pi$，$\sqrt{-1}=i$。
• 走回 $1$（繞了一圈），角度變成 $2\pi$，$\sqrt{1}=e^{i(2\pi )/2}=-1$。

起點是 $1$，終點是 $-1$。這說明如果不加限制，平方根函數在複數平面上無法同時是連續且單值的。

切開它

為了保持單值性（Function），我們必須禁止這種「繞一圈」的行為。我們沿著負實軸切一刀（Branch Cut）。

• 當你試圖跨過這條線時，主值幅角會從 $\pi$ 跳變到 $-\pi$（不連續）。
• 正是這個跳變，破壞了代數運算的連續性，導致 $\sqrt{zw}=\sqrt{z}\sqrt{w}$ 在跨越切線時失效。

---

5. 總結

1. 主值平方根是透過限制幅角範圍（切掉一條線）來定義的單值函數。
2. $\sqrt{zw}=\sqrt{z}\sqrt{w}$ 成立的前提是：$z$ 與 $w$ 的幅角相加後，沒有超出主值區間 $(-\pi ,\pi ]$。
3. 若幅角和溢出，主值 $\mathrm{Arg}$ 會進行修正（加減 $2\pi$），這在開根號後變成乘上 $-1$，導致等式不成立。
4. 這不是數學的錯誤，而是將「多值函數」強制壓成「單值函數」時必須付出的代價。

关键引文

我的思考 / 分析 / 总结

行动转化

可提炼的知识点 (链接到常青笔记)

相关内容 / 项目

相关研究笔记