以下是**平面几何中的经典定理**板块的详细拆分，每个定理附带一个简单例题（Demo），帮助理解这些定理在实际题目中的应用。

---

## 平面几何中的经典定理（详细拆分版）

这些定理是奥数几何解题的"利器"，掌握它们可以大大简化证明过程。这些定理往往可以直接使用，不需要现场推导。

---

### 5.1 梅涅劳斯定理

**定理内容**：在△ABC中，一条直线与三边BC、CA、AB（或延长线）分别交于D、E、F，则有：
\[\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1\]
（注意：所有线段都是有向线段，但初中奥数中通常取正值，通过"单比"乘积为1来判断）

**记忆口诀**：顶点到交点/交点到顶点，绕一圈。

**Demo**：
> **题目**：在△ABC中，D是BC的中点，E在AC上且AE:EC=1:2，AD与BE交于F，延长CF交AB于G。求AG:GB。
>
> **解析**：
> 对△ABC和截线（点D、E、F所在直线）应用梅涅劳斯定理？不对，这里需要先找截线。
> 考虑△ABD和截线CFG？有点乱。
> 更直接：对△ABD和截线CF（经过C、F、G？）复杂。
> 换个思路：对△ABE和截线DC？也不对。
> 经典解法：对△ABD和截线CFE（C在BD延长线上？）需要画图。
> 其实这题标准解法是用梅涅劳斯两次，但演示不方便。直接给个简单应用：
>
> **简化版题目**：在△ABC中，D是BC的中点，E是AC上一点且AE=EC，F是AB上一点且AF=2FB，直线DE交AB于G，求AG:GB。
>
> **解析**：
> 对△ABC和截线D、E、G应用梅涅劳斯定理：
> \(\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AG}{GB} = 1\)
> 代入BD=DC，所以\(\frac{BD}{DC}=1\)；CE=EA，所以\(\frac{CE}{EA}=1\)。
> 得\(1 \times 1 \times \frac{AG}{GB} = 1\)，所以AG=GB，即AG:GB=1:1。

---

### 5.2 塞瓦定理

**定理内容**：在△ABC中，三条线段AD、BE、CF共点（交于一点）的充要条件是：
\[\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1\]

**记忆**：与梅涅劳斯形式一样，但塞瓦是共点，梅涅劳斯是共线。

**Demo**：
> **题目**：在△ABC中，AD是中线，BE是角平分线，CF是高线。求证：这三条线共点当且仅当三角形是等腰三角形。
>
> **解析**：
> 设AB=c，BC=a，CA=b。
> AD是中线：BD=DC，所以\(\frac{BD}{DC}=1\)。
> BE是角平分线：由角平分线定理，\(\frac{AE}{EC} = \frac{AB}{BC} = \frac{c}{a}\)，所以\(\frac{CE}{EA} = \frac{a}{c}\)。
> CF是高线：需要求AF/FB。在直角三角形中，由射影定理或面积法可得\(\frac{AF}{FB} = \frac{c\cos A}{a\cos B}\)？复杂。
> 其实更好的例子：
>
> **简单版**：在△ABC中，D、E、F分别是BC、CA、AB上的点，且BD=2DC，CE=3EA，AF=4FB。判断AD、BE、CF是否共点。
>
> **解析**：
> 计算乘积：\(\frac{2}{1} \times \frac{3}{1} \times \frac{4}{1} = 24 \neq 1\)，所以不共点。

---

### 5.3 托勒密定理

**定理内容**：圆内接四边形中，两条对角线的乘积等于两组对边乘积之和。
\[AC \cdot BD = AB \cdot CD + AD \cdot BC\]

**推论**：当四边形不是圆内接时，\(AC \cdot BD < AB \cdot CD + AD \cdot BC\)。

