斯特瓦尔特定理例题详解与实战攻略
掌握切断线长度计算的终极武器，从基础公式推导到高难度竞赛真题解析，助你突破几何瓶颈。
什么是斯特瓦尔特定理 (Stewart's Theorem)
斯特瓦尔特定理（Stewart's Theorem）是平面几何中关于三角形三边与一条切断线（Cevian）长度之间关系的重要定理。它描述了三角形顶点到对边上任意一点的连线长度与三角形三边长度及该点分割对边两段长度之间的数量关系。在解决涉及三角形内部线段长度计算的问题时，该定理往往能简化复杂的勾股定理运算，提供直接的代数解法。
a = BC, b = AC, c = AB, d = AD
m = BD, n = DC, 且 a = m + n
该定理以18世纪英国数学家马修·斯特瓦尔特（Matthew Stewart）命名，他在1746年发表了这一结果。虽然定理本身并不复杂，但其应用场景极其广泛，特别是在处理中线、角平分线、高线等特殊线段时，能够迅速建立方程求解。
斯特瓦尔特定理的多种证明方法
理解证明过程有助于记忆公式并灵活运用。以下提供两种最常用的证明思路：
利用余弦定理推导
这是最通用且简洁的证明方法，适用于任意三角形。
在△ABD和△ACD中，设∠ADB = θ，则∠ADC = 180° - θ。
对△ABD应用余弦定理：
对△ACD应用余弦定理：
为了消去cosθ，我们将第一个式子乘以n，第二个式子乘以m：
两式相加：
因为 a = m + n，代入即得：
证毕。此方法展示了角度互补带来的余弦值互为相反数这一关键性质。
利用勾股定理推导（作高法）
通过作辅助线构建直角三角形，利用勾股定理建立方程组。
过点A作BC边上的高AE，垂足为E。设DE = x，AE = h。
根据E点位置的不同（在D点左侧或右侧），BD=m, DC=n。不妨设E在D、C之间，则BE = m+x, EC = n-x。
在Rt△ABE中：c² = h² + (m+x)²
在Rt△ACE中：b² = h² + (n-x)²
在Rt△ADE中：d² = h² + x² ⇒ h² = d² - x²
将h²代入前两式：
c² = d² - x² + m² + 2mx + x² = d² + m² + 2mx
b² = d² - x² + n² - 2nx + x² = d² + n² - 2nx
为了构造目标形式，将第一式乘以n，第二式乘以m：
nc² = nd² + nm² + 2mnx
mb² = md² + mn² - 2mnx
两式相加，2mnx项抵消：
b²m + c²n = (m+n)d² + mn(m+n) = a(d² + mn)
证毕。此方法直观地展示了线段平方和的关系。
斯特瓦尔特定理经典例题解析
理论结合实践，以下是几道具有代表性的例题，涵盖了基础计算和综合应用。
例题 1：基础计算
题目：在△ABC中，AB=13, AC=15, BC=14。AD是BC边上的中线，求AD的长。
解析：
这是一道经典的中线长度问题。虽然可以直接用中线定理，但用斯特瓦尔特定理理解更深刻。
已知：c=13, b=15, a=14。因为AD是中线，所以m=n=7, d=AD。
代入公式：15²×7 + 13²×7 = 14(d² + 7×7)
7(225 + 169) = 14(d² + 49)
225 + 169 = 2(d² + 49)
394 = 2d² + 98
2d² = 296 ⇒ d² = 148
d = √148 = 2√37。
答案：AD = 2√37。
例题 2：角平分线长度
题目：在△ABC中，AB=6, AC=8, BC=10。AD是∠BAC的角平分线，求AD的长。
解析：
首先利用角平分线定理求m和n。
BD/DC = AB/AC = 6/8 = 3/4。
因为BD+DC = 10，所以BD = 10×(3/7) = 30/7，DC = 10×(4/7) = 40/7。
即 m=30/7, n=40/7。
代入斯特瓦尔特定理公式：
8²×(30/7) + 6²×(40/7) = 10(d² + (30/7)(40/7))
64×30/7 + 36×40/7 = 10(d² + 1200/49)
(1920 + 1440)/7 = 10d² + 12000/49
3360/7 = 10d² + 12000/49
480 = 10d² + 244.89...
更简便的方法：利用角平分线长公式 d² = bc - mn。
d² = 6×8 - (30/7)(40/7) = 48 - 1200/49 = (2352-1200)/49 = 1152/49
d = √1152 / 7 = 24√2 / 7。
答案：AD = 24√2 / 7。
例题 3：一般切断线
题目：△ABC中，AB=5, AC=7, BC=8。点D在BC上，且BD=2。求AD的长。
解析：
已知：c=5, b=7, a=8。BD=m=2，则DC=n=6。
代入公式：b²m + c²n = a(d² + mn)
7²×2 + 5²×6 = 8(d² + 2×6)
49×2 + 25×6 = 8(d² + 12)
98 + 150 = 8d² + 96
248 = 8d² + 96
8d² = 152
d² = 19
d = √19。
答案：AD = √19。
斯特瓦尔特定理在竞赛中的应用
在高中数学联赛及更高级别的数学竞赛中，斯特瓦尔特定理往往作为解题的关键步骤出现，或者作为“隐藏的工具”来简化计算。以下是其常见的高级应用场景。
1. 证明几何不等式
斯特瓦尔特定理可以将几何线段长度转化为代数不等式。例如，证明三角形中任意两条切断线的平方和与三边的关系。通过公式变形，结合基本不等式（如AM-GM），可以证明诸如 与中线、角平分线长度的不等关系。
2. 求解极值问题
当切断点D在BC边上运动时，AD的长度d会发生变化。利用斯特瓦尔特定理，可以将d表示为m的函数：。这是一个关于m的二次函数，通过求导或配方即可求出AD的最小值（即高线时）和最大值（端点处）。
3. 与圆幂定理结合
在涉及三角形外接圆或内切圆的问题中，斯特瓦尔特定理常用于计算切线长或割线段长度。例如，当AD延长交外接圆于E时，结合相交弦定理 与斯特瓦尔特定理联立，可解决复杂的圆与三角形综合题。
不同切断线长度公式对比
| 线段类型 | 条件 | 长度公式 (d) | 备注 |
|---|---|---|---|
| 中线 (Median) | m = n = a/2 | 斯特瓦尔特定理特例 | |
| 角平分线 (Angle Bisector) | AD平分∠A | 或 | 需结合角平分线定理 |
| 高线 (Altitude) | AD⊥BC | 或 | 通常用勾股定理更直接 |
| 一般切断线 | 任意点D | 通用公式，最常用形式 |
常见问题解答 (FAQ)
-
Q: 斯特瓦尔特定理在高考中可以直接使用吗？
A: 在高考中，斯特瓦尔特定理通常不作为已知定理直接引用得分，除非你在解答过程中重新推导一遍（如使用余弦定理法）。建议考生熟练掌握其推导过程，将其作为解题的“草稿工具”，而在正式书写步骤时，若题目允许，可简写为“由斯特瓦尔特定理得”，但为了稳妥，最好写出关键的代数变形步骤。
-
Q: 如何快速记忆斯特瓦尔特定理的公式？
A: 记忆口诀：“父平方乘邻边段，子平方乘对边段，底边乘子平方加积段”。即 。注意b对应m（b的对边是B，D分BC为m,n，m靠近B，这里容易混淆，建议用字母对应：b是AC，m是BD，c是AB，n是DC。公式为：两边平方乘其不相邻的底边分段？不对，是 。准确记忆： 乘 (BD), 乘 (DC)。即：边长的平方乘以它对面的那一段底边长度。例如AC(b)对应的是BD(m)，AB(c)对应的是DC(n)。
-
Q: 斯特瓦尔特定理可以用于钝角三角形吗？
A: 完全可以。定理的证明过程（余弦定理法）中， 的关系在钝角、锐角三角形中均成立，因此定理具有普适性。
-
Q: 有没有类似的定理？
A: 有。在四面体中，有类似的四面体斯特瓦尔特定理，用于计算顶点到对面重心的连线长度等，但复杂度大幅增加。此外，在向量法中，也有类似的模长平方关系式。
学习建议与总结
掌握斯特瓦尔特定理例题的关键在于熟练运用其公式解决具体问题。建议学习者：
- 首先通过中线定理和角平分线定理的特例，体会公式的简洁性。
- 多做基础计算题，熟悉公式中各字母的对应关系，避免张冠李戴。
- 尝试用斯特瓦尔特定理去验证已知结论（如海伦公式），加深理解。
- 在竞赛训练中，注意识别“三角形+底边分点”的模型，优先尝试该定理以简化计算。
希望本篇关于斯特瓦尔特定理例题的详细解析能对你的数学学习有所帮助。几何之美，在于逻辑的严密与公式的优雅。