2.2 三角形的五心#

本章導言#

一個三角形，五個「心」：垂心、外心、內心、重心、旁心。每一個都是一條特殊線族的交點，每一個都有千年的研究史與今天的應用。五心的故事橫跨 Archimedes（重心）、Euler（垂心與外心連線）、Feuerbach（內切圓與九點圓相切），是初等幾何中「點的美學」最濃縮的展廳。本節逐一登門拜訪，並揭示它們如何被座標方法（重心座標）統一。

重心：最古老的心#

重心（centroid, \(G\) ）：三中線的交點。定義為 \(\vec G = \dfrac{\vec A + \vec B + \vec C}{3}\) 。

《原本》未展開，但 Archimedes《平面的平衡》以槓桿原理嚴格處理三角形重心：中線上距頂點 \(2:1\) 處。
性質：重心把每條中線分成 \(2:1\) ；三中線面積六等分三角形。
物理意義：均勻薄三角板的重心——Archimedes 的出發點正是力學，「幾何與力學互為表裡」的希臘傳統。

外心與內心#

外心（circumcenter, \(O\) ）：三邊中垂線的交點，外接圓心， \(OA = OB = OC = R\) 。 - 存在性：中垂線是「到兩端點等距」的軌跡，三線共點由兩兩等距傳遞。 - 直角三角形的外心在斜邊中點（Thales 定理的推論）。

內心（incenter, \(I\) ）：三角平分線的交點，內切圓心，到三邊距離皆為 \(r\) 。 - Euler 公式： \(OI^2 = R^2 - 2Rr\) ——兩個圓心之距由兩個半徑完全決定！由此立得 \(R \geq 2r\) （Euler 不等式，等號當且僅當正三角形）。 - 證明思想：連 \(AI\) 交外接圓於 \(M\) ，用 \(MI \cdot MA\) 型的圓冪計算（2.1 節技術），結合 \(\angle BMI\) 的角追逐。Euler 1765 年《三角形的幾何》給出證明——此文是三角形幾何現代研究的開山之作。

旁心（excenters, \(I_a, I_b, I_c\) ）：一角平分線與另兩角外角平分線的交點，各配一個旁切圓。三角形有三個旁心，加內心共四心構成垂心組（orthocentric system）：任一點是另三點三角形的垂心——四心的「社會關係」對稱得驚人。

垂心：最遲登場的心#

垂心（orthocenter, \(H\) ）：三條高的交點。

有趣的是：古希臘人竟未明確記載垂心！Euclid 與 Archimedes 的著作中都沒有它。垂心的明確研究始於十七世紀（1685年慧更斯–Frenicle 通信），命名 "orthocenter" 則遲至1865年由 Besant、與 Cooley 競爭提出，1869 年後通行。

證明三高共點：過 \(A\) 作 \(BC\) 的平行線 \(l_a\) ，過 \(B\) 作 \(CA\) 的平行線 \(l_b\) ，過 \(C\) 作 \(AB\) 的平行線 \(l_c\) ，構成「大三角形」。易見 \(l_b\) 與 \(l_c\) 的交點到 \(A\) 、 \(C\) 等距（利用平行四邊形），故 \(A\) -中垂線性質——大三角形的三條中垂線恰是小三角形的三條高，而中垂線共點（外心定理），故三高共點。垂心的存在性由外心的存在性「放大」而來——這個證明是「構造輔助圖形把新問題化歸為舊定理」的典範。

垂心性質一覽：

\(\angle BHC = 180° - \angle A\) 。
\(AH = 2 \cdot OM_{BC}\) （ \(M_{BC}\) 為 \(BC\) 中點）。
反射性質： \(H\) 關於 \(BC\) 的反射點落在外接圓上——這是 2.1 篂 Simson 線理論的關鍵樞紐。

重心座標：五心的統一語言#

