斯特瓦尔特定理（Stewart's Theorem）证明与深度解析
什么是斯特瓦尔特定理？
在平面几何中，斯特瓦尔特定理（Stewart's Theorem）是一个描述三角形中 cevian（塞瓦线，即从顶点连接到对边的线段）长度与三角形三边长度之间关系的著名定理。该定理以苏格兰数学家马修·斯图尔特（Matthew Stewart）命名，他在1746年提出了这一定理。
简单来说，如果我们在三角形的底边上任意取一点，并连接该点与对角顶点，那么斯特瓦尔特定理给出了这条内部线段长度的精确计算公式。它被誉为“三角形中的第三余弦定理”，在解决复杂的几何计算问题时具有极高的实用价值。
b²m + c²n = a(d² + mn)
其中：a, b, c 为三角形三边，d 为 cevian 长度，m, n 为底边被分割的两段长度。
斯特瓦尔特定理证明过程详解
为了深入理解该定理，我们采用最通用的“余弦定理法”进行斯特瓦尔特定理证明。这种方法逻辑清晰，易于记忆。
1. 几何建模
设 △ABC 中，BC 边长为 a，AC 边长为 b，AB 边长为 c。D 为 BC 边上任意一点，连接 AD，设 AD 长度为 d。设 BD = m，DC = n，则有 a = m + n。
2. 证明步骤
- 第一步：在 △ABD 中，对 ∠ADB 应用余弦定理：
c² = d² + m² - 2dm cos(∠ADB) - 第二步：在 △ACD 中，对 ∠ADC 应用余弦定理：
b² = d² + n² - 2dn cos(∠ADC) - 第三步：利用互补关系。因为 ∠ADB + ∠ADC = 180°，所以 cos(∠ADB) = -cos(∠ADC)。
- 第四步：为了消去余弦项，我们将第一个方程乘以 n，第二个方程乘以 m：
n c² = n(d² + m²) - 2dmn cos(∠ADB)
m b² = m(d² + n²) - 2dmn cos(∠ADC)
由于 cos(∠ADB) = -cos(∠ADC)，将两式相加：
nc² + mb² = n(d² + m²) + m(d² + n²) - 2dmn[cos(∠ADB) + cos(∠ADC)]
因为括号内的余弦值互为相反数，相加为 0，故：
b²m + c²n = nd² + nm² + md² + mn² b²m + c²n = d²(m + n) + mn(m + n)
代入 a = m + n，最终得到：
证毕。此即斯特瓦尔特定理的标准形式。
斯特瓦尔特定理的经典应用场景
掌握斯特瓦尔特定理证明只是第一步，如何在实际问题中灵活运用才是关键。以下是该定理最常见的几个应用场景。
计算三角形角平分线长度
当 AD 为 ∠A 的角平分线时，根据角平分线定理，有 m/n = c/b，即 m = ac/(b+c)，n = ab/(b+c)。
将这些值代入斯特瓦尔特定理公式，经过化简可得角平分线长度公式：
这个公式在已知三角形三边求角平分线长度时，比使用面积法或相似三角形法更为直接。
推导中线长公式
当 AD 为 BC 边上的中线时，D 为 BC 中点，故 m = n = a/2。
代入公式 b²(a/2) + c²(a/2) = a(d² + (a/2)²)：
(b² + c²)/2 = d² + a²/4
4d² = 2b² + 2c² - a²
这就是著名的中线长公式。可以看出，斯特瓦尔特定理是中线长公式的广义形式。
解决复杂几何计算
在数学竞赛中，常出现三角形内部有多条塞瓦线的情况。例如，已知三角形三边，且内部一点 P 连接三个顶点，求 PA, PB, PC 的长度。此时通常需要结合斯特瓦尔特定理与梅涅劳斯定理（Menelaus' Theorem）或塞瓦定理（Ceva's Theorem）联立求解。
例如：在 △ABC 中，D、E 分别为 AB、AC 上的点，BE 与 CD 交于 P。若已知各段比例，可通过多次应用斯特瓦尔特定理求出相关线段长度。
网友们还关心：与斯特瓦尔特定理相关的周边知识
在学习斯特瓦尔特定理证明的过程中，许多学习者会接触到以下延伸知识点，这些内容对于构建完整的几何知识体系至关重要。
1. 曼海姆定理（Mannheim's Theorem）
曼海姆定理是斯特瓦尔特定理的一个有趣延伸，主要涉及三角形的外接圆、九点圆以及垂足三角形。虽然它不直接使用 Stewart 公式，但其几何构造逻辑与 cevian 的长度分析一脉相承。
2. 与托勒密定理（Ptolemy's Theorem）的联系
当四边形 ABCD 内接于圆时，托勒密定理指出 AC·BD = AB·CD + BC·DA。如果在特定情况下将四边形退化为三角形（即一个顶点趋向于另一个顶点），托勒密定理的极限形式与斯特瓦尔特定理有着深刻的代数同构性。
3. 极化恒等式（Polarization Identity）
在向量代数中，极化恒等式用于将数量积表示为模长的平方差。这与斯特瓦尔特定理的代数结构非常相似。事实上，斯特瓦尔特定理可以看作是极化恒等式在平面几何中的具体体现。
| 定理名称 | 核心公式/关系 | 与斯特瓦尔特定理的关系 |
|---|---|---|
| 中线长公式 | 4m² = 2b² + 2c² - a² | Stewart 定理的特例 (m=n) |
| 角平分线公式 | t² = bc - mn | Stewart 定理结合角平分线性质 |
| 海伦公式 | S = √[p(p-a)(p-b)(p-c)] | 可通过 Stewart 定理推导海伦公式 |
| 余弦定理 | c² = a² + b² - 2ab cosC | Stewart 定理证明的基础工具 |
4. 历史背景：马修·斯图尔特
马修·斯图尔特（1717–1780）是一位苏格兰数学家。他在爱丁堡大学学习期间，发现并证明了这一定理。有趣的是，据传艾萨克·牛顿曾在一封信中提到过类似的关系，但斯图尔特是第一个给出完整证明并发表的人。因此，国际数学界将其命名为 Stewart's Theorem。
常见问题解答 (FAQ)
A: 不是。除了上述的“余弦定理法”，还可以使用“勾股定理法”（作高线）、“向量法”（利用向量点积）甚至“复数法”进行证明。向量法证明尤为简洁：设原点为 A，则 ，两边平方即可得证。
A: 标准的斯特瓦尔特定理适用于欧几里得平面几何。在非欧几何（如球面几何或双曲几何）中，由于三角函数的性质改变（如球面余弦定理），定理的形式会发生相应变化，不再保持简单的代数线性组合形式。
A: Cevian 一词源于意大利数学家 Giovanni Ceva。虽然斯特瓦尔特定理处理的是单条塞瓦线的长度，而塞瓦定理（Ceva's Theorem）处理的是三条塞瓦线共点的条件，但两者在几何结构中紧密相关。
总结
通过对斯特瓦尔特定理证明的深入探讨，我们可以看到几何学中美妙的代数化思想。该定理不仅是一个计算工具，更是连接三角形边长、角度与内部线段长度的桥梁。对于希望提升几何解题能力的学生而言，熟练掌握斯特瓦尔特定理及其推论（如中线公式、角平分线公式）是通往高阶几何思维的必经之路。
建议学习者在掌握证明后，多做几道涉及三角形内部线段计算的习题，体会其在简化运算中的强大威力。