**Demo**：
> **题目**：正五边形ABCDE中，对角线AC和BE交于P。求证：\(\frac{AC}{AB} = \frac{AB}{BC}\)。
>
> **解析**：
> 这是正五边形的黄金分割性质。但用托勒密更简单：
> 在四边形ABCD中（A、B、C、D是正五边形的四个顶点，它们共圆），
> 由托勒密定理：\(AC \cdot BD = AB \cdot CD + AD \cdot BC\)。
> 正五边形中，AB=BC=CD=DE=EA（边相等），AC=BD=AD=CE（对角线相等）。
> 设边长为1，对角线长为d，则：
> \(d \cdot d = 1 \cdot 1 + d \cdot 1\)
> \(d^2 = 1 + d\)
> \(d^2 - d - 1 = 0\)
> 解得 \(d = \frac{1+\sqrt{5}}{2}\)（黄金分割数）。
> 所以\(\frac{AC}{AB} = d = \frac{AB}{BC}\)（因为AB=1，BC=1，\(\frac{AB}{BC}=1\)？这里要小心：\(\frac{AB}{BC}=1\)，但\(\frac{AC}{AB}=d\)，不相等。说明我记错了，应该是\(\frac{AC}{AB} = \frac{AB}{BC}\)意味着AC/AB = AB/BC，即\(d/1 = 1/1\)？矛盾。
> 实际上正五边形中，对角线/边长 = 黄金分割数，且边长/对角线 = 黄金分割数的倒数，所以\(\frac{AC}{AB} = \phi\)，\(\frac{AB}{BC} = 1\)，不相等。
> 换个常见的托勒密例题：
>
> **标准例题**：等边三角形ABC外接圆上一点P在弧BC上，求证：PA = PB + PC。
> （前面几何部分已证过，这里不再重复）

---

### 5.4 西姆松定理

**定理内容**：从三角形外接圆上一点向三边（或延长线）作垂线，则三个垂足共线。这条线叫西姆松线。

**Demo**：
> **题目**：在△ABC中，AD是BC边上的高，P是外接圆上一点（不与A、B、C重合），过P作BC、CA、AB的垂线，垂足分别为D'、E'、F'。求证：D'、E'、F'共线。
>
> **解析**：
> 这是西姆松定理的直接结论，不需要证明。
> 应用：如果题目中出现"从圆上一点向三角形三边作垂线"，可以直接得到三垂足共线。

---

### 5.5 欧拉线定理

**定理内容**：三角形的外心O、重心G、垂心H三点共线，且OG : GH = 1 : 2。

**Demo**：
> **题目**：已知△ABC的垂心H(2,3)，重心G(3,4)，求外心O的坐标。
>
> **解析**：
> 由欧拉线性质，G在OH上，且OG:GH=1:2。
> 设O(x,y)，由定比分点公式（G分OH的比为OG:GH=1:2，即O到G占1份，G到H占2份）：
> \(G = \frac{2O + H}{3}\)
> 代入：(3,4) = (2(x,y) + (2,3))/3
> 2(x,y) + (2,3) = (9,12)
> 2(x,y) = (7,9)
> (x,y) = (3.5, 4.5)
> 所以O(3.5, 4.5)。

---

### 5.6 九点圆定理

**定理内容**：任意三角形中，三边的中点、三条高的垂足、以及垂心与三个顶点连线的中点，这九点共圆。这个圆叫九点圆（或欧拉圆）。九点圆的圆心是外心和垂心连线的中点，半径是外接圆半径的一半。

**Demo**：
> **题目**：在Rt△ABC中，∠A=90°，AB=6，AC=8，求九点圆的半径。
>
> **解析**：
> 直角三角形中，斜边BC是外接圆的直径。
> BC = √(6²+8²)=10，所以外接圆半径R=5。
> 九点圆半径 = R/2 = 2.5。
> 另外，九点圆的圆心是斜边中点与直角顶点垂足？实际上直角三角形的九点圆圆心在斜边中点上？验证一下：直角三角形的垂心就是直角顶点A，外心是斜边中点M，所以九点圆圆心是AM的中点，半径是R/2=2.5。

---

### 5.7 斯特瓦特定理