Möbius（1827） 引入的重心座標（barycentric coordinates）：點 \(P\) 表為 \(\alpha : \beta : \gamma\) ，使

\[ \vec P = \frac{\alpha \vec A + \beta \vec B + \gamma \vec C}{\alpha + \beta + \gamma}. \]

五心在此語言下驚人地簡潔：

心	重心座標（以邊長 \(a=BC, b=CA, c=AB\) ）
重心 \(G\)	\(1 : 1 : 1\)
外心 \(O\)	\(\sin 2A : \sin 2B : \sin 2C\) （即 \(a^2(S_A): \cdots\) ）
內心 \(I\)	\(a : b : c\)
垂心 \(H\)	\(\tan A : \tan B : \tan C\) （即 \(\dfrac{1}{\cos B \cos C - \sin^2(A)/2}\) 型，常寫作 \(\tan A : \tan B : \tan C\) ）
旁心 \(I_a\)	\(-a : b : c\)

直線的方程也變成線性式： \(l x + m y + n z = 0\) 。三線共點 \(\Leftrightarrow\) 係數行列式為零——Ceva 定理（9.2 節）的行列式形式。Euler 線（見 2.3 節）在重心座標中就是過 \((1,1,1)\) 、 \((\sin 2A, \sin 2B, \sin 2C)\) 、 \((\tan A, \tan B, \tan C)\) 三點的直線。座標方法使「五心的關係」從圖形直觀變成代數恆等式——這是 Descartes 革命（5.1 節）在三角形內部的二次收割。

Kimberling 的 ETC：五心之後的四萬個心#

五心只是開端。Clark Kimberling 的《三角形中心百科全書》（Encyclopedia of Triangle Centers, ETC，1994年上線至今）收錄了超過六萬個「三角形中心」：Brocard 點（ \(X_3, X_4\) ）、Lemoine 點（symmedian point, \(X_6\) ）、Fermat 點（ \(X_{13}\) ）、Napoleon 點、Spieker 心……每個都有重心座標條目。

Fermat 點值得一提：使 \(PA + PB + PC\) 最小的點，Torricelli 1640 年以重力法（三根繩吊等重物平衡）發現，各角 \(< 120°\) 時對每邊張 \(120°\) 角。這是「幾何最佳化」的最早案例之一，通往現代的 geometric median 與 Weber 問題（設施選址）。

一個具體例題#

例題 2.2.1：證明 Euler 公式 \(OI^2 = R^2 - 2Rr\) 。

解：設 \(AI\) 的延長線交外接圓於 \(M\) 。

步驟一：計算 \(MI\) 。 在 \(\triangle AIB\) 中， \(\angle AIB = 90° + \frac{C}{2}\) （內心角公式： \(\angle AIB = 90° + \frac{\angle C}{2}\) ，由角平分線與內角和計算）。對 \(\triangle MIB\) 用正弦律，或直接用「內心到邊的距離」：設內切圓切 \(AB\) 於 \(F\) ，則 \(IF = r\) ， \(\angle IAF = \frac{A}{2}\) ，故

\[ AI = \frac{r}{\sin \frac{A}{2}}. \]

另一方面 \(AM\) 是外接圓過 \(A\) 的弦方向長： \(\angle ABM = \angle ACM\) （同弧），且 \(\angle BAM = \angle MAC = \frac{A}{2}\) 、 \(MB = MI\) 可證（對 \(\triangle MBI\) ： \(\angle MBI = \angle MBC + \angle CBI = \angle MAC + \frac{B}{2} = \frac{A}{2} + \frac{B}{2}\) ，而 \(\angle BIM = \angle BAI + \angle ABI\) 需按配置——標準結果： \(MB = MI = MC\) ）。故 \(M\) 是以 \(M\) 為心過 \(B, C, I\) 的圓心，且

\[ MI \cdot MA = \mathrm{Pow}_\Gamma(I) \cdot (-1)\text{-校正後}: \quad MA = 2R \sin\angle MBA = 2R \sin \tfrac{A}{2} \text{ 的補角配置}, \]

