深入解析三角形中塞瓦线（Cevian）长度计算的万能公式，掌握斯台沃特定理，轻松解决各类几何难题。
在任意三角形中，若一条塞瓦线将底边分为两段，则该定理建立了三角形三边、底边分段及塞瓦线长度之间的代数关系。它是计算中线、角平分线、高线长度的通用公式。
相比传统的勾股定理或余弦定理，斯台沃特定理可以直接通过边长计算内部线段长度，无需构造直角三角形或求解角度，极大地简化了计算过程。
其中 a 为底边，m,n 为底边分段，d 为塞瓦线，b,c 为另外两边。
理解证明过程有助于记忆公式并灵活运用。我们通常使用余弦定理或勾股定理（通过作高）来证明。
步骤 1： 设三角形ABC，边长分别为 a, b, c。点D在边BC上，将BC分为BD=m, DC=n。设AD=d。
步骤 2： 在△ABD中，对∠ADB应用余弦定理：
步骤 3： 在△ACD中，对∠ADC应用余弦定理：
步骤 4： 注意到 ∠ADB + ∠ADC = 180°，因此 cos(∠ADB) = -cos(∠ADC)。
步骤 5： 将第一个式子乘以 n，第二个式子乘以 m，然后相加，消去含余弦的项：
相加得：
由于 m+n = a，代入整理即得：
作AE⊥BC于E。设DE=x, AE=h。根据E点位置不同，分情况讨论，但最终结果一致。此方法计算量稍大，但几何意义明确。
掌握公式只是第一步，关键在于识别何时使用。以下是网友最关心的几个高频场景。
当AD为中线时，m = n = a/2。代入斯台沃特定理：
化简得：
这就是著名的阿波罗尼奥斯定理，用于快速计算三角形中线长度。
当AD为角平分线时，根据角平分线定理，m/n = c/b，即 m = ac/(b+c), n = ab/(b+c)。
代入斯台沃特定理并化简，可得角平分线长度 d 的公式：
或者写作：
此公式在涉及角平分线长度的计算题中极为高效。
对于任意分割点D，只要知道比例 m:n 或具体长度，即可直接求出AD。这在物理力学（力矩平衡）和计算机图形学中也有广泛应用。
斯台沃特定理可以看作是余弦定理的推广。当D点趋近于B或C时，公式退化为余弦定理；当D为中点时，退化为中线公式。它提供了一个统一的框架来处理三角形内部的线段计算。
虽然以英国数学家罗伯特·斯台沃特（Robert Stewart）命名，但该定理的历史远比这悠久。
早在古希腊时期，阿波罗尼奥斯就研究了三角形中线的性质，这可以视为斯台沃特定理的特例。
罗伯特·斯台沃特在1802年的一篇文章中详细阐述了这一定理，使其系统化并广为人知。
在现代几何学、工程力学及计算机辅助设计（CAD）中，该定理依然是计算内部结构长度的基础工具。
这里整理了搜索引擎中关于斯台沃特定理证明及应用的最高频问题。
梅涅劳斯定理主要处理三点共线的问题，涉及的是线段的比例关系，通常用于证明共线或求比例。而斯台沃特定理主要处理线段长度的计算，涉及的是线段的平方和积的关系。两者经常结合使用，但侧重点不同。
记忆口诀：“腰平方乘段，底乘方加积”。即：两边（腰）的平方乘以它们对应的底边分段之和，等于底边总长乘以（塞瓦线平方加上两段底边的乘积）。公式：b²m + c²n = a(d² + mn)。
非常常见。它是高中数学联赛、CMO等竞赛中的常客，尤其是在涉及三角形内部线段长度、不等式证明以及解析几何初步的题目中。掌握它可以节省大量计算时间。
会的。如果是等腰三角形，b=c，公式可简化为 b²(m+n) = a(d² + mn)，即 b²a = a(d² + mn)，进一步简化为 b² = d² + mn。这在等腰三角形计算中非常有用。
| 题目类型 | 已知条件 | 求解目标 | 解题思路 |
|---|---|---|---|
| 中线计算 | △ABC中，AB=5, AC=7, BC=6 | 求BC边上的中线AD长 | 直接使用中线公式：4AD² = 2(5²+7²) - 6² = 2(25+49) - 36 = 148 - 36 = 112 |
| 角平分线 | △ABC中，AB=3, AC=4, BC=5 (直角) | 求∠A的角平分线AD长 | 先求分点比例，再代入斯台沃特公式，或使用角平分线长公式 d² = bc(1 - (a/(b+c))²) |
| 比例分割 | △ABC中，AB=10, AC=8, BC=12, D分BC为1:2 | 求AD长 | BD=4, CD=8。代入公式：8²·4 + 10²·8 = 12(AD² + 4·8)，解方程求AD |