**定理内容**：在△ABC中，D是BC上一点，则：
\[AB^2 \cdot DC + AC^2 \cdot BD = AD^2 \cdot BC + BD \cdot DC \cdot BC\]

**记忆**：可以用余弦定理或勾股定理推导。

**Demo**：
> **题目**：在△ABC中，AB=5，AC=6，BC=7，AD是角平分线，求AD的长度。
>
> **解析**：
> 由角平分线定理：\(\frac{BD}{DC} = \frac{AB}{AC} = \frac{5}{6}\)，又BD+DC=7，所以BD=35/11，DC=42/11。
> 由斯特瓦特定理：
> \(AB^2 \cdot DC + AC^2 \cdot BD = AD^2 \cdot BC + BD \cdot DC \cdot BC\)
> \(25 \times \frac{42}{11} + 36 \times \frac{35}{11} = AD^2 \times 7 + \frac{35}{11} \times \frac{42}{11} \times 7\)
> \(\frac{1050}{11} + \frac{1260}{11} = 7AD^2 + \frac{35 \times 42 \times 7}{121}\)
> \(\frac{2310}{11} = 7AD^2 + \frac{10290}{121}\)
> \(210 = 7AD^2 + \frac{10290}{121}\)
> \(7AD^2 = 210 - \frac{10290}{121} = \frac{25410 - 10290}{121} = \frac{15120}{121}\)
> \(AD^2 = \frac{2160}{121}\)，所以 \(AD = \frac{\sqrt{2160}}{11} = \frac{12\sqrt{15}}{11}\)。

---

### 5.8 婆罗摩笈多定理

**定理内容**：圆内接四边形中，对角线互相垂直的充要条件是一组对边的平方和等于另一组对边的平方和。
\[AC \perp BD \iff AB^2 + CD^2 = AD^2 + BC^2\]

**推广**：也适用于圆内接四边形中，若对角线垂直，则过交点向一边作垂线必平分对边。

**Demo**：
> **题目**：圆内接四边形ABCD中，AC⊥BD，AB=3，BC=4，CD=5，求AD。
>
> **解析**：
> 由婆罗摩笈多定理：\(AB^2 + CD^2 = AD^2 + BC^2\)
> \(3^2 + 5^2 = AD^2 + 4^2\)
> \(9+25 = AD^2 + 16\)
> \(34 = AD^2 + 16\)
> \(AD^2 = 18\)
> \(AD = 3\sqrt{2}\)。

---

### 5.9 蝴蝶定理

**定理内容**：过圆中弦AB的中点M作两条弦CD和EF，连接CF和ED分别交AB于P、Q，则M是PQ的中点。

**名字由来**：图形像蝴蝶。

**Demo**：
> **题目**：在⊙O中，弦AB的中点为M，过M作两条弦CD、EF，连接CF交AB于P，连接ED交AB于Q。求证：MP = MQ。
>
> **解析**：
> 这是蝴蝶定理本身，不需要证明。
> 应用：如果题目中出现弦的中点，过中点作两条弦，然后连接交点，可以直接得到中点性质。

---

### 5.10 帕斯卡定理

**定理内容**：圆内接六边形（可以退化为五边形、四边形）的三组对边的交点共线。这条线叫帕斯卡线。

**Demo**：
> **题目**：在圆内接六边形ABCDEF中，AB和DE延长线交于P，BC和EF延长线交于Q，CD和FA延长线交于R。求证：P、Q、R三点共线。
>
> **解析**：
> 这是帕斯卡定理的直接结论。
> 应用：常用于证明三点共线。

---

### 5.11 布利安桑定理

**定理内容**：圆外切六边形的三条对角线共点。（帕斯卡定理的对偶定理）

**Demo**：
> **题目**：六边形ABCDEF外切于圆，求证：AD、BE、CF三线共点。
>
> **解析**：
> 这是布利安桑定理的直接结论。
> 应用：与外切圆相关的共点问题。

---

### 5.12 笛沙格定理

**定理内容**：如果两个三角形对应顶点的连线共点，那么它们对应边的交点共线。

