斯德瓦特定理证明(斯德瓦特定理证明)

斯德瓦特定理（Stewart's Theorem）的深度解析与严谨证明

在平面几何的浩瀚星空中，斯德瓦特定理（Stewart's Theorem） 宛如一颗璀璨而实用的星辰。它揭示了三角形中一条 cevian（切氏线，即顶点到对边的连线）与三角形三边之间的数量关系。尽管它不如勾股定理或正弦定理那样家喻户晓，但在解决涉及三角形内部线段长度、比例以及复杂几何计算的问题时，斯德瓦特定理往往能化繁为简，提供直击核心的解题利器。 本文将深入探讨斯德瓦特定理的内容、几何意义，并提供两种经典的证明方法——余弦定理法与勾股定理法，最后通过一个实例展示其应用价值。

一、 定理陈述：从几何直观到代数表达

1.1 几何背景

考虑任意三角形 ，设其三边长分别为 ，其中：

在边 上取一点 ，连接 。设 ，，。显然，。 斯德瓦特定理建立了 六个量之间的等式关系。

1.2 定理公式

斯德瓦特定理的代数表达式为： 或者，为了便于记忆，常写作“人马定律”（Man and Horse Theorem）： 即：

二、 为什么需要这个定理？

在高中或竞赛几何中，我们常遇到如下场景：

• 已知三角形三边，求中线长（此时 ，退化为阿波罗尼奥斯定理）。
• 已知三角形三边及角平分线分对边的比例，求角平分线长。
• 已知三角形三边及某条内部线段的比例，求该线段长度。

若不使用斯德瓦特定理，通常需要通过作高线，利用勾股定理列方程组求解，过程繁琐且易出错。斯德瓦特定理提供了一个通用的代数通解。

三、 严谨证明：两种经典方法

为了全面理解该定理，我们提供两种不同视角的证明：余弦定理法（通用性强）和勾股定理法（直观性强）。

方法一：利用余弦定理（最通用、最优雅）

思路：在 和 中分别对角 和 应用余弦定理，利用互补角余弦值互为相反数的性质消元。 证明步骤： 1. 设定角度： 设 ，则 。 根据三角函数性质，。 2. 在 中应用余弦定理： 3. 在 中应用余弦定理： 4. 消去 ： 为了消去 ，我们需要使两个方程中 的系数相同。 将 式乘以 ， 式乘以 ： 5. 相加合并： 得： 6. 提取公因式： 由于 ，代入上式： 证毕。

方法二：利用勾股定理（构造高线）

思路：过顶点 作 边上的高 ，垂足为 。设 ，。通过勾股定理建立方程，并根据 点相对于 点的位置分类讨论（通常结果一致）。 证明步骤： 1. 构造高线： 作 于 。设 。 设 在 上， 也在 上。令 。 注意：此处 可正可负，取决于 在 的左侧还是右侧，但在平方运算中符号不影响结果。为简化，不妨设 在 的右侧，则 , （具体长度关系依图示而定，代数处理更为严谨）。 更严谨的代数设定： 设 ，则 。 在 Rt 中： 在 Rt 中： 这种方法直接求 较麻烦，我们换一种基于 点的设定： 设 。 在 Rt 中：。 2. 表示 和 ： 假设 位于 和 之间（或任意位置，代数恒成立）： 在 Rt 中： (注：若 在 左侧，则为 ，平方展开后 项符号会变化，但结合 的方程会抵消) 让我们采用更对称的设定： 设 到 的距离为 。 （假设 在 右侧，且 顺序，若顺序不同， 为负值，公式依然成立） 由勾股定理： 3. 代入 ： 4. 构造目标式 ： 5. 相加： 因为 ，所以： 证毕。 注：无论 点落在 上的哪个位置， 的定义和符号会自动调整，最终交叉项 总会相互抵消。这体现了代数恒等式的普适性。

四、 经典应用实例

例题： 在 中，。 是 的角平分线，求 的长度。 解析： 1. 利用角平分线定理： 角平分线 将对边 分为两段 和 ，其比例等于邻边之比。 因为 ，所以： 即 。 2. 应用斯德瓦特定理： 已知：。 设 。 公式： 代入数值： 计算左边： 方程变为： 答案：角平分线 的长度为 。

五、 结语

斯德瓦特定理不仅是几何学中的一个重要定理，更是连接几何形状与代数运算的桥梁。通过上述两种证明方法可以看出：

• 余弦定理法逻辑清晰，不依赖图形位置，具有极高的通用性。
• 勾股定理法直观形象，有助于理解线段间的投影关系。

掌握斯德瓦特定理，不仅能高效解决三角形内部线段计算问题，更能培养从复杂图形中提取代数关系的数学思维。在备考竞赛或深入研究几何问题时，将其纳入你的“工具箱”，必将事半功倍。