从基础定义到竞赛进阶，全方位掌握斯特瓦特定理及其在几何学中的核心地位。
在平面几何的浩瀚星空中，斯特瓦特定理（Stewart's Theorem）是一颗璀璨的明珠。它主要描述了三角形中一条切线（Cevian）与三条边长之间的数量关系。对于任何三角形，如果从顶点引出一条线段交对边于一点，那么这条线段的长度与三边及底边分段长度之间存在着精确的代数联系。
该定理由苏格兰数学家马修·斯图尔特（Matthew Stewart）于 1746 年提出，因此得名。虽然它在中学教材中不常作为独立章节出现，但在数学竞赛、高中自主招生以及高等几何研究中，它是解决边长计算问题的神器。
斯特瓦特定理的公式形式优美且对称，但初学者往往难以记忆。让我们先展示其标准形式，再通过逻辑拆解来加深理解。
| 符号定义 | 几何意义 | 备注 |
|---|---|---|
| a, b, c | 三角形的三边长 | a 为底边，b, c 为两腰 |
| d | 切线长 | 从顶点到底边的距离 |
| m, n | 底边分段 | m 邻接 c 边，n 邻接 b 边 |
设 △ABC 中，AB = c, AC = b, BC = a。
D 为 BC 上一点，BD = m, DC = n, AD = d。
则斯特瓦特定理公式为：
man + dad = bmb + cnc
或者写作：
d²a = b²m + c²n - amn
为了帮助读者快速掌握，我们总结了一个朗朗上口的记忆法：
如果你不想死记硬背，可以通过余弦定理进行简单推导。假设 ∠ADB = θ，则 ∠ADC = 180° - θ。
这个推导过程不仅验证了公式的正确性，也展示了三角函数在几何证明中的强大威力。
除了上述基于余弦定理的代数证明外，斯特瓦特定理还有纯几何的证明方法，例如利用托勒密定理（Ptolemy's Theorem）或构造相似三角形。这里我们重点介绍其在三种特殊情况下的表现，这也是考试中最高频的考点。
当 D 为 BC 中点时，。
代入公式：
化简得：
这是著名的阿波罗尼奥斯定理，也是斯特瓦特定理最著名的特例。
当 AD 为角平分线时，根据角平分线定理，，即 。
代入公式并化简，可得角平分线长 的公式：
这意味着角平分线长的平方等于两邻边乘积减去底边两段之积。
当 AD 为高线时， 和 均为直角三角形。
此时 。
虽然可以直接用勾股定理，但斯特瓦特定理依然成立，只是形式变得非常简单。
理论的价值在于实践。以下我们将通过两个典型例题，展示斯特瓦特定理如何在没有辅助线的情况下，直接秒杀难题。
在 △ABC 中，AB = 5, AC = 7, BC = 8。D 是 BC 上的一点，且 BD = 3。求 AD 的长度。
这是一个典型的斯特瓦特定理直接应用题。已知三边和底边分段，求切线长。
已知：。
因为 ，所以 。
因为 ，所以 。
设 。
根据公式：
代入数值：
所以，。
已知 △ABC 中，AD 是角平分线。求证：。
这实际上是斯特瓦特定理在角平分线情况下的变形。我们需要将公式转化为乘积形式。
根据斯特瓦特定理：
其中 。
因为 AD 是角平分线，根据角平分线定理：。
所以 。
原式左边 。
因为 ，所以左边 。
右边 。
所以 。
即 。
在 △ABC 中，∠A = 120°, AB = 2, AC = 4。D 是 BC 的中点。求 AD 的长。
这是一道结合了中线长公式和余弦定理的综合题。虽然可以用中线公式，但我们可以先用余弦定理求出 BC，再用中线公式求解。
第一步：求 BC (a)。
。
第二步：用中线长公式。
。
所以 。
针对网民在搜索引擎中输入的高频问题，我们整理了以下详细解答。
答：斯特瓦特定理适用于所有欧几里得平面几何中的三角形。只要 D 点在直线 BC 上（包括延长线上），公式均成立。但在非欧几何（如球面几何）中，该公式需要修正。
答：这是一个常见的混淆点。请记住：m 是与边 c (AB) 相邻的那一段底边，n 是与边 b (AC) 相邻的那一段。公式中 总是乘以 ， 总是乘以 （交叉相乘）。
答：有的。你可以想象成“大边平方乘邻段 + 小边平方乘远段 = 底边 × (切线平方 + 两段积)”。或者背诵口诀：“长边配短段，短边配长段”（指平方项的分配）。
答：非常有！在力学中，计算质心位置、力矩平衡等问题时，经常需要用到类似的比例关系。特别是当物体受力不均时，斯特瓦特定理可以帮助快速定位力的作用线。
通过对斯特瓦特定理的全面解析，我们可以看到，几何学不仅仅是图形的拼接，更是代数与逻辑的完美融合。希望本文能帮助您建立起对该定理的深刻理解，并在未来的学习和竞赛中游刃有余。
如果您觉得本文对您有帮助，欢迎分享给更多需要的朋友！