**Demo**：
> **题目**：△ABC和△A'B'C'中，AA'、BB'、CC'三线共点于O，AB与A'B'交于X，BC与B'C'交于Y，CA与C'A'交于Z。求证：X、Y、Z三点共线。
>
> **解析**：
> 这是笛沙格定理的直接结论。
> 应用：射影几何中的经典定理。

---

### 5.13 帕普斯定理

**定理内容**：如果一条直线上有A、B、C三点，另一条直线上有D、E、F三点，那么AE和BD的交点、AF和CD的交点、BF和CE的交点三点共线。

**Demo**：
> **题目**：直线l₁上有A、B、C三点，直线l₂上有D、E、F三点，且三点顺序分别为A-B-C和D-E-F。设AE∩BD=X，AF∩CD=Y，BF∩CE=Z。求证：X、Y、Z共线。
>
> **解析**：
> 这是帕普斯定理的直接结论。
> 应用：证明三点共线的又一利器。

---

### 5.14 莫利定理

**定理内容**：任意三角形中，相邻内角的三等分线相交，构成一个等边三角形（莫利三角形）。

**Demo**：
> **题目**：在△ABC中，作内角的三等分线，靠近各边的两条交于D、E、F。求证：△DEF是等边三角形。
>
> **解析**：
> 这是莫利定理本身，证明较复杂，但结论可以直接使用。
> 应用：如果题目中出现三等分线，可以考虑莫利三角形。

---

### 5.15 费马点定理

**定理内容**：在三角形中，到三个顶点距离之和最小的点称为费马点。当三角形所有内角都小于120°时，费马点是使三边张角均为120°的点；当有一个角≥120°时，费马点就是该角的顶点。

**Demo**：
> **题目**：在等边三角形ABC内一点P，求证：PA+PB+PC ≥ 3×边长/√3？不对，等边三角形内费马点就是中心，到三顶点距离之和最小。
>
> **更直接**：在△ABC中，∠A=120°，AB=AC=2，求PA+PB+PC的最小值。
>
> **解析**：
> 因为∠A=120°，所以费马点就是A点。
> 最小值 = PA+PB+PC（当P=A时）= 0+AB+AC = 0+2+2=4。

---

### 5.16 欧拉定理（几何）

**定理内容**：三角形的外心O、重心G、垂心H满足 \(\overrightarrow{OH} = \overrightarrow{OA} + \overrightarrow{OB} + \overrightarrow{OC}\)（向量形式）。

**Demo**：
> **题目**：已知△ABC的外心O(0,0)，A(2,0)，B(-1,√3)，C(-1,-√3)，求垂心H的坐标。
>
> **解析**：
> 由欧拉定理的向量形式：\(\overrightarrow{OH} = \overrightarrow{OA} + \overrightarrow{OB} + \overrightarrow{OC}\)
> = (2,0) + (-1,√3) + (-1,-√3) = (0,0)
> 所以H(0,0)，即垂心与外心重合，说明三角形是等边三角形（验证：A、B、C确实构成等边三角形）。

---

### 总结：平面几何经典定理的应用场景

| 定理 | 主要用途 |
|------|----------|
| 梅涅劳斯定理 | 证明三点共线 |
| 塞瓦定理 | 证明三线共点 |
| 托勒密定理 | 圆内接四边形中的线段关系 |
| 西姆松定理 | 圆上点向三边作垂线，三垂足共线 |
| 欧拉线定理 | 外心、重心、垂心共线 |
| 九点圆定理 | 九点共圆，半径是外接圆一半 |
| 斯特瓦特定理 | 求三角形中某线段长度 |
| 婆罗摩笈多定理 | 圆内接四边形对角线垂直的条件 |
| 蝴蝶定理 | 弦中点问题 |
| 帕斯卡/布利安桑 | 圆内接/外切六边形的共线/共点问题 |
| 笛沙格/帕普斯 | 射影几何中的共线/共点问题 |
| 莫利定理 | 三等分线构成等边三角形 |
| 费马点定理 | 到三顶点距离和最小问题 |