2.1 圓冪與 Simson 線#

本章導言#

圓是古希臘幾何的心臟。Euclid《原本》第三卷以圓的性質為主軸，但真正把圓與三角形、直線織成一張精密之網的，是十七至十九世紀的歐洲幾何學家。本節介紹兩件法器：圓冪（power of a point）——度量「點與圓的關係」的統一代數量；Simson 線——三角形在圓上的投影奇觀。兩者合流處，是初等幾何最優美的風景。

圓冪：點與圓的統一度量#

設圓 \(\Gamma\) 半徑為 \(r\) ，圓心 \(O\) ，平面上任一點 \(P\) 。定義圓冪：

\[ \mathrm{Pow}(P) = OP^2 - r^2. \]

\(P\) 在圓外： \(\mathrm{Pow}(P) > 0\) ；
\(P\) 在圓上： \(\mathrm{Pow}(P) = 0\) ；
\(P\) 在圓內： \(\mathrm{Pow}(P) < 0\) 。

圓冪的威力在於等長關係的統一。過 \(P\) 作任一割線交 \(\Gamma\) 於 \(A, B\) ，則

\[ PA \cdot PB = |\mathrm{Pow}(P)| \quad (\text{外點取有向積})， \]

這就是《原本》III.35（相交弦： \(PA \cdot PB = PC \cdot PD\) ）與 III.36（割線與切線： \(PA \cdot PB = PT^2\) ）的合併——切線段是割線的極限情形， \(PT^2 = \mathrm{Pow}(P)\) 。用有向長度（十九世紀 Möbius、Carnot 引入的技術，見 4.3 節），這些命題合成一條：

\[ PA \cdot PB = PC \cdot PD = PT^2 = \mathrm{Pow}(P) \quad (\text{有向}). \]

證明思想（相似三角形）：對相交弦 \(AB\) 、 \(CD\) 交於 \(P\) ，連 \(AC\) 、 \(BD\) ，則 \(\angle A = \angle D\) （同弧圓周角）、 \(\angle C = \angle B\) ，故 \(\triangle APC \sim \triangle DPB\) ，得 \(PA \cdot PB = PC \cdot PD\) 。一個相似就統一了一切情形——這是「以不變量駕馭分類」的範例。

圓冪的座標形式與「圓方程」的深意#

以圓心為原點，圓方程為 \(x^2 + y^2 = r^2\) 。點 \(P(x_0, y_0)\) 的圓冪恰為

\[ \mathrm{Pow}(P) = x_0^2 + y_0^2 - r^2, \]

即把 \(P\) 代入圓方程左邊的值。這個視角把圓冪與圓錐曲線的一般理論（見 5.2、5.3 節）接軌：二次曲線的「方程值」就是廣義的圓冪——它在射影幾何中成為極點–極線理論（pole-polar）的核心：圓冪為零的點在曲線上，圓冪的符號劃分內外，而「過 \(P\) 的切線切點弦」——極線——的方程恰為線性化

\[ x x_0 + y y_0 = r^2. \]

（ \(P\) 在圓外時，此直線正是兩切點的連線； \(P\) 在圓內時是虛切點弦。）初等圓冪由此直通射影幾何的對偶結構。

共軸圓系#

平面上所有與定圓 \(\Gamma_1, \Gamma_2\) 有等冪差的點集是一條直線——根軸（radical axis）。三個兩兩不心的圓的根軸共點（根心，radical center），因為兩根軸的交點對三圓等冪，必在第三根軸上。以方程看：圓

\[ x^2 + y^2 + D_i x + E_i y + F_i = 0 \]

的線性組合 \(S_1 - S_2 = 0\) 恰是根軸（一次方程）——圓的差是線，這又是代數馴服幾何的實例。根軸思想在共軸圓系（elliptic、parabolic、hyperbolic 三型）中展開，與 3.3 節的反演、4.1 節的無窮遠點處處呼應。

