斯特瓦尔特定理证明(斯特瓦尔特定理证法)

作者：

2人看过

发布时间：2026-10-02 20:01:20

/* 自动布局修复 */ .content-wrap, .article-content, .main-content, .container, .wrapper, .content

猜您喜欢：：

1958年除四害是哪四害(鼠、蚊、蝇、蟑螂)

斯特瓦尔特定理证明详解：公式推导与几何应用全解析

斯特瓦尔特定理（Stewart's Theorem）的证明与几何洞察

在平面几何的浩瀚星图中，斯特瓦尔特定理（Stewart's Theorem）是一颗璀璨却常被忽视的星辰。它揭示了三角形中边长与cevian（塞瓦线，即从顶点连向对边的线段）长度之间的深刻代数关系。尽管其形式看似复杂，但通过巧妙的几何构造与代数推导，我们可以清晰地看到其内在的美学逻辑。本文将深入探讨斯特瓦尔特定理的内涵，并提供两种经典且严谨的证明方法：利用余弦定理的代数证明与利用勾股定理的几何投影证明。此外，我们还将简要分析其重要推论——阿波罗尼奥斯定理（中线长公式），以展示该定理的广泛应用价值。

一、定理陈述

首先，让我们明确斯特瓦尔特定理的标准表述：设的边长分别为，其中为底边，为边，为边。点是边上的一点，且，，。连接顶点与点，设线段。 > 则斯特瓦尔特定理指出：为了便于记忆，该公式常被缩写为 “人马定律”（Man + Horse ）。

二、证明方法一：利用余弦定理（代数法）

这是最通用、最直观的证明方法，适用于任意三角形，无需考虑垂足位置。

证明步骤：

1. 设定角度：设，则。根据三角函数性质，。 2. 在中应用余弦定理：由此可得： 3. 在中应用余弦定理：代入，得：由此可得： 4. 消去：为了消去，我们将式 (1) 乘以，式 (2) 乘以： 5. 联立方程：由于式 (3) 和式 (4) 的左边相等，故右边也相等： 6. 整理方程：展开括号：将含的项移到左边，其他项移到右边：提取公因式： 7. 代入：移项整理，即得最终形式：证毕。

三、证明方法二：利用勾股定理（几何投影法）

这种方法通过作高线，将一般三角形转化为直角三角形处理，更能体现几何直观。

证明步骤：

1. 作高线：过点作边的垂线，垂足为。设（高），。注意：点可能在的左侧或右侧，这会影响的正负号，但在平方后结果一致。为简化推导，我们假设在的右侧，即在线段上或延长线上，此时，，则，（若在左侧，符号相应调整，最终平方项不变）。为了严谨，我们定义为有向距离。则： 2. 在三个直角三角形中应用勾股定理：在中：在中： (注：此处假设在右侧，若在左侧，则为，推导逻辑类似，最终消去后结果一致) 在中： 3. 代入并化简：将式 (7) 代入式 (5) 和式 (6)： 4. 构造目标式：我们需要证明。计算左边：注意到和相互抵消： 5. 代入：这正是右边。证毕。

四、重要推论：阿波罗尼奥斯定理

斯特瓦尔特定理最著名的特例是中线长公式。当点为的中点时，，且为中线，记为。代入斯特瓦尔特定理公式：两边同除以：整理得：或这就是著名的阿波罗尼奥斯定理（Apollonius's Theorem），它表明三角形两边平方和等于第三边一半的平方与中线平方和的两倍。

五、结语

斯特瓦尔特定理不仅是一个优美的代数恒等式，更是连接几何形状与代数运算的桥梁。从证明角度看：余弦定理法展现了代数运算的简洁与普适性；勾股定理法则体现了几何分割与投影的智慧。从应用角度看：它在求解三角形中线、角平分线、任意塞瓦线长度时具有不可替代的作用。掌握斯特瓦尔特定理，不仅能提升解决几何问题的能力，更能深化对三角形内部结构的理解。在数学的海洋中，每一个定理都是通往真理的舟楫，而斯特瓦尔特定理，正是那艘稳健而高效的航船。

好文推荐：：