正方體等效電阻（三）：對稱性幫你少列方程式
為什麼立方體問題裡的某些節點電位一定相同？答案不是「感覺對稱」，而是可以從唯一性定理嚴格證明。本文介紹對稱操作如何把節點分成軌道，把 6 個內部未知電位壓縮成 2 個。立方晶格等效電阻系列第三篇。
在第一篇，我們把 $(1,0,0)$、$(0,1,0)$、$(0,0,1)$ 三個節點的電位都設成同一個未知數 $b$，理由是「它們幾何上對稱，所以電位相同」。
這個推論用起來很方便，但有個問題：為什麼對稱就保證電位相同？
「感覺上應該一樣」不是嚴格論證。這篇要把這個直覺變成一個可以被挑戰、也能被嚴格捍衛的數學陳述。
電路問題的唯一性
先建立一個基本事實：給定邊界條件，電路的電位分布是唯一的。
只要固定所有外部接點的電位（例如起點 $V_A = 1$，終點 $V_H = 0$），方程組
\[\sum_{j \sim i} \frac{V_j - V_i}{R_{ij}} = 0 \quad \text{（對所有內部節點 }i\text{）} \tag{1}\label{eq3:kcl}\]有且只有一組解。（這是線性方程組，係數矩陣正定，因此解唯一。此即第二篇式 (3)的節點電壓方程式。）
唯一性是對稱性論證的基礎。
唯一性定理：給定所有邊界節點的電位（邊界條件），滿足式 $\eqref{eq3:kcl}$ 的電位分布有且只有一組。
對稱操作與等電位節點：嚴格論證
定義： 一個電路的對稱操作（symmetry operation）是節點的一個置換 $\sigma$，使得：
- 如果節點 $i$ 和 $j$ 之間有電阻 $R_{ij}$，則 $\sigma(i)$ 和 $\sigma(j)$ 之間也有相同電阻 $R_{ij}$。（保持電路結構不變）
- 所有邊界節點（固定電位的節點）被 $\sigma$ 映射到同樣電位的邊界節點。（保持邊界條件不變）
定理： 若 $\sigma$ 是電路的對稱操作，且原電路的電位解為 ${V_i}$，則 ${V_{\sigma(i)}}$ 也是同一電路的解。
證明： 設 ${V_i}$ 滿足所有 KCL 方程式與邊界條件。定義 $W_i = V_{\sigma(i)}$。
對任意內部節點 $\sigma(i)$：
\[\sum_{j \sim \sigma(i)} \frac{W_j - W_{\sigma(i)}}{R_j} = \sum_{k \sim i} \frac{V_{\sigma(k)} - V_{\sigma(i)}}{R_{\sigma(k)\sigma(i)}} = \sum_{k \sim i} \frac{V_k - V_i}{R_{ki}} = 0 \tag{2}\label{eq3:proof}\]（第一個等號用了 $\sigma$ 保持連接結構；第二個等號用了 $\sigma$ 保持電阻值；最後等於零是因為 ${V_i}$ 滿足式 $\eqref{eq3:kcl}$。）邊界條件也被 $\sigma$ 保持，所以 ${W_i} = {V_{\sigma(i)}}$ 也是一組合法解。
推論： 由唯一性，$V_{\sigma(i)} = V_i$ 對所有節點成立——對稱操作不改變電位分布。特別地，若 $\sigma(i) = j$，則 $V_j = V_i$。
對稱等電位定理：若存在電路的對稱操作 $\sigma$ 使得 $\sigma(i) = j$，則節點 $i$ 與節點 $j$ 的電位必然相同：$V_i = V_j$。這不是直覺，而是由唯一性嚴格推導出來的定理。
圖 1： 對稱操作把一組合法解送到另一組合法解；因為邊界條件下的解唯一，兩組解只能是同一組。
立方體的對稱操作
回到 $1\times 1\times 1$ 的立方體，起點 $A = (0,0,0)$，終點 $H = (1,1,1)$。
我們要找的是固定 $A$ 和 $H$、同時保持電路結構的置換。在這個電路中，每條邊對應一對坐標差為 1 的節點，而且所有電阻值相同，所以任何保持「兩節點相鄰」關係的置換都是對稱操作。
關鍵觀察：三個坐標軸 $x, y, z$ 的地位完全對等。任何對 ${x, y, z}$ 的置換都是一個對稱操作：
- 它把 $(0,0,0)$ 映射到自身（固定 $A$）。
- 它把 $(1,1,1)$ 映射到自身（固定 $H$）。
- 它把相鄰節點映射到相鄰節點（保持電路連接）。
直觀說明：交換 $x,y,z$ 坐標軸（例如把 $(x,y,z)$ 映射到 $(y,x,z)$）會把節點 $(1,0,0)$ 送到 $(0,1,0)$，但 $(0,0,0)$ 和 $(1,1,1)$ 都不受影響——體對角線兩端始終固定。因此這樣的置換是電路的對稱操作。
三個元素 ${x, y, z}$ 的所有置換構成對稱群 $S_3$，共有 $3! = 6$ 個元素：
| 置換 | 作用（$x \to?, y \to?, z \to?$） |
|---|---|
| $e$（恆等） | $x\to x,\ y\to y,\ z\to z$ |
| $(xy)$ | $x\to y,\ y\to x,\ z\to z$ |
| $(xz)$ | $x\to z,\ y\to y,\ z\to x$ |
| $(yz)$ | $x\to x,\ y\to z,\ z\to y$ |
| $(xyz)$ | $x\to y,\ y\to z,\ z\to x$ |
| $(xzy)$ | $x\to z,\ y\to x,\ z\to y$ |
這 6 個置換就是這個電路問題的所有對稱操作。
軌道：節點的等價類
$S_3$ 作用在 8 個節點上，把節點分成若干軌道（orbit）：
\[\text{軌道}(i) = \{\sigma(i) \mid \sigma \in S_3\} \tag{3}\label{eq3:orbit}\]在同一軌道的節點必然有相同電位（由式 $\eqref{eq3:proof}$ 的推論）。計算各節點的軌道：
| 軌道 | 節點 | 大小 | 電位 |
|---|---|---|---|
| $\{(0,0,0)\}$ | $A$ | $1$ | $1$（邊界條件） |
| $\{(1,0,0),(0,1,0),(0,0,1)\}$ | B 型 | $3$ | $b$（待求） |
| $\{(1,1,0),(1,0,1),(0,1,1)\}$ | C 型 | $3$ | $c$（待求） |
| $\{(1,1,1)\}$ | $H$ | $1$ | $0$（邊界條件） |
圖 2： $S_3$ 作用把 8 個節點分成 A、B、C、H 四個軌道；其中 A 與 H 已由邊界條件固定，只剩 $b,c$ 兩個未知電位。
為什麼 $(1,0,0)$ 和 $(1,1,0)$ 不在同一軌道？因為沒有 $S_3$ 元素能把 $(1,0,0)$（只有一個分量為 1）映射到 $(1,1,0)$（有兩個分量為 1）——置換不改變各坐標的值，只交換哪個位置放哪個值，所以「有幾個分量等於 1」是不變量（invariant）。
8 個節點 → 4 個軌道 → 2 個未知電位 $b, c$（其餘兩個由邊界條件固定）。
圖 3： $S_3$ 的坐標置換會把三個 B 型節點互相映射；它們在同一個軌道中，因此電位相同。
從 8 條方程式到 2 條方程式
不用對稱性，一般方法要對 6 個內部節點各列一條 KCL，得到一個 $6\times 6$ 的線性方程組。
用對稱性：每個軌道只需要列一條代表性方程式。B 型節點代表列一條，C 型節點代表列一條——剩下的方程式全都是這兩條的複製（因為對稱操作把它們映射到彼此）。這兩條方程式即第一篇的式 (1) 與式 (2)：
\[3b - 2c = 1 \tag{B型代表}\label{eq3:b-repr}\] \[3c - 2b = 0 \tag{C型代表}\label{eq3:c-repr}\]由式 $\eqref{eq3:b-repr}$ 和 $\eqref{eq3:c-repr}$ 解得 $b = 3/5$，$c = 2/5$，代入第一篇的等效電阻算式 $R_{\text{eq}} = \Delta V / I$ 得 $R_{\text{eq}} = 5R/6$。
對稱性把方程組的規模從 $6\times 6$ 縮小到 $2\times 2$。 這個縮小的比例在更大的問題裡更戲劇性——對 $2\times 2\times 2$ 的晶格（27 個節點），對稱性能把未知數從 25 個降到 3 個，我們後面會看到。
對稱性降維的一般原則
總結這篇的核心邏輯：
唯一性：給定邊界條件，電位解唯一。
對稱操作保持解：對稱操作作用在解上，得到的還是解。
對稱節點電位相同：由唯一性，對稱操作作用在解上不改變解，因此同軌道節點有相同電位。
軌道 = 未知數：方程組的規模等於軌道數（減去邊界節點數）。
這個邏輯不只適用於電路——凡是有唯一解的物理問題，對稱性都能縮小求解規模。在量子力學裡，同樣的邏輯讓我們能用群的不可約表示（irreducible representation）來分類能態；在固體物理裡，它讓 Bloch 定理成立。若想深入了解這套邏輯的完整數學框架，可參考 Arfken, Weber & Harris 的 Mathematical Methods for Physicists（第七版）第 16 章，或 Tinkham 的 Group Theory and Quantum Mechanics 第 2–3 章。
對稱性降維的核心邏輯（適用於任何有唯一解的問題）：唯一性 → 對稱操作送解到解 → 同一組解 → 同軌道節點等值 → 未知數個數等於軌道數。
一個更深的問題
「$S_3$ 的 6 個元素」這件事說起來輕鬆，但 $S_3$ 是什麼東西？它的 6 個元素如何定義「相乘」（組合操作）？它為什麼叫「群」？
這些問題引出了群論（group theory）——現代物理和化學的核心數學語言。在第四篇，我們會從晶體學和化學鍵的角度重新認識「群」這個概念，然後回過頭來用更精確的語言描述我們在這篇做的事。