Simson 線：投影的奇蹟#

定理（Simson 線，Wallis–Simson 傳統命名）：設 \(P\) 是 \(\triangle ABC\) 外接圓上任一點。由 \(P\) 向三邊 \(BC\) 、 \(CA\) 、 \(AB\) （或其延長線）作垂線，垂足為 \(X\) 、 \(Y\) 、 \(Z\) 。則 \(X\) 、 \(Y\) 、 \(Z\) 三點共線。

歷史考證：此線之名是數學史上最大的命名冤案之一。Wallis 1658 年的著作提及，Simson（Robert Simson，1687–1768，Euclid 英譯的權威註釋者）1870 年代被後人（MathematicalgetRepository 編者）誤認為發現者；實際上最早證明者是 Wallace（William Wallace，1768–1843），1797年發表。數學史家常以此案例告誡：命名律（Stigler's law：科學發現總以錯誤的人命名） 普遍存在——Stigler 自己戲言此律也是別人先說的。

證明（共圓 + 角追逐）：因 \(\angle PXB = 90°\) 、 \(\angle PZB = 90°\) ，四點 \(P, X, B, Z\) 共圓（以 \(PB\) 為直徑）。同理 \(P, X, C, Y\) 共圓、 \(P, Y, A, Z\) 共圓。又 \(P, A, B, C\) 共圓（題設）。逐角計算：

\[ \angle ZXY = \angle ZXP + \angle PXY. \]

由 \(P,X,B,Z\) 共圓： \(\angle ZXP = \angle ZBP\) （同弧）；由 \(P,X,C,Y\) 共圓： \(\angle PXY = \angle PCY\) 。而 \(\angle ZBP = 180° - \angle ABP\) ， \(\angle PCY = \angle PAB\) （外接圓圓周角， \(\angle PAB\) 與 \(\angle PCB\) 對同弧 \(PB\) ，需按 \(P\) 的位置分情形取有向角）。以有向角（modulo \(180°\) ）統一處理：

\[ \angle ZXY = (180° - \angle ABP) + \angle PCB = 180° - (\angle ABP + \angle PBC) = 180° - \angle ABC, \]

而 \(\angle ZXY\) 與 \(\angle XYZ\) （即由 \(P,Y,A,Z\) 圓算得者）補成 \(180°\) ，故 \(X, Y, Z\) 共線。有向角的引入（Möbius 之後的標準技術）使分類討論坍縮為一條計算——有向角是幾何的「負數」。

Simson 線的動態性質#

Steiner 定理：當 \(P\) 沿外接圓轉動，Simson 線的包絡是Steiner 擺線（三尖內擺線，deltoid）——一條直線族掃出曲線，初等幾何與擺線理論在此握手。
Simson 線平分弧： \(\angle PXB\) 相關的中點性質給出：Simson 線過 \(P\) 關於邊 \(BC\) 的反射點連線中點等（Miquel 點理論的入口）。
與九點圓的關係：Simson 線與九點圓相切族（見 2.3 節）。

Miquel 點：圓冪的網絡化#

Miquel 定理（Auguste Miquel，1838）：在 \(\triangle ABC\) 的三邊上各取一點 \(X \in BC\) 、 \(Y \in CA\) 、 \(Z \in AB\) ，則三個小圓 \((AZX)\) 、 \((BXY)\) 、 \((CYZ)\) 共點 \(M\) 。證明靠角追逐：兩圓交點 \(M\) 對第三組點張出補角。Miquel 點與 Simson 線互為極限：當 \(X, Y, Z\) 退化為垂足，Miquel 點成為 \(P\) 的對偶角色。Miquel 定理是「共圓」概念的網絡化推廣，在離散幾何與競賽幾何中開枝散葉。

一個具體例題#

