全面解析三角形内切线长度计算的经典利器，掌握斯特瓦尔特定理，轻松应对各类几何难题。
在平面几何中，斯特瓦尔特定理（Stewart's Theorem）是一个描述三角形三边长度与一条切线长度之间关系的定理。该定理得名于数学家马修·斯特瓦尔特（Matthew Stewart），他在1746年发表了这一结果。虽然定理以他的名字命名，但早在1678年，约翰·梅内劳斯（Johannes Meursius）就已发现了这一关系。
该定理的核心价值在于，它提供了一个直接计算三角形顶点到对边任意一点连线（切线）长度的公式，而无需像传统方法那样必须作高线利用勾股定理进行繁琐的推导。在数学竞赛、工程力学以及计算机图形学中，这一公式都有着极高的应用价值。
设 △ABC 的边 BC 上有一点 D，连接 AD。记 AB=c, AC=b, BC=a, AD=d, BD=m, DC=n。则公式为：
记忆口诀：“父边平方乘对侧，两式相加等于底乘切线平方加底两分段积。” 即：b²m + c²n = a(d² + mn)。
理解证明过程有助于深入记忆公式。以下提供两种常见的证明方法：余弦定理法和勾股定理法。
在 △ABD 和 △ACD 中，分别对 ∠ADB 和 ∠ADC 使用余弦定理。
设 ∠ADB = θ，则 ∠ADC = 180° - θ。我们知道 cos(180° - θ) = -cos(θ)。
在 △ABD 中：
在 △ACD 中：
为了消去 cos(θ)，我们将第一个式子乘以 n，第二个式子乘以 m，然后相加：
更简洁的整理：
因为 m+n = a，所以：
证毕。
过点 A 作 BC 的垂线，垂足为 H。设 AH = h, HD = x。
根据 D 点相对于 H 的位置，分情况讨论（通常假设 D 在 H 右侧）：
1. 在 Rt△AHD 中： d² = h² + x²
2. 在 Rt△AHB 中： c² = h² + (m-x)² = h² + m² - 2mx + x²
3. 在 Rt△AHC 中： b² = h² + (n+x)² = h² + n² + 2nx + x²
将第2式乘以 n，第3式乘以 m，相加：
注意 -2mnx 和 +2mnx 抵消：
代入 m+n=a 和 h²+x²=d²：
证毕。
掌握定理的关键在于练习。以下精选三道不同难度的例题，涵盖基础计算、中线/角平分线特例及综合应用。
题目：在 △ABC 中，AB=5, AC=6, BC=9。点 D 在 BC 上，且 BD=2, DC=7。求 AD 的长。
解析：
已知：c=5, b=6, m=2, n=7, a=9。
代入公式：6²×2 + 5²×7 = 9(AD² + 2×7)
36×2 + 25×7 = 9(AD² + 14)
72 + 175 = 9(AD² + 14)
247 = 9(AD² + 14)
AD² + 14 = 247/9 ≈ 27.44
AD² = 27.44 - 14 = 13.44
AD = √(121/9) = 11/3
答案：AD = 11/3
题目：利用斯特瓦尔特定理证明三角形中线长公式。
解析：
若 AD 为中线，则 D 为 BC 中点。
此时 m = n = a/2。
代入公式：b²(a/2) + c²(a/2) = a(AD² + (a/2)(a/2))
两边同除以 a：
b²/2 + c²/2 = AD² + a²/4
AD² = (2b² + 2c² - a²) / 4
4AD² = 2b² + 2c² - a²
此即阿波罗尼奥斯定理（中线长公式）。
题目：已知 △ABC 中，AB=c, AC=b, AD 为角平分线，求 AD 的平方。
解析：
由角平分线定理知：BD/DC = c/b，即 m/n = c/b。
又 m+n=a，解得 m = ac/(b+c), n = ab/(b+c)。
代入斯特瓦尔特定理：
b²(ac/(b+c)) + c²(ab/(b+c)) = a(AD² + mn)
消去 a：
b²c/(b+c) + c²b/(b+c) = AD² + mn
bc(b+c)/(b+c) = bc
所以：bc = AD² + mn
AD² = bc - mn
即角平分线长平方等于两邻边乘积减去两底边分段乘积。
在学习 斯特瓦尔特定理 例题的过程中，许多学习者会自然延伸到其他相关的几何定理。以下是与本题目紧密相关的周边知识，掌握这些内容将有助于构建完整的几何知识体系。
除了直接计算长度，斯特瓦尔特定理在以下场景中也有巧妙应用：
当题目要求证明 b² + c² = 2(m² + d²) 这类形式时，直接逆用斯特瓦尔特定理（即中线定理）即可秒杀，无需作辅助线。
若已知各边长度，但不知道切线分底边的比例，可通过斯特瓦尔特定理建立方程，反求 m/n 的值，进而确定点 D 的位置。
在高中向量章节，利用 |AB|² = vec{AB} cdot vec{AB} 结合向量分解，也可以快速证明斯特瓦尔特定理，这体现了代数与几何的统一。
A: 是的，两者指代同一个定理。英文名为Stewart's Theorem。中文译名因发音习惯不同略有差异，但在数学界通用。
A: 可以。当切线AD为中线时，m=n=a/2。代入斯特瓦尔特定理公式即可推导出阿波罗尼奥斯定理（中线长公式）：4d² = 2b² + 2c² - a²。
A: 非常重要。它是解决三角形内部线段长度计算、证明线段平方关系的高效工具，常作为秒杀技巧或辅助证明手段出现在各类数学竞赛中。
A: 推荐记忆“父边平方乘对侧”：即 b² 乘 n（b的对侧分段），c² 乘 m（c的对侧分段）。右边是底边 a 乘 (切线平方 d² + 分段积 mn)。
通过对 斯特瓦尔特定理 例题的深入解析，我们可以看到，这一看似复杂的公式实际上是勾股定理和余弦定理的自然延伸。掌握它不仅有助于提高解题速度，更能深化对三角形几何性质的理解。建议学习者通过多做不同类型的例题，特别是结合中线、角平分线等特殊线段的应用，来熟练运用这一工具。