笛卡爾圓定理 二：複數方法證明

笛卡爾定理

若有四個圓兩兩相切，且切點互不相同，則它們的曲率（k = 1/r）滿足：

$$(k_1 + k_2 + k_3 + k_4)^2 = 2(k_1^2 + k_2^2 + k_3^2 + k_4^2)$$

其中，曲率定義為半徑的倒數。對於內切圓取正值，對於外切圓取負值。

複數方法證明

複數方法提供了一種更加簡潔優雅的證明方式，它將幾何問題轉化為代數問題。

第一步：圓的複數表示

在複平面上，一個圓可以用以下方式表示：

$$a z\bar{z} + b z + c \bar{z} + d = 0$$

其中 \(a, d \in \mathbb{R}\), \(b, c \in \mathbb{C}\)，且滿足 \(b = \bar{c}\)。

圓心為 \(-\frac{c}{a}\)，半徑為 \(\frac{\sqrt{|b|^2 - ad}}{a}\)。

第二步：曲率的複數表示

圓的曲率 \(k = \frac{1}{r}\) 可以用複數係數表示為：

$$k = \frac{2a}{\sqrt{|b|^2 - ad}}$$

我們可以定義圓的"複曲率"為 \(w = k(1 + i\mu)\)，其中 \(\mu\) 是一個與圓的位置相關的參數。

第三步：相切條件的複數形式

兩個圓 \(C_1\) 和 \(C_2\) 相切的條件可以表示為：

$$|w_1 - w_2|^2 = k_1^2 + k_2^2 + 2k_1k_2\cos(\theta_1 - \theta_2)$$

當兩圓相切時，\(\theta_1 - \theta_2 = 0\)，因此：

$$|w_1 - w_2|^2 = k_1^2 + k_2^2 + 2k_1k_2 = (k_1 + k_2)^2$$

第四步：四個圓相切的條件

對於四個兩兩相切的圓，我們有六個相切條件：

$$|w_i - w_j|^2 = (k_i + k_j)^2 \quad \text{對於} \quad 1 \leq i < j \leq 4$$

這些條件可以寫為：

$$w_i\bar{w_j} + w_j\bar{w_i} = 2k_ik_j \quad \text{對於} \quad i \neq j$$

第五步：建立矩陣方程

考慮矩陣 \(M\)，其元素為 \(m_{ij} = w_i\bar{w_j}\)。相切條件表明，對於 \(i \neq j\)，有：

$$m_{ij} + m_{ji} = 2k_ik_j$$

而對於對角線元素，有 \(m_{ii} = |w_i|^2 = k_i^2(1 + \mu_i^2)\)。

第六步：關鍵觀察

通過巧妙的代數變換，可以發現矩陣 \(M\) 滿足：

$$\sum_{i=1}^4 \sum_{j=1}^4 (m_{ij} + m_{ji} - 2k_ik_j) = 0$$

這個和式可以重新組織為：

$$2\sum_{i=1}^4 |w_i|^2 + 2\sum_{i \neq j} m_{ij} - 2\sum_{i,j} k_ik_j = 0$$

第七步：推導笛卡爾定理

通過進一步的計算，可以得到：

$$2\sum_{i=1}^4 k_i^2(1 + \mu_i^2) + 2\sum_{i \neq j} w_i\bar{w_j} - 2\left(\sum_{i=1}^4 k_i\right)^2 = 0$$

通過選擇適當的坐標系，可以使 \(\sum_{i=1}^4 w_i = 0\)，從而簡化表達式。

最終，我們得到：

$$\left(\sum_{i=1}^4 k_i\right)^2 = 2\sum_{i=1}^4 k_i^2$$

這就是笛卡爾定理。

為什麼複數方法更優越？

複數方法證明笛卡爾定理的優勢在於：

1. 簡潔性：避免了複雜的幾何構造和坐標計算
2. 統一性：將所有圓用統一的形式表示
3. 代數化：將幾何問題轉化為代數問題，更容易處理
4. 可擴展性：可以推廣到更一般的情況，如球面相切問題

這種方法體現了數學的統一美，展示了不同數學分支之間的深刻聯繫。

互動演示

輸入三個圓的曲率，計算第四個圓的曲率：

k₁: k₂: k₃:

請輸入三個圓的曲率並點擊計算

結論

複數方法為證明笛卡爾定理提供了一種更加優雅和簡潔的途徑。通過將幾何問題轉化為代數問題，我們能夠更清晰地看到圓相切問題背後的數學結構。

這種方法不僅適用於平面幾何中的圓相切問題，還可以推廣到更高維的情況，如球面相切問題，體現了數學的深刻統一性。