例題 2.1.1：設 \(P\) 是 \(\triangle ABC\) 外接圓上的一點， \(PA\) 交 \(BC\) 於 \(D\) 。證明： \(D\) 對外接圓的冪等於 \(DB \cdot DC = DA \cdot DP\) ，並由此推導 \(D\) 的垂足與 Simson 線的關係。

解：第一部分：割線 \(DBC\) 與 \(DPA\) 都過點 \(D\) 且交圓於兩點，由圓冪定理：

\[ DB \cdot DC = DA \cdot DP = \mathrm{Pow}(D). \]

第二部分：設 \(X\) 為 \(P\) 到 \(BC\) 的垂足。因 \(P, X, B, D\) 共圓（ \(\angle PXD = \angle PXB = 90°\) ， \(D\) 在 \(BC\) 上， \(PB\) 為直徑），割線定理給出

\[ DX \cdot DB = DP \cdot DA \quad (\text{過 } D \text{ 的兩割線 } DXB \text{ 與 } DPA)， \]

等等——細看：圓 \((PXBD)\) 中，過 \(D\) 的兩條割線是 \(D\text{-}X\text{-}P\) ？不對， \(X\) 在 \(DP\) 之外。正確配置：過 \(D\) 的兩割線為 \(D,B\) （交圓於 \(X\) 與 \(B\) ？ \(X\) 在直線 \(BC\) 上）——直線 \(BC\) 交圓 \((PXBD)\) 於 \(B\) 與 \(X\) ，直線 \(PA\) 交之於 \(P\) 與 \(D\) 自身（ \(D\) 在圓上？）。整理： \(D\) 在圓 \((PXBD)\) 上，故對此圓 \(D\) 冪為零。改用直線 \(BC\) 上的冪： \(DB \cdot DX = 0\) ，此路不通——換圓 \((PXAC)\) ： \(P, X, C, Y\) 共圓，直線 \(BC\) 交之於 \(C, X\) ，直線 \(PA\) 交之於 \(P, A\) ，故

\[ DX \cdot DC = DA \cdot DP = DB \cdot DC, \]

兩邊除以 \(DC \neq 0\) ，得 \(DX = DB\) （有向）。結論：垂足 \(X\) 在直線 \(BC\) 上滿足 \(\overline{DX} = \overline{DB}\) （有向），即 \(X\) 是 \(B\) 關於中點 \(M_X\) （滿足 \(MX = MD\) ）的反射——換言之，Simson 線與 \(BC\) 的交點 \(X\) ，是 \(B\) 對 \(D\) 的鏡像位置，且對三邊輪換地成立。這組一致的中點關係正是 Simson 線存在性的另一證明路徑，也直接給出 Steiner 擺線包絡的參數化入口。

評注：本例展示圓冪方法的節奏——同一個點對不同圓的冪，用不同割線表達，再令相等。這種「冪的等式串聯」是競賽幾何的主幹技術。

歷史啟示#

一個量統一族定理：圓冪把 III.35、III.36、切線定理熔為一條——好的定義是「合併定理的機器」。這與《微積分》中「導數統一切線與速度」的範式同構。
有向量是幾何的解放：Möbius（1827《重心坐標》）與 Carnot 引入的有向長度、有向角，使「內外分類討論」的繁瑣證明坍縮成單一恆等式——符號系統的進步直接壓縮數學的體積。
命名錯位是學科的常態：Simson 線非 Simson 所發現，如同 Euler 常數非 Euler 首創 \(\gamma\) 、Viviani 定理早於 Viviani。讀史當核對第一手文獻。

與其他章節及領域的關聯#

1.1 節：《原本》III.35–36 是圓冪的母體。
2.2、2.3 節：五心與九點圓大量使用圓冪與共圓技術；Simson 線切九點圓族。
3.3 節：反演變換以圓冪為基本不變式（反演是「圓冪平方」的幾何化）。
4.3 節：圓冪的射影化是極點–極線理論；交比在圓上的形式與之同源。
5.2 節：圓冪推廣為二次曲線的方程值與切線理論。
9.2 節：Ceva 與 Menelaus 的乘積等式與圓冪的乘積結構一脈相承。
《微分幾何》一書：圓作為常曲率曲線的極簡模型；反演對應「角度保持的共形變換」，在曲面共形幾何中是基礎工具。

