斯特瓦特定理的定义与公式
在平面几何中，斯特瓦特定理（Stewart's Theorem）是一个关于三角形内部线段长度计算的重要定理。它揭示了三角形顶点到对边任意一点的连线（称为切氏线，Cevian）与三角形三边及该点分对边所得两段长度之间的定量关系。
简单来说，如果你知道三角形的三边长度，以及底边被分成的两段比例，你就可以精确计算出这条“切线”的长度。这在解决复杂的几何证明题和计算题时，往往比使用余弦定理更为简便。
设 △ABC 的三边 BC=a, AC=b, AB=c。
点 D 在边 BC 上，且 BD=m, DC=n, AD=d。
则有：
b²m + c²n = a(d² + mn)
(注：这里 a = m + n)
这个公式看起来并不复杂，但它蕴含了极强的通用性。通过调整 m 和 n 的关系，我们可以推导出许多特殊的几何结论。
斯特瓦特定理的证明方法
理解定理的最佳方式是通过证明。斯特瓦特定理有多种证明方法，最常用的是利用余弦定理或勾股定理（作高法）。
利用余弦定理证明
在 △ABD 和 △ACD 中，∠ADB 和 ∠ADC 互补，即 cos(∠ADB) = -cos(∠ADC)。
在 △ABD 中，由余弦定理：
在 △ACD 中，由余弦定理：
将两式变形，消去余弦项：
将第一式乘以 n，第二式乘以 m，然后相加：
左边为0，整理右边：
因为 a = m + n，代入得：
证毕。
利用勾股定理证明（作高法）
过点 A 作 BC 边上的高，垂足为 H。设 DH = x，AH = h。
在 Rt△AHD 中，d² = h² + x²。
在 Rt△AHB 中，c² = h² + (m-x)² （假设 H 在 D 左侧，具体位置不影响代数结果）。
在 Rt△AHC 中，b² = h² + (n+x)²。
通过展开平方项并代入消元，经过繁琐但直接的代数运算，同样可以推导出 b²m + c²n = a(d² + mn)。
此方法直观地展示了线段长度与投影之间的关系，适合初学者理解几何本质。
斯特瓦特定理的核心应用
斯特瓦特定理之所以重要，是因为它是许多特殊几何定理的“母定理”。只要满足特定的几何条件，代入 m 和 n 的关系，即可得到著名的结论。
1. 中线长公式
当 AD 为中线时，m = n = a/2。
代入公式：
化简得：
即中线长 d = ½√(2b² + 2c² - a²)。
2. 角平分线长公式
当 AD 为角平分线时，根据角平分线定理，m/n = c/b，即 m = ac/(b+c), n = ab/(b+c)。
同时，斯特瓦特定理结合角平分线性质可推导出：
即角平分线长的平方等于两邻边之积减去底边两段之积。
3. 一般计算
在数学竞赛或工程测量中，当三角形内部有一条任意切氏线，且已知各边比例时，直接使用斯特瓦特定理可避免复杂的三角函数运算，提高解题速度。
历史背景与发现
斯特瓦特定理以苏格兰数学家 马修·斯图尔特（Matthew Stewart）的名字命名。他在 1746 年发表了这一定理，因此该定理也被称为“斯图尔特定理”。
公元 1 世纪
虽然以斯图尔特命名，但历史学家认为，古希腊数学家 帕普斯（Pappus of Alexandria）在公元 4 世纪左右已经掌握了这一定理的等价形式，并在其著作《数学汇编》中有所提及。
1746 年
马修·斯图尔特在其论文中独立重新发现了这一定理，并将其正式发表。由于他的工作更为系统和广泛传播，该定理最终以他的名字命名。
现代几何学
如今，斯特瓦特定理已成为高中数学竞赛和大学几何课程中的标准内容，是解决三角形度量问题的有力工具。
常见问答（FAQ）
是的，标准的斯特瓦特定理适用于平面欧几里得几何。但在立体几何中，如果将三角形视为空间中的一个截面，该定理依然在其所在的平面内成立。
适用，但需要注意符号。如果 D 在延长线上，m 和 n 的方向相反，通常在向量形式或有向线段的处理中，公式依然保持代数结构的一致性，但几何意义需结合有向距离理解。
勾股定理可以看作是斯特瓦特定理的一个特例。当 AD 垂直于 BC 时，d² = h²，且 mn 项与 h² 结合可推导出勾股关系。实际上，斯特瓦特定理是勾股定理在一般切氏线情况下的推广。
可以记忆为：“邻边平方乘对段，等于底边乘（切氏线平方加两段积）”。即 b²m + c²n = a(d² + mn)。