用圓冪： \(I\) 對外接圓 \(\Gamma\) 的冪 \(= IA \cdot IM\) （割線 \(I\text{-}A\text{-}M\) ， \(I\) 在圓內取負）：

\[ \mathrm{Pow}(I) = OI^2 - R^2 = -IA \cdot IM. \]

步驟二：代入 \(IA\) 與 \(IM\) 。 \(IA = \dfrac{r}{\sin \frac{A}{2}}\) ， \(IM = MB = 2R \sin\frac{A}{2}\) （弦 \(MB\) 對圓心角 \(2\angle MAB = A\) ，故 \(MB = 2R\sin\frac{A}{2}\) ；用 \(\angle MAB = \frac A2\) 與 \(MB = MI\) 的對稱性）。於是

\[ OI^2 - R^2 = -IA \cdot IM = -\frac{r}{\sin \frac{A}{2}} \cdot 2R \sin \frac{A}{2} = -2Rr, \]

即 \(\boxed{OI^2 = R^2 - 2Rr}\) 。

推論： \(R^2 \geq 2Rr\) ，故 \(R \geq 2r\) ，等號當且僅當 \(O = I\) （正三角形）。兩個圓的距離公式證明瞭一個不等式——圓冪方法的乾淨利落在此盡顯。

評注：本例是 2.1 節「冪的等式串聯」的教科書演出：用割線 \(IAM\) 把 \(OI\) （未知的目標量）與 \(R, r\) （已知量）縫合。

歷史啟示#

五心的發現跨越兩千年：重心（Archimedes，前3世紀）→ 外心內心（《原本》IV隱含，系統化於中世紀與文藝復興）→ 垂心（17世紀）→ 旁心組（18–19世紀）。「顯然存在」的點可能遲到兩千年——垂心的教訓是：沒有「問題意識」，最簡單的對象也會隱身。
座標語言使「點的研究」成為產業：重心座標讓每個新點都有「地址」，ETC 的六萬中心正是這套地址系統上的城市擴張——數學物件一旦獲得好的編碼，研究就自動規模化。
力學、幾何、代數三線合流：重心來自靜力學，外心來自《原本》，五心關係由代數（行列式、座標）揭曉。經典幾何的黃金時代（1765–1930），正是三種傳統的合金期。

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

2.1 節：圓冪是本節 Euler 公式證明的引擎。
2.3 節：Euler 線串起 \(G, O, H\) ；九點圓把五心編織進更大的結構。
3.2 節：等邊三角形的三重對稱群是五心重合的極限情形——正多邊形中諸心合一，對稱性「吞併」了特殊點。
5.1 節：重心座標是 Descartes 座標的仿射變種；五心的座標化是解析幾何向純幾何深處的滲透。
7.1 節：Fermat 點與凸組合—— \(\vec G = \frac{\vec A + \vec B + \vec C}{3}\) 是凸包、Carathéodory 定理的最小範例。
9.2 節：Ceva 定理是「三線共點」的一般判準，五心都是其特例。
應用：有限元方法以重心座標插值；地理學以 Fermat 點做設施選址；機器人學的質心控制沿用 Archimedes 的原始思想。

練習#