練習#

兩圓交於 \(A, B\) ，過 \(A\) 的任一直線交兩圓於 \(P, Q\) 。證明： \(BP : BQ\) 為定值（與所選直線無關）。（提示：以 \(B\) 為視角的正弦律 + 圓冪。）
證明三圓的根軸共點（根心定理），並用座標法驗證。
設 \(P\) 在 \(\triangle ABC\) 外接圓上，證明 Simson 線平行於 \(P\) 與 Steiner 點（ \(P\) 關於九點圓的對徑考慮下的另一點）連線方向的一個版本：直接證明 \(\angle(\text{Simson 線}, BC) = \angle PA\text{-弧}\) 的對應角。
用圓冪證明：自圓外一點 \(P\) 的兩切線長相等，且切點弦垂直於 \(OP\) 。
思考題：有向長度為何能「合併」內外點的情形？請用「負的距離 = 反方向」的重述，把 III.36（割線–切線）寫成單一有向等式。

進階研讀：圓冪的五個深化場景#

場景一：圓冪與解析幾何的等價。在座標下， \(\mathrm{Pow}(P) = |P - O|^2 - r^2\) 正是圓方程的代入值。更一般地，對二次曲線 \(S(x, y) = 0\) ， \(S(P)\) 的「符號 + 線性化」給出內外分區與切線——這是二次型理論的初等剪影，通往 5.3 節的分類與線性代數的正定/不定型。

場景二：根軸的三種幾何形象。根軸是：等冪點集（度量形象）、兩圓的公共弦方向（當相交時）、反演下的不動線候選（變換形象）。三者的一致性由反演理論最清楚地顯現：以 \(P\) 為反演中心，兩個過 \(P\) 的圓變成兩條直線，根軸變成兩直線的角平分線族——反演把圓冪問題線性化（見 3.3 節）。

場景三：Simson 線與 Steiner 擺線的微積分。設外接圓半徑 \(1\) ， \(P = e^{i\theta}\) 。可算得 Simson 線族的方程，其包絡 deltoid 滿足尖點數 \(3\) 、參數 \(a = r/3\) 的內擺線公式。整個計算只需複數與微積分——初等幾何的「高級定理」常在複平面中變成一行計算，這是《複分析》方法侵入經典幾何的典型例證（Marden 定理、Gauss–Lucas 定理同屬此風）。

場景四：Miquel 網絡與組合幾何。Miquel 定理的「八圓定理」「Clifford 鏈」版本（Clifford 1871）：四圓兩兩相交的六交點中若有四組共圓，則其餘兩組亦然——鏈式結構在更高維持續。這類「閉包性質」預示了組合幾何與拉姆齊理論的趣味：局部圓性按鏈規則傳播為全局圓性。

場景五：圓冪與物理學的勢論。 \(\mathrm{Pow}(P) = |P-O|^2 - r^2\) 在形式上像「常數項平移的勢函數」。根軸即「等勢線」（兩圓勢差為零處）。在三維中，兩球的等勢面是平面（根平面），此觀念在電學（等勢面）、流體力學（Milne-Thomson 圓定理）中實質登場——初等圓冪是二維勢論的第一課，反演則是勢論的鏡像法工具。

補充：圓周角定理的動態證明#

圓周角 \(\angle APB = \frac12 \angle AOB\) （圓心角）是《原本》III.20。動態證明：固定 \(A, B\) ，讓 \(P\) 在圓上滑動——圓周角不變（同弧等角），這「不變性」正是圓冪方法背後的精神：圓是由「對定弦張定角」的點構成的。反過來，這個刻畫給出「四點共圓 \(\Leftrightarrow\) 對角互補 \(\Leftrightarrow\) 同弦等角」的判準——競賽幾何的角追逐，本質上是在圓的這個定義上跳舞。

