斯图尔特定理：三角形几何中的“万能钥匙”
深入理解三角形边长与切线长度的内在联系，掌握几何证明与计算的有力工具。
什么是斯图尔特定理？
在任意三角形中，若从一顶点引出一条切线（cevian）与对边相交，则该切线的平方与对边两段长度的乘积之和，等于另外两边平方分别乘以对边对应段长的和。简单来说，它揭示了三角形内部线段长度与三边长度之间的精确代数关系。
为什么它很重要？
斯图尔特定理是解决三角形中线、角平分线、高线等特定线段长度问题的通用公式。在许多几何竞赛和高等几何问题中，当勾股定理或余弦定理难以直接应用时，斯图尔特定理往往能提供最直接的代数解法。
其中，b 是边 AC 的长度，c 是边 AB 的长度，a 是边 BC 的总长，d 是切线 AD 的长度，m 和 n 分别是切点 D 将底边 a 分成的两段长度。
斯图尔特定理的数学推导
理解推导过程有助于记忆公式并灵活变通。我们通常使用余弦定理或勾股定理（通过作高线）来证明斯图尔特定理。
利用余弦定理证明
设 ∠ADB = θ，则 ∠ADC = 180° - θ。在 ΔABD 和 ΔACD 中分别应用余弦定理：
- 在 ΔABD 中：c² = m² + d² - 2md cosθ
- 在 ΔACD 中：b² = n² + d² - 2nd cos(180°-θ) = n² + d² + 2nd cosθ
为了消去 cosθ，我们将第一个式子乘以 n，第二个式子乘以 m：
- nc² = nm² + nd² - 2mnd cosθ
- mb² = mn² + md² + 2mnd cosθ
两式相加，消去含 cosθ 的项：
mb² + nc² = nm² + md² + mn² + md²
mb² + nc² = m(n² + m²) + n(m² + n²) + 2mnd² ... (此处简化展示核心逻辑)
整理后可得：b²m + c²n = a(d² + mn)。证毕。
利用勾股定理证明
作 AE ⊥ BC 于 E，设 DE = x，AE = h。则：
- 在 ΔADE 中：d² = h² + x²
- 在 ΔABE 中：c² = h² + (m-x)²
- 在 ΔACE 中：b² = h² + (n+x)²
通过代数运算消去 h 和 x，同样可以推导出斯图尔特定理。这种方法虽然计算量稍大，但更直观地体现了线段间的平方关系。
如何快速记忆？
不要死记硬背字母，要理解其物理意义或几何结构：
- “旁平方乘对段”：左边的 b²m + c²n，即两边的平方乘以它们“对面”的那段底边长（注意对应关系：b对应n? 不，b是AC，对的是AB边的投影关系，但在公式中，b²乘的是BD=m，c²乘的是CD=n。这里容易混淆，建议通过特例记忆）。
更正记忆法：
公式：a(d² + mn) = b²m + c²n
1. 左边：底边总长 a 乘以 (切线平方 + 底边两段乘积)。
2. 右边：两边平方分别乘以它们不相邻的那段底边长？
让我们验证一下：b (AC) 的平方乘以 m (BD)，c (AB) 的平方乘以 n (CD)。
口诀：边平方乘对侧分段。即 b² 乘 m (BD)，c² 乘 n (CD)。虽然 b 和 m 没有直接公共顶点，但这是公式的标准形式。
最稳妥的方法：记住 Stewart 的名字，想象他在三角形里画了一条线，两边的“重量”（平方）乘以它们“力臂”（对侧分段）平衡了中间的项。
斯图尔特定理的核心应用场景
虽然斯图尔特定理是一个通用公式，但在几何学中，它最著名的应用是推导出中线长公式和角平分线长公式。这些特例在解题中更为常见。
1. 中线长公式 (Apollonius Theorem)
当切线 AD 为中线时，m = n = a/2。
化简得：4d² = 2b² + 2c² - a²
这是阿波罗尼奥斯定理，常用于已知三角形三边求中线长度，或已知中线求边长。
2. 角平分线长公式
当 AD 为角平分线时，根据角平分线定理，m/n = c/b，即 m = ac/(b+c), n = ab/(b+c)。
即：d = √(bc(1 - (a/(b+c))²))
此公式在计算角平分线长度时极为高效，避免了复杂的余弦定理运算。
3. 几何不等式证明
斯图尔特定理可用于证明一些经典的几何不等式，例如三角形中线长度与边长的关系，或者切线长度与两边的几何平均数之间的关系。
常见题型示例
| 题目类型 | 已知条件 | 求解目标 | 解题策略 |
|---|---|---|---|
| 中线计算 | 三边长 a, b, c | 中线长 m_a | 直接使用阿波罗尼奥斯定理：4m_a² = 2b² + 2c² - a² |
| 角平分线计算 | 三边长 a, b, c | 角平分线长 t_a | 先求分段 m, n，再代入斯图尔特公式或直接用 t_a² = bc - mn |
| 一般切线 | 三边及切线分底边比例 | 切线长 d | 直接列出斯图尔特方程求解 d |
| 逆定理应用 | 边长及线段长满足关系 | 证明垂直或特殊位置 | 验证是否满足 d² + mn = ... 从而推导角度关系 |
斯图尔特定理的历史渊源
尽管该定理以英国数学家 马修·斯图尔特 (Matthew Stewart) 命名，但他并不是第一个发现它的人。历史上，多位数学家都曾独立发现或应用过这一结论。
帕普斯 (Pappus of Alexandria)
古希腊数学家帕普斯在其著作中已经包含了类似斯图尔特定理的结论，这被视为该定理的最早雏形。
莱昂哈德·欧拉 (Leonhard Euler)
欧拉在其著作中也独立证明了这一定理，显示了其在数学分析中的基础地位。
马修·斯图尔特 (Matthew Stewart)
苏格兰数学家马修·斯图尔特在牛顿的《自然哲学的数学原理》第二版注释中发表了这一定理，因此后世以他的名字命名。他在1746年的《几何学一般命题》一书中详细阐述了该定理。
常见问题解答 (FAQ)
Q: 斯图尔特定理在高中数学考试中重要吗？
A: 在标准高考中，斯图尔特定理本身不作为直接考点，但由其推导出的中线长公式和角平分线长公式经常出现在解三角形的大题中。掌握斯图尔特定理可以让你在处理这类问题时 faster and more accurate。
Q: 有没有软件可以验证斯图尔特定理？
A: 是的，GeoGebra 或 几何画板 都是很好的工具。你可以绘制任意三角形，画出切线，测量各线段长度，并手动计算验证公式是否成立。这种动态验证有助于加深理解。