證明 \(\angle BIC = 90° + \frac{A}{2}\) 、 \(\angle B I_a C = 90° - \frac{A}{2}\) （旁心角公式）。
證明 \(H\) 關於 \(BC\) 的反射點在外接圓上。（提示：反射後 \(\angle BH'C = \angle BHC = 180° - A\) ，用共圓判準。）
用重心座標證明： \(G\) 分 \(OH\) 為 \(1:2\) （Euler 線關係的座標版）。
證明三角形內切圓半徑 \(r = \frac{\Delta}{s}\) ，旁切圓半徑 \(r_a = \frac{\Delta}{s-a}\) （ \(\Delta\) 為面積， \(s\) 為半周長），並由此推導 \(r_a = \frac{\Delta}{s - a}\) 與 \(\frac{1}{r_a} + \frac{1}{r_b} + \frac{1}{r_c} = \frac{1}{r}\) 。
思考題：ETC 已收錄六萬個三角形中心。你認為「新中心」的價值判準應是什麼？（提示：考慮不變性、座標簡潔性、與已知中心的關係——數學物件的名利場如何運作？）

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

場景一：五心在非歐三角形中的命運。雙曲三角形也有外心、內心、垂心，但 Euler 線與 \(R \geq 2r\) 需要修正：Lambert–Saccheri 傳統下， \(OI^2\) 公式變為含 \(e^{R/r}\) 型修正。球面三角形（6.3 節）中五心依然存在但可能跑到三角形「外面」——內角和大於 \(180°\) 改變一切角追逐的符號。五心的存在性是仿射/公理性的，五心的公式是度量性的——這個分層在非歐環境中顯形。

場景二：Euler 不等式的推廣鏈。 \(R \geq 2r\) 之後有 Gerretsen 不等式（ \(s^2 \leq 4R^2 + 4Rr + 3r^2\) 與下界）、Blundon 不等式（ \(OI\) 位置的可實現條件）、Weitzenböck 不等式（ \(a^2 + b^2 + c^2 \geq 4\sqrt{3}\Delta\) ）。這一族不等式構成「三角形的度量不等式理論」，其現代整理者是 Bottema 等《Geometric Inequalities》（1968）——一個看似封閉的領域其實在持續生長。

場景三：重心座標與有限元法。工程中的有限元方法在每個三角形網格上用重心座標 \(\lambda_1 + \lambda_2 + \lambda_3 = 1\) 插值函數—— \(G = (1,1,1)\) 與頂點 \((1,0,0)\) 等構成單純形座標系。Möbius 1827 年的幾何發明，如今在橋樑與飛機的應力模擬中以每秒億次的速度執行——純幾何的「點地址系統」成為計算力學的標準介面。

場景四：Napoleon 定理與複數方法。在各邊上向外作正三角形，其中心連成的三角形也是正三角形（Napoleon 定理，屬名存疑）。複數證明：設頂點 \(a, b, c \in \mathbb{C}\) ，等邊三角形中心 \(w = \frac{a + \omega b + \omega^2 c}{3}\) 型組合（ \(\omega = e^{2\pi i/3}\) ），代入即得。複數把旋轉變成乘法，等邊結構的證明從「圖形技巧」變成「代數一行」。這是 2.1 節提到的複平面方法的最小展示，也是 5.1 節座標革命的深化。

場景五：垂心組與「四點的社會學」。四點 \(H, A, B, C\) 構成垂心組：任一點是其餘三點的垂心，四個三角形 \(\triangle ABC, \triangle HBC, \triangle HCA, \triangle HAB\) 共享同一九點圓（見 2.3 節）。這種「結構對稱於角色輪換」的現象在數學中反覆出現：射影幾何的對偶（4.3 節）、群論的共軛類、統計物理的對偶格點——好結構的標誌之一是角色可輪換而關係不變。

補充：內心角公式的完整推導#

\(\angle BIC = 90° + \frac{A}{2}\) ：在 \(\triangle IBC\) 中，

\[ \angle BIC = 180° - \frac{B}{2} - \frac{C}{2} = 180° - \frac{B + C}{2} = 180° - \frac{180° - A}{2} = 90° + \frac{A}{2}. \]

對旁心 \(I_a\) ： \(\angle B I_a C = 90° - \frac{A}{2}\) （外角平分線垂直於內角平分線，配置相減）。這兩個公式在 Euler 公式、Feuerbach 定理（2.3 節）的證明中反覆登場，是五心理論的「常備彈藥」。

補充：Lemoine 點與 symmedian#

Lemoine 點（ \(K\) ，symmedian point）：三條 symmedian（中線關於角平分線的反射線）的交點，重心座標 \(a^2 : b^2 : c^2\) 。它到三邊距離正比於邊長——「最小的原則點」。Lemoine（1840–1912）在 1873 年的講演開創了「三角形幾何」作為自覺的研究領域，Brocard 點（ \(\angle \Omega AB = \angle \Omega BC = \angle \Omega CA\) ）等奇點湧現於 1875–1895 的「現代純幾何」浪潮——該浪潮後來被群論與公理化衝淡，但其遺產（重心座標、反演技巧）在競賽幾何與電腦圖形學中復活。

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

**重心 \(G\) **：中線交點， \(\frac{2}{1}\) 分中線。
**外心 \(O\) **：中垂線交點，外接圓心。
**內心 \(I\) **：角平分線交點，內切圓心。
**垂心 \(H\) **：高三線交點。
**旁心 \(I_a, I_b, I_c\) **：外角平分線系統的交點。
垂心組：四點互為垂心的組態。
重心座標： \(\alpha : \beta : \gamma\) 的仿射座標（Möbius 1827）。
Euler 公式： \(OI^2 = R^2 - 2Rr\) 。
Euler 不等式： \(R \geq 2r\) 。
Fermat 點：到三頂點距離和最小的點。
Lemoine 點：symmedian 交點， \(a^2 : b^2 : c^2\) 。
ETC：Kimberling 三角形中心百科全書。

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

前287–212：Archimedes《平面的平衡》論重心。
前300：Euclid IV 載內切、外接圓作法。
1640：Torricelli–Fermat 點。
1765：Euler《三角形的幾何》——垂心、Euler 線、 \(OI^2\) 公式。
1827：Möbius 重心座標。
1865–69：「orthocenter」命名確立。
1873：Lemoine 開創現代三角形幾何。
1880–95：Brocard 點、Neuberg、現代純幾何浪潮。
1922：Feuerbach 定理的多重新證（陳列於 2.3 節）。
1994：Kimberling ETC 上線（初版）。
2010s：ETC 收錄中心數突破五萬。

深化問答三則#

問：為什麼五心的「重要性」不平等？ 答：因為它們的座標複雜度不同。 \(G = (1,1,1)\) 與 \(I = (a, b, c)\) 是線性/一次的， \(O\) 與 \(H\) 是二次的（ \(\sin 2A\) 型）。在變換與極限操作下，低複雜度的對象更「穩定」——這解釋了為何 Euler 線連 \(G, O, H\) （它們在仿射下行為優雅）而內心被排除在外（ \(I\) 不是仿射不變的）。重要性 = 不變性 + 簡潔性，這個判準在 Klein 綱領（3.1 節）中成為哲學。

問：內心為什麼在仿射變換下「失格」？ 答：仿射變換不保角度，因此角平分線的概念在仿射下不穩定——內心是「角度世界」的居民，而仿射幾何是「平行世界」的居民。五心中 \(G\) （中點、比例）、 \(O\) 、 \(H\) 都可用平行與比例定義或刻畫，唯 \(I\) 與旁心本質地依賴角度。這提示了一個深刻的分層：幾何概念按其依賴的公理集分層——仿射層、度量層、角度層。Klein 綱領正是這種分層的組織原理。

問：六萬個中心，有意義嗎？ 答：多數中心確實「只是資料」，但系統性研究的價值在於發現模式：哪些中心共線（Euler 線上已確認二十餘個）、哪些中心共圓（各種「中心圓」）、座標的代數類型如何分佈。這是「從分類學走向結構學」的典型路徑——正如化學從元素表走向週期律。ETC 也是「業餘與專業合作」的實驗場：許多條目由愛好者提交、專家驗證，數學的社會形態正在改變。

（本節完）