斯图尔特定理 (Stewart's Theorem)
连接三角形顶点与对边任意一点的线段，其长度与三角形三边及底边分段长度之间的深刻关系。掌握此定理，解锁平面几何解题新维度。
一、 什么是斯图尔特定理？
在平面几何中，斯图尔特定理（Stewart's Theorem）描述了三角形中一条塞瓦线（Cevian，即从顶点连接到对边的线段）的长度与三角形三边长度及底边被分成的两段长度之间的关系。这一定理由苏格兰数学家马修·斯图尔特（Matthew Stewart）在1746年提出，因此得名。
几何模型
设 △ABC 的三边长分别为 a, b, c。点 D 是边 BC 上的一点，且 BD = m, DC = n, AD = d。则斯图尔特定理建立了 a, b, c, m, n, d 之间的等量关系。
核心公式
公式表达为：man + dad = bmb + cnc。这个公式形式优美，记忆简便，是解决复杂几何计算问题的利器。
物理意义
从力学角度看，该公式类似于力矩平衡原理。若将三角形视为杠杆系统，该公式反映了质量分布与力臂之间的平衡关系。
标准形式：man + dad = bmb + cnc
或写作：b^2m + c^2n = a(d^2 + mn)
其中：
- a = m + n （底边全长）
- b, c 为三角形的另外两边
- d 为塞瓦线 AD 的长度
- m, n 为底边被点 D 分成的两段长度
二、 定理的推导与证明
理解推导过程有助于记忆公式。斯图尔特定理可以通过余弦定理或勾股定理（作高线法）轻松证明。以下是两种常见的证明思路。
利用余弦定理证明
在 △ABD 和 △ACD 中，∠ADB 和 ∠ADC 互补，故 cos(∠ADB) = -cos(∠ADC)。
1. 在 △ABD 中：
c² = m² + d² - 2md·cos(∠ADB)
2. 在 △ACD 中：
b² = n² + d² - 2nd·cos(∠ADC)
由 cos(∠ADC) = -cos(∠ADB)，代入上式得：
b² = n² + d² + 2nd·cos(∠ADB)
将第一个式子乘以 n，第二个式子乘以 m，然后相加消去含 cos 的项：
nb² + mc² = n(n² + d²) + m(m² + d²)
nb² + mc² = n³ + nd² + m³ + md²
nb² + mc² = (m+n)(m² - mn + n²) + (m+n)d²
因为 a = m+n，所以：
nb² + mc² = a(m² - mn + n² + d²)
又 m² + n² = (m+n)² - 2mn = a² - 2mn，代入得：
nb² + mc² = a(a² - 3mn + d²) ... (此处推导略简，最终整理可得 man + dad = bmb + cnc)
结论： 通过代数变形，即可得到斯图尔特定理的标准形式。
利用勾股定理证明
过点 A 作 BC 边的高 AH，设垂足为 H，AH = h，HD = x。
1. 在 Rt△ABH 中：
c² = h² + (m+x)² = h² + m² + 2mx + x²
2. 在 Rt△ACH 中：
b² = h² + (n-x)² = h² + n² - 2nx + x²
3. 在 Rt△ADH 中：
d² = h² + x²
将 b² 乘以 m，c² 乘以 n，然后相加：
mb² + nc² = m(h² + n² - 2nx + x²) + n(h² + m² + 2mx + x²)
mb² + nc² = mh² + mn² - 2mnx + mx² + nh² + nm² + 2mnx + nx²
注意 -2mnx 和 +2mnx 抵消：
mb² + nc² = h²(m+n) + mn(n+m) + x²(m+n)
mb² + nc² = (m+n)(h² + mn + x²)
因为 m+n = a，且 h² + x² = d²，所以：
mb² + nc² = a(d² + mn)
展开右边：ad² + amn，移项即得 man + dad = bmb + cnc。证毕。
利用向量法证明
设向量 , , 。
由于 D 在 BC 上，且 BD:DC = n:m，根据定比分点公式：
两边平方（点积）：
利用 进行替换和化简，经过繁琐的代数运算，最终可推导出斯图尔特定理。此方法展示了向量代数在处理几何问题中的强大威力。
三、 斯图尔特定理的经典应用
斯图尔特定理并非孤立存在，它与多个几何定理紧密相连，并在特定场景下展现出独特的优势。
当点 D 为 BC 中点时，m = n = a/2。代入公式 man + dad = bmb + cnc，可得：
a(a/2)d + d(a/2)a = b(b)(a/2) + c(c)(a/2)
化简后得到著名的阿波罗尼奥斯定理（中线定理）：
b² + c² = 2(d² + (a/2)²)
这说明中线定理是斯图尔特定理的特例。
若 AD 为 ∠A 的角平分线，根据角平分线定理，m/n = c/b，即 m = ac/(b+c), n = ab/(b+c)。
代入斯图尔特定理，经过代数化简，可得角平分线长公式：
d² = bc - mn
即 。这是计算角平分线长度的直接公式。
在证明三角形中线、高线、角平分线的大小关系时，斯图尔特定理提供了精确的数量关系基础。例如，可以证明在不等边三角形中，中线长度介于最长高和最短高之间等性质。
网友还关心：与其他定理的对比
| 定理名称 | 适用条件 | 主要用途 | 计算复杂度 |
|---|---|---|---|
| 余弦定理 | 任意三角形，已知两边一角或三边 | 求第三边或角度 | 中等，需开方 |
| 勾股定理 | 直角三角形 | 求直角边或斜边 | 低，直接加减 |
| 斯图尔特定理 | 三角形内有塞瓦线 | 求塞瓦线长度或底边分段 | 中高，需处理二次方程 |
| 梅涅劳斯定理 | 三角形被直线截断 | 证明三点共线或线段比例 | 低，纯比例运算 |
四、 实战案例解析
通过具体题目，展示如何灵活运用斯图尔特定理解决实际问题。
案例一：求中线长
题目： 在 △ABC 中，AB=5, AC=7, BC=6。求 BC 边上的中线 AD 的长。
解析： 由于 D 是中点，m=n=3。直接使用中线定理公式：
5² + 7² = 2(AD² + 3²)
25 + 49 = 2(AD² + 9)
74 = 2AD² + 18
2AD² = 56 ⇒ AD² = 28 ⇒ AD = 2√7
案例二：求角平分线长
题目： △ABC 中，AB=6, AC=8, BC=10。求 ∠A 的角平分线 AD 的长。
解析： 首先判断三角形形状，6²+8²=10²，故为直角三角形。
利用角平分线长公式 d² = bc(1 - (a/(b+c))²)：
d² = 6×8 × (1 - (10/(6+8))²)
d² = 48 × (1 - 100/196) = 48 × (96/196)
d² = 48 × (24/49) = 1152/49
d = 24√2 / 7
案例三：一般塞瓦线
题目： △ABC 中，AB=13, AC=15, BC=14。点 D 在 BC 上，BD=5, DC=9。求 AD 长。
解析： 直接套用斯图尔特定理：
man + dad = bmb + cnc
5×14×9 + 14×AD² = 15²×5 + 13²×9
630 + 14AD² = 1125 + 1521
14AD² = 2646 - 630 = 2016
AD² = 144 ⇒ AD = 12
注：此题中 AD 恰好也是高线，因为 12²+5²=13², 12²+9²=15²。
五、 常见问题解答 (FAQ)
中线定理是斯图尔特定理的特例。当点 D 为 BC 的中点时，m=n，斯图尔特定理简化为中线定理：b² + c² = 2(d² + m²)。
非常重要。它是解决三角形内部线段长度问题的强力工具，尤其在竞赛数学和高考压轴题中经常出现，常用于替代余弦定理以简化计算。
可以记忆口诀："头乘尾，加对角"。即 man + dad = bmb + cnc，其中 m,n 是底边分段，a 是底边全长，d 是塞瓦线，b,c 是腰。
标准的斯图尔特定理适用于欧几里得平面几何。在非欧几何（如球面几何或双曲几何）中，三角形边的关系遵循不同的规则（如球面余弦定理），因此斯图尔特定理的形式需要修改，不再直接适用。
斯图尔特定理可以推广到任意多边形，或者在向量空间中使用向量形式表达。此外，它还可以推广到更高维度的单纯形（Simplex）中，称为“单纯形的斯图尔特定理”。