補充：三個歷史人物的速寫#

人物	年代	貢獻	與本節的關係
Robert Simson	1687–1768	恢復希臘幾何純正傳統，Euclid 註釋權威	被誤冠 Simson 線之名
William Wallace	1768–1843	1797年首證此線；愛丁堡數學教授	真正的發現者
Auguste Miquel	1816–1851	1838年 Miquel 定理；法國中學教師	共圓網絡理論的開端

Simson 的學術風格值得一提：他堅持以希臘原文校勘 Euclid，反對當時流行的「簡化版」教科書——十九世紀初的「幾何純正運動」由他與 Cambridge 學派（Peacock、Whewell 等）共同推動，這場運動塑造了英國數學教育的百年面貌。

名詞速查表（本節出現的核心術語）#

圓冪（power of a point）： \(OP^2 - r^2\) ，過 \(P\) 的割線段乘積。
根軸（radical axis）：對兩圓等冪的點之軌跡（一條直線）。
根心（radical center）：三圓根軸的公共點。
Simson 線：圓上點對三角形三邊的垂足共線。
Steiner 擺線（deltoid）：Simson 線族的包絡，三尖內擺線。
Miquel 點：三邊各取一點後三小圓的公共點。
有向長度 / 有向角：帶符號的度量，使分類證明統一。
極線（polar）： \(xx_0 + yy_0 = r^2\) ；切點弦的推廣（見 4.3 節）。
共軸圓系：具有公共根軸結構的圓族。
Stigler 命名律：發現總以非發現者命名的現象（自我指涉的戲語）。

年表速查（本節涉及的關鍵年份）#

前300：Euclid III.20、III.35、III.36。
1658：Wallis 著作首次涉及垂足共線。
1797：Wallace 首證 Simson 線；同年 Gauss 十七邊形。
1827：Möbius《重心坐標》——有向量的系統化。
1838：Miquel 定理發表。
1858：Steiner 擺線包絡的系統研究（Steiner 退休前的最後工作之一）。
1871：Clifford 四圓鏈定理。
1902：Field 與其他作者把 Simson 線寫入英語競賽教材，經典化完成。

深化問答三則#

問：圓冪為什麼「有資格」被稱為不變量？ 答：因為它不依賴於你選哪條割線——過 \(P\) 的所有割線給出同一乘積。不變量的本義就是「在某組操作下不變的量」：這裡的操作是「旋轉割線」，不變量是乘積。Klein 的變換群綱領（3.1 節）把這個思想普遍化：每一種幾何 = 一個變換群 + 它的不變量。圓冪是歐氏幾何中「點-圓關係」的不變量，Klein 綱領是它的哲學升華。

問：Simson 線的證明為什麼需要「分情形」，而現代教材不需要？ 答：因為現代教材使用有向角（模 \(180°\) ）與有向長度。十九世紀前的幾何學家迴避「負的角度」，故須就 \(P\) 在各弧上分類討論（Euclid 風格）。Möbius 與 Cayley 之後，符號吸收了分類——這是「記號進步消化繁瑣」的又一實例，與負數、複數、虛元（見 5.3 節）的接受史完全平行。

問：初等幾何的這些「小巧定理」在數學中還有地位嗎？ 答：有三重地位。其一，訓練場：圓冪與角追逐培養「不變量思維」與證明手感。其二，試金石：反演、極線、共形映射等強工具的初等應用實例。其三，活研究：Miquel 鏈、Steiner 擺線、動態幾何軟體（GeoGebra 時代）的新發現仍在發表——經典幾何從未死亡，只是換了更快的手（計算機探索 + 證明助手）。

（本節完）