Appearance
平面几何核心定理
平面几何是数学竞赛中最具美感的板块之一。掌握核心定理及其证明思路，是解决竞赛几何题的基础。本文将系统梳理平面几何中最重要的定理，并结合例题展示其应用。
一、塞瓦定理（Ceva's Theorem）
[!定理] 塞瓦定理（Ceva） 在 $\triangle ABC$中，点$D$、$E$、$F$分别在边$BC$、$CA$、$AB$上，则$AD$、$BE$、$CF$ 三线共点的充要条件是： $$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1$$
面积比证法
设三线交于点 $P$，则： $$\frac{BD}{DC} = \frac{S_{\triangle ABD}}{S_{\triangle ADC}} = \frac{S_{\triangle PBD}}{S_{\triangle PDC}} = \frac{S_{\triangle ABP}}{S_{\triangle APC}}$$
同理可得 $\frac{CE}{EA} = \frac{S_{\triangle BCP}}{S_{\triangle ABP}}$，$\frac{AF}{FB} = \frac{S_{\triangle APC}}{S_{\triangle BCP}}$
三式相乘即得结论。这个证明方法的核心在于：将线段比转化为面积比，这是处理共点问题的经典技巧。
塞瓦定理的角元形式
设 $AD$、$BE$、$CF$ 三线共点，则： $$\frac{\sin \angle BAD}{\sin \angle CAD} \cdot \frac{\sin \angle CBE}{\sin \angle ABE} \cdot \frac{\sin \angle ACF}{\sin \angle BCF} = 1$$ 角元形式在处理含有角平分线的问题时尤为方便，因为角平分线处的两个角相等。
塞瓦定理与梅涅劳斯定理的对偶关系
塞瓦定理处理三线共点问题，梅涅劳斯定理处理三点共线问题，二者在射影几何中是一对对偶命题。在平面中，点的共线与线的共点通过射影对偶原理相互转化。
例题 1：用塞瓦定理证三角形中线共点（重心）
在 $\triangle ABC$ 中，$D$、$E$、$F$分别为$BC$、$CA$、$AB$ 的中点。 则 $BD=DC$，$CE=EA$，$AF=FB$， 故 $\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1 \cdot 1 \cdot 1 = 1$， 由塞瓦定理，三条中线 $AD$、$BE$、$CF$共点，即重心$G$。
二、梅涅劳斯定理（Menelaus' Theorem）
[!定理] 梅涅劳斯定理（Menelaus） 一条直线与 $\triangle ABC$的三边$BC$、$CA$、$AB$（或其延长线）分别交于点 $D$、$E$、$F$，则 $D$、$E$、$F$ 三点共线的充要条件是： $$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1$$ 注意：这里的有向线段比与塞瓦定理符号相反！在考虑有向线段时，塞瓦定理乘积为 $+1$，梅涅劳斯定理乘积为 $-1$。
面积证明法
过 $C$作$AB$的平行线交$DF$于$G$，利用相似三角形关系可得证。梅涅劳斯定理的证明方法与塞瓦定理高度对称，但方向相反，这使得它在处理共线条件时成为首选工具。
例题 2：用梅涅劳斯定理证笛沙格定理
笛沙格定理：若两个三角形对应顶点的连线共点，则对应边的交点共线。
设 $\triangle ABC$和$\triangle A'B'C'$满足$AA'$、$BB'$、$CC'$交于一点$O$。 设 $AB \cap A'B' = P$，$BC \cap B'C' = Q$，$CA \cap C'A' = R$。
考虑 $\triangle OAB$被直线$A'B'P$ 所截，由梅涅劳斯定理得： $$\frac{OA'}{A'A} \cdot \frac{AP}{PB} \cdot \frac{BB'}{B'O} = 1$$ 类似地写出另外两个三角形的梅涅劳斯关系，三式相乘并利用塞瓦定理于 $\triangle ABC$和点$O$，即可导出 $P$、$Q$、$R$ 共线。
三、托勒密定理（Ptolemy's Theorem）
[!定理] 托勒密定理（Ptolemy） 在圆内接四边形 $ABCD$ 中，对角线的乘积等于两组对边乘积之和： $$AC \cdot BD = AB \cdot CD + AD \cdot BC$$
证明思路
在对角线 $BD$上取点$E$使$\angle BAE = \angle CAD$，利用 $\triangle ABE \sim \triangle ACD$和$\triangle AED \sim \triangle ABC$，导出 $BE \cdot AC = AB \cdot CD$和$ED \cdot AC = AD \cdot BC$，相加即得。
托勒密不等式
[!重要] 托勒密不等式 对任意四边形 $ABCD$（不一定内接于圆），有： $$AC \cdot BD \leq AB \cdot CD + AD \cdot BC$$ 等号成立当且仅当 $A$、$B$、$C$、$D$ 四点共圆。
托勒密不等式是判断四点共圆的有力工具，也是竞赛中常用的不等式之一。
例题 3：用托勒密定理求圆内接四边形对角线长
已知圆内接四边形 $ABCD$ 中，$AB=3$，$BC=4$，$CD=5$，$DA=6$，求对角线 $AC$ 的长。
设 $AC=x$，$BD=y$。由托勒密定理：$xy = 3 \times 5 + 4 \times 6 = 15 + 24 = 39$。
再由 $\triangle ABC$和$\triangle ADC$中用余弦定理（利用$\angle B + \angle D = 180^\circ$，$\cos D = -\cos B$）： 在 $\triangle ABC$ 中：$x^2 = 3^2 + 4^2 - 2 \cdot 3 \cdot 4 \cos B = 25 - 24\cos B$ 在 $\triangle ADC$ 中：$x^2 = 5^2 + 6^2 - 2 \cdot 5 \cdot 6 \cos D = 61 + 60\cos B$ 联立解得 $\cos B = \frac{36}{84} = \frac{3}{7}$，$x^2 = 25 - 24 \cdot \frac{3}{7} = 25 - \frac{72}{7} = \frac{103}{7}$，故 $AC = \sqrt{\frac{103}{7}}$。
四、西姆松定理（Simson's Theorem）
[!定理] 西姆松定理（Simson） 三角形外接圆上任意一点到三边所在直线的垂足共线，这条线称为该点关于三角形的西姆松线。
逆定理：若一点到三角形三边所在直线的垂足共线，则该点在三角形的外接圆上。
证明思路
设 $P$在$\triangle ABC$ 的外接圆上，$D$、$E$、$F$分别为$P$到$BC$、$CA$、$AB$的垂足。利用$P$、$D$、$C$、$E$ 四点共圆（$\angle PDC = \angle PEC = 90^\circ$），证明 $\angle PDE = \angle PFE$即可推出$D$、$E$、$F$ 共线。
西姆松定理与垂心密切相关：三角形垂心 $H$ 关于三边的西姆松线就是各边上的高。西姆松线在九点圆等进阶概念中也有重要应用。
五、圆幂定理
[!定理] 圆幂定理（统一形式） 对于平面上一点 $P$和半径为$r$的圆$O$，定义点 $P$关于圆$O$ 的圆幂为： $$\text{Pow}(P) = OP^2 - r^2$$
若过 $P$的直线交圆于$A$、$B$两点，则$\overrightarrow{PA} \cdot \overrightarrow{PB} = OP^2 - r^2$（有向线段乘积）。
三种特殊情况
| 位置关系 | 定理名称 | 结论 |
|---|---|---|
| $P$在圆内 | 相交弦定理 | $PA \cdot PB = PC \cdot PD$ |
| $P$在圆外（割线） | 割线定理 | $PA \cdot PB = PC \cdot PD$ |
| $P$在圆外（一切线） | 切割线定理 | $PT^2 = PA \cdot PB$ |
圆幂定理将看似不同的三种情形统一为同一个代数关系，体现了数学中"统一性"的美学。在解题中，圆幂定理常用于处理与圆相关的线段长度关系。
例题 4：圆幂定理综合应用
两圆 $O_1$、$O_2$相交于$A$、$B$两点，过$A$作直线交两圆于$C$、$D$，过 $B$作直线交两圆于$E$、$F$。求证：$CE \parallel DF$。
连接 $AB$、$CD$、$EF$。由圆幂定理，在圆 $O_1$ 中：$AC \cdot AD = AB \cdot AE$（或直接利用等角关系）。 更直接的方法：利用 $\angle CEB = \angle CAB$（同弧 $CB$）和 $\angle DFB = \angle DAB$（同弧 $DB$），导出 $\angle CEB + \angle DFB = 180^\circ$，进而得 $CE \parallel DF$。
六、根轴定理
[!定理] 根轴定理（Radical Axis） 到两圆幂相等的点的轨迹是一条直线，称为两圆的根轴。
- 若两圆相交，根轴为公共弦所在直线
- 若两圆相切，根轴为过切点的公切线
- 若两圆相离，根轴存在且垂直于连心线
根心定理（蒙日定理）
[!重要] 根心定理 三个圆两两的根轴交于一点（或互相平行），该点称为三个圆的根心。
根心定理在证明三点共线或三线共点的问题中非常有用，尤其是涉及多个圆的问题。
例题 5：根轴定理应用
已知 $\triangle ABC$，以 $AB$、$AC$为直径分别作圆$O_1$、$O_2$。求证：两圆的根轴经过 $BC$ 的中点。
设 $BC$的中点为$M$。计算 $M$ 关于两圆的幂。 圆 $O_1$以$AB$为直径，半径$r_1 = AB/2$，$MO_1^2 = \cdots$。通过计算可得 $M$到两圆的幂相等，故$M$ 在根轴上。
七、定理之间的内在联系
这些定理并非孤立存在，它们之间有着深刻的关联：
- 塞瓦定理与梅涅劳斯定理的对偶关系揭示了射影几何中点与线的对称性
- 圆幂定理与根轴定理都源于同一定义式 $OP^2 - r^2$
- 托勒密定理可以看作圆幂定理在四边形中的体现
- 西姆松定理可视为塞瓦定理在极限情况下的推论
学习建议
- 先掌握每个定理的充要条件形式，理解"正向"和"反向"两种用法
- 注意有向线段的正负号约定，避免符号错误
- 多练习面积比证法，这是处理共点共线问题的通用方法
- 将定理联系在一起记忆，形成知识网络