斯特瓦尔特定理
在几何学的浩瀚星空中，斯特瓦尔特定理（Stewart's Theorem）以其简洁而强大的形式，解决了三角形中边长与切线长度之间的复杂关系。本文将从基础公式到高级应用，为您全方位解析这一几何利器。
斯特瓦尔特定理是平面几何中关于三角形边长与切线（Cevian）长度之间关系的一个重要定理。它描述了当三角形的一条边被分成两段时，切线长度与三角形三边及分段长度之间的代数关系。
该定理由苏格兰数学家马修·斯图尔特（Matthew Stewart）在1746年发表，因此得名。它在解决涉及三角形中线、角平分线和高线的问题时，往往比使用余弦定理或勾股定理更为简便和直接。
掌握斯特瓦尔特定理的关键在于理解其公式结构。虽然公式看起来稍长，但通过记忆口诀可以轻松掌握。
其中：
为了深入理解，我们可以通过余弦定理来推导斯特瓦尔特定理。设切线 d 与底边 a 的夹角为 θ，则其补角为 180°-θ。
| 步骤 | 应用定理 | 公式 |
|---|---|---|
| 1 | 在左侧小三角形中应用余弦定理 | c² = m² + d² - 2md cos(θ) |
| 2 | 在右侧小三角形中应用余弦定理 | b² = n² + d² - 2nd cos(180°-θ) |
| 3 | 利用 cos(180°-θ) = -cos(θ) | b² = n² + d² + 2nd cos(θ) |
| 4 | 消去 cos(θ) 项 | n(c²) + m(b²) = n(m²+d²) + m(n²+d²) |
| 5 | 化简得到最终形式 | man + dad = bmb + cnc |
记住口诀：“man + dad = bmb + cnc”。
• man + dad：底边分段 (m,n) 乘以底边 (a) 加上切线 (d) 的平方乘以底边分段 (d)。
• bmb + cnc：两边 (b,c) 的平方分别乘以相邻的底边分段 (m,n)。
斯特瓦尔特定理在解决以下几类问题时具有显著优势：
当切线 d 为中线时，m = n = a/2。此时斯特瓦尔特定理退化为中线长公式。
题目：在 ΔABC 中，AB=5, AC=7, BC=8。求 BC 边上的中线 AD 的长度。
解析：
• b=7, c=5, a=8。
• 中线将底边分为 m=4, n=4。
• 代入公式：48d + d4d = 774 + 554
• 32d + 4d² = 196 + 100
• 4d² + 32d - 296 = 0
• d² + 8d - 74 = 0
• 解得 d = √(16+74)/2 ? 不对，直接解方程：d = [-8 + √(64 + 296)]/2 = [-8 + √360]/2 = -4 + 3√10 ≈ 5.48
注：通常中线长公式为 4d² = 2b² + 2c² - a²。代入验证：4d² = 249 + 225 - 64 = 98 + 50 - 64 = 84。d² = 21, d = √21 ≈ 4.58。让我重新检查计算。
修正计算：man + dad = bmb + cnc
48d + d4d = 774 + 554
32d + 4d² = 196 + 100 = 296
4d² + 32d - 296 = 0
d² + 8d - 74 = 0
这里公式应用有误。标准中线公式推导：m=n=a/2。
man + dad = bmb + cnc
(a/2)ad + d(a/2)d = b²(a/2) + c²(a/2)
a/2 (ad + d²) = a/2 (b² + c²)
ad + d² = b² + c² ? 不对。
让我们使用标准公式：4d² = 2b² + 2c² - a²。
4d² = 2(7²) + 2(5²) - 8² = 2(49) + 2(25) - 64 = 98 + 50 - 64 = 84。
d² = 21。
d = √21。
使用斯特瓦尔特定理验证：
m=4, n=4, a=8, b=7, c=5, d=?
48d + d4d = 774 + 554
32d + 4d² = 196 + 100 = 296
4d² + 32d - 296 = 0
d² + 8d - 74 = 0
这里 man 中的 a 是底边总长 8，m=4, n=4。
man = 484 = 128? 不，man 是 man? 不，公式是 man + dad。
man 是 m (m+n) n ? 不，公式是 man + d²a = b²m + c²n。
等一下，公式是 man + dad = bmb + cnc。
这里的 man 是 m a n 吗？不，通常写作 m a n + d^2 a = b^2 m + c^2 n。
即 a(mn + d²) = bm² + cn²。
8(44 + d²) = 7²4 + 5²4
8(16 + d²) = 196 + 100 = 296
128 + 8d² = 296
8d² = 168
d² = 21。
d = √21。验证成功！
当切线 d 为角平分线时，根据角平分线定理，m/n = c/b，即 m = ac/(b+c), n = ab/(b+c)。
题目：在 ΔABC 中，AB=6, AC=8, BC=10。求 ∠A 的角平分线 AD 的长度。
解析：
• b=8, c=6, a=10。
• m = 106/(8+6) = 60/14 = 30/7。
• n = 108/(8+6) = 80/14 = 40/7。
• 代入公式：a(mn + d²) = b²m + c²n
• 10( (30/7)(40/7) + d² ) = 8²(30/7) + 6²(40/7)
• 10( 1200/49 + d² ) = 64(30/7) + 36(40/7)
• 12000/49 + 10d² = 1920/7 + 1440/7 = 3360/7 = 480
• 10d² = 480 - 12000/49 = (23520 - 12000)/49 = 11520/49
• d² = 1152/49
• d = √1152 / 7 = 24√2 / 7 ≈ 4.85
当切线不是特殊线（如中线、角平分线）时，如果已知底边分段比例，可直接使用斯特瓦尔特定理。
题目：在 ΔABC 中，AB=13, AC=15, BC=14。点 D 在 BC 上，且 BD=5, DC=9。求 AD 的长度。
解析：
• b=15, c=13, a=14。
• m=9 (DC), n=5 (BD)。
• 注意：m 对应 b，n 对应 c。
• 公式：a(mn + d²) = b²m + c²n
• 14(95 + d²) = 15²9 + 13²5
• 14(45 + d²) = 2259 + 1695
• 14(45 + d²) = 2025 + 845 = 2870
• 45 + d² = 2870 / 14 = 205
• d² = 205 - 45 = 160
• d = √160 = 4√10 ≈ 12.65
斯特瓦尔特定理以马修·斯图尔特（Matthew Stewart, 1717-1780）命名。他是苏格兰数学家，牛顿《自然哲学的数学原理》的早期评论者和推广者之一。
马修·斯图尔特在其著作《某些几何学命题的论文》中首次发表了该定理，并给出了证明。
虽然定理以斯图尔特命名，但其思想根源可追溯至古希腊几何学。阿波罗尼奥斯（Apollonius）在研究圆锥曲线时也涉及了类似的边长关系。
如今，斯特瓦尔特定理已成为数学竞赛（如 AMC, AIME, IMO）和高中几何课程中的重要工具，用于简化复杂三角形的计算。
斯特瓦尔特定理的公式为：man + dad = bmb + cnc。其中，a, b, c 为三角形三边，m, n 为底边被分成的两段，d 为切线长。
当切线 d 垂直于底边 a 时（即 d 为高），斯特瓦尔特定理退化为两个勾股定理的组合。因此，勾股定理是斯特瓦尔特定理的特例。
当题目中给出三角形的三边长度以及一条切线（如中线、角平分线、高）将底边分成的比例，要求计算切线长度或底边分段长度时，使用斯特瓦尔特定理最为便捷。
标准的斯特瓦尔特定理适用于欧几里得平面几何。在非欧几何（如球面几何或双曲几何）中，边长关系遵循不同的规则，需要引入相应的修正项。