斯特瓦特定理是什么？
从基础定义到高阶应用，全方位解读平面几何中的核心定理。掌握斯特瓦特定理，轻松解决三角形内部线段长度计算难题。
斯特瓦特定理是什么？
斯特瓦特定理（Stewart's Theorem），又称斯特瓦尔特定理或切线定理，是欧几里得几何中关于三角形的重要定理之一。该定理由马修·斯图尔特（Matthew Stewart）在1746年提出，因此得名。
简单来说，斯特瓦特定理是什么？它描述了在一个三角形中，从一个顶点引出一条线段（称为塞瓦线，Cevian）到对边上的一点，这条线段的长度与三角形的三边长度以及该点将对边分成的两段长度之间的数量关系。
⚡ 核心要素
涉及三角形的三边 ，以及从顶点 到对边 上一点 的线段 （即 ）。同时涉及 点将 分成的两段 () 和 ()。
⚙️ 几何意义
它揭示了三角形内部“桥梁”（塞瓦线）与外部“边界”（三边）之间的代数平衡关系，是连接几何图形与代数计算的桥梁。
🌟 历史地位
虽然早在古希腊时期阿波罗尼奥斯就研究过类似问题，但斯特瓦特定理因其简洁的代数形式，成为解决复杂几何长度计算问题的有力工具。
斯特瓦特定理的公式表达
设 的三边长分别为 。点 是边 上的一点，且 。线段 的长度为 。则斯特瓦特定理的公式如下：
或者写作更常见的形式（两边同时除以 ，注意 ）：
这个公式非常对称且优美。如果 是 的中点，即 ，代入公式可得：
整理后得到：中线长公式 。这说明斯特瓦特定理是中线长公式的推广。
斯特瓦特定理怎么证明？
理解斯特瓦特定理是什么及其来源的最好方式是掌握其证明过程。最常用的证明方法是余弦定理法，此外还有勾股定理法和面积法。
利用余弦定理推导
这是最通用的证明方法。在 和 中，分别对 和 应用余弦定理。
设 ，则 。我们知道 。
在 中：
在 中：
联立两式消去 ：
两边同乘 ：
n(d^2 + m^2 - c^2) = m(b^2 - d^2 - n^2)
展开并整理：
nd^2 + nm^2 - nc^2 = mb^2 - md^2 - mn^2
移项：
d^2(m+n) = mb^2 + nc^2 - mn(m+n)
因为 ，所以：
a d^2 = mb^2 + nc^2 - mna
即：
b^2m + c^2n = a(d^2 + mn)
证毕。
利用勾股定理推导（适用于非钝角情况）
过点 作 边上的高 ，垂足为 。设 。
根据勾股定理：
1. （假设 在 左侧）
2.
3.
通过代数运算消去 和 ，同样可以推导出斯特瓦特定理。这种方法直观但计算量稍大，且需要讨论 点的位置。
利用相似三角形（构造法）
延长 至 ，使得 ，连接 。利用圆幂定理或相似三角形 等性质进行推导。这种方法几何意义深刻，但构造辅助线较难想到。
斯特瓦特定理的应用场景
掌握斯特瓦特定理是什么之后，我们需要知道它在什么情况下使用。它主要用于解决以下三类问题：
1. 计算塞瓦线（Cevian）的长度
这是最直接的应用。当已知三角形三边长度，以及底边被分成的两段比例或长度时，可以直接求出顶点到分点的线段长度。例如：已知三角形三边，求角平分线长度、中线长度或高线长度。
2. 证明几何恒等式
在复杂的几何证明题中，斯特瓦特定理可以简化长串的三角函数运算或勾股定理运算，直接建立线段间的代数关系。
3. 解决竞赛难题
在数学奥林匹克竞赛中，斯特瓦特定理常与其他定理（如梅涅劳斯定理、塞瓦定理、托勒密定理）结合使用，解决高难度的计算和证明问题。
已知三角形三边为 13, 14, 15，求最长边上的高。虽然可以用面积法，但用斯特瓦特定理设高为 ，底边分为 和 ，列方程组求解，逻辑同样严密。
已知 中，，点 在 上，且 ，求 的长。直接代入公式 即可快速求解。
在四边形问题中，通过对角线分割成两个三角形，分别应用斯特瓦特定理，结合托勒密定理，解决圆内接四边形的边长与对角线关系问题。
斯特瓦特定理与其他定理的对比
为了更深入地理解斯特瓦特定理是什么，我们将它与几个容易混淆的几何定理进行对比。
| 定理名称 | 核心作用 | 涉及元素 | 主要用途 |
|---|---|---|---|
| 斯特瓦特定理 | 计算内部线段长度 | 三边、塞瓦线、底边分段 | 求 cevian 长度，中线、角平分线长计算 |
| 梅涅劳斯定理 | 判断三点共线 | 三角形三边（或延长线）上的点 | 证明三点共线，或求线段比值 |
| 塞瓦定理 | 判断三线共点 | 三角形三边上的 cevian | 证明三线共点，或求线段比值 |
| 余弦定理 | 边角转换 | 两边及夹角，或三边 | 解任意三角形，求角度或第三边 |
💡 网友还关心：斯特瓦特定理能否用于非欧几何？
在球面几何中，斯特瓦特定理的形式会有所不同，涉及球面三角函数。但在标准的平面欧几里得几何中，上述公式是精确成立的。
经典例题解析
例题 1：求角平分线长度
题目：在 中，。求 的角平分线 的长度。
解析：
首先，注意到 ，这是一个直角三角形，。
根据角平分线定理，。
因为 ，所以 ，。
这里 。
代入斯特瓦特定理公式：
答案：角平分线 的长度为 。
例题 2：已知中线求边长
题目：在 中，，中线 ，求 的长。
解析：
这是中线长公式的逆运用。设 ，则 。
公式：
消去 （）：
答案： 的长为 。
关于斯特瓦特定理的常见问题 (FAQ)
斯特瓦特定理在高考中重要吗？
虽然高考数学大纲不直接要求背诵斯特瓦特定理，但其结论（如中线长公式、角平分线长公式）是解题的强力工具。在解析几何或平面几何选做题中，使用斯特瓦特定理可以大幅简化计算过程，提高解题速度。
斯特瓦特定理和托勒密定理有什么关系？
托勒密定理是圆内接四边形的边与对角线的关系。如果将斯特瓦特定理应用于圆内接四边形的对角线分割问题，并结合相似三角形，可以推导出托勒密定理。两者在解决圆相关问题时有内在联系。
如何记忆斯特瓦特定理的公式？
记忆口诀：“平方乘对边，和等于底乘平方和”。即 （两边的平方乘对侧的底边分段）等于 （底边乘以内线段平方加上两底边分段的乘积）。
斯特瓦特定理可以用于钝角三角形吗？
当然可以。斯特瓦特定理适用于所有欧几里得平面三角形，无论其是锐角、直角还是钝角三角形。公式的推导过程（余弦定理）对任意角都成立。
通过本文的详细解析，相信您已经清楚了斯特瓦特定理是什么，以及它如何在几何学中发挥重要作用。从定义到证明，从公式到应用，斯特瓦特定理提供了一个强大的代数工具来处理几何中的长度问题。
无论是解决中学数学竞赛题，还是深入探索高等几何，掌握斯特瓦特定理都是提升几何素养不可或缺的一环。建议读者多动手推导，多练习经典例题，以彻底内化这一优美定理。