Stewart定理（斯图尔特定理）深度解析与应用指南
在平面几何的浩瀚星空中，Stewart定理（Stewart's Theorem）犹如一颗璀璨的恒星，连接着三角形的边长与内部线段。它不仅是解决三角形“切线”（Cevian）长度问题的万能钥匙，更是连接阿波罗尼奥斯定理、角平分线定理和重心的桥梁。本文将为您提供关于Stewart定理最全面、最深入的解读，涵盖公式记忆、多种证明方法、应用场景及与网民高度相关的周边知识。
⚡ 核心功能
用于计算三角形中连接顶点与对边一点的线段长度，建立边长与分线段之间的数量关系。
⚙️ 适用场景
已知三角形三边及底边分点比例，求 cevian 长度；或已知 cevian 长度反推比例关系。
📚 知识层级
高中数学竞赛基础、大学解析几何预备知识、工程力学中的静力学平衡分析。
Stewart定理的公式表达与记忆
设△ABC的边长分别为 a, b, c，其中 a 为 BC 边，b 为 AC 边，c 为 AB 边。点 D 是边 BC 上的一点，将 BC 分为两段，长度分别为 m (BD) 和 n (DC)，即 a = m + n。连接 AD，设其长度为 d (cevian)。
b²m + c²n = a(d² + mn)
或者写作更对称的形式：
💡 记忆口诀：“皮托克法则” (Pitot-like)
为了方便记忆，我们可以将其形象化为“两邻边平方乘对段，等于底边乘平方和积”。即：两边的平方乘以它们“对面”的那段底边，之和等于底边全长乘以（中线平方加上两段底边的乘积）。
Stewart定理的多种证明方法
理解证明过程是掌握Stewart定理的关键。我们提供三种主流的证明路径，请根据需要选择阅读。
利用余弦定理消角
这是最通用的代数证明方法。在△ABD和△ACD中，分别对∠ADB和∠ADC使用余弦定理。
设∠ADB = θ，则∠ADC = 180° - θ。由余弦定理：
c² = d² + m² - 2dm cosθ
b² = d² + n² - 2dn cos(180°-θ) = d² + n² + 2dn cosθ
为了消去 cosθ，我们将第一式乘以 n，第二式乘以 m，然后相加：
nc² = nd² + nm² - 2dmn cosθ
mb² = md² + mn² + 2dmn cosθ
相加得：mb² + nc² = (m+n)d² + mn(m+n) = a(d² + mn)。
证毕。此方法逻辑严密，适用于所有三角形。
利用勾股定理（作高法）
过点A作BC边的高AH，垂足为H。设DH = x，AH = h。
在Rt△AHD中，d² = h² + x²。
在Rt△AHB中，c² = h² + (m-x)² = h² + m² - 2mx + x²。
在Rt△AHC中，b² = h² + (n+x)² = h² + n² + 2nx + x²。
通过代数变形，将b²和c²分别乘以n和m，再利用a=m+n进行合并，最终可推导出Stewart公式。此方法直观，但计算量略大，且需讨论H点的位置。
利用托勒密定理（辅助圆法）
作△ABC的外接圆，延长AD交圆于E，连接BE, CE。
由相似三角形△ABE∽△DBC 和 △ACE∽△DBB (需构造)，可得比例关系。
利用托勒密定理于圆内接四边形ABEC：AB·CE + AC·BE = BC·AE。
结合相交弦定理 AD·DE = BD·DC = mn，以及相似比推导出的 BE·CE 关系，亦可证得。此方法几何美感极强，但构造辅助线较难。
Stewart定理经典例题解析
理论结合实践，以下是两个典型的Stewart定理应用案例。
例1：求中线长度（验证阿波罗尼奥斯定理）
题目：在△ABC中，AB=5, AC=7, BC=8。求BC边上的中线AD的长度。
解析：
因为AD是中线，所以D为BC中点，m=n=4。
代入Stewart公式：b²m + c²n = a(d² + mn)
7²·4 + 5²·4 = 8(d² + 4·4)
196 + 100 = 8(d² + 16)
296 = 8d² + 128
8d² = 168 ⇒ d² = 21 ⇒ d = √21
此结果符合阿波罗尼奥斯定理：2(AD² + BD²) = AB² + AC²。
例2：角平分线长度
题目：在△ABC中，AB=6, AC=8, BC=10。AD是∠A的角平分线，求AD的长。
解析：
首先由角平分线定理，BD/DC = AB/AC = 6/8 = 3/4。
因为BC=10，所以 BD = 10 × (3/7) = 30/7，DC = 10 × (4/7) = 40/7。
即 m=30/7, n=40/7, a=10。
代入公式：8²·(30/7) + 6²·(40/7) = 10(d² + (30/7)(40/7))
64·(30/7) + 36·(40/7) = 10d² + 10·(1200/49)
(1920 + 1440)/7 = 10d² + 12000/49
3360/7 - 12000/49 = 10d²
480 - 244.89... 这里计算较繁，通常使用角平分线长公式 d² = bc(1 - (a/(b+c))²) 更快捷，但Stewart定理是通用解法。
网友们还关心：与Stewart定理紧密相关的知识
在学习Stewart定理的过程中，用户往往会对以下相关概念产生浓厚兴趣。这些知识点构成了完整的三角形几何知识网络。
🔗 阿波罗尼奥斯定理 (Apollonius's Theorem)
即中线长公式。它是Stewart定理当 m=n 时的特例。公式：b² + c² = 2(d² + (a/2)²)。
🔗 角平分线长公式
若AD为角平分线，则 d² = bc - mn。这可以直接由Stewart定理结合角平分线定理 m/n = c/b 推导得出。
🔗 重心性质
重心将中线分为2:1。利用Stewart定理可以轻易推导出重心到顶点的距离与边长的关系。
🔗 斯特瓦尔特定理的向量形式
在向量代数中，Stewart定理可以表述为向量模长的平方关系，适用于高维空间中的单纯形。
📅 历史沿革时间轴
常见问题解答 (FAQ)
阿波罗尼奥斯定理（中线定理）实际上是Stewart定理的一个特例。当点D是边BC的中点时，即 m = n = a/2，代入Stewart定理公式 b²(a/2) + c²(a/2) = a(d² + a²/4)，两边同除以 a/2 即可得到 b² + c² = 2d² + a²/2，即阿波罗尼奥斯定理。
在普通高中数学课程标准中，Stewart定理通常不作为必修内容直接考察。但是，它是解决三角形复杂几何问题的有效工具。在数学竞赛、强基计划或自主招生中，熟练掌握Stewart定理可以大幅简化计算过程，提高解题速度。建议考生理解其推导过程，以便在考场上临时推导使用。
当题目中出现三角形，且内部有一条从顶点连向对边的线段（Cevian），并且已知条件涉及三角形的三边长度以及这条内部线段的长度或比例关系时，优先考虑Stewart定理。特别是当这条线不是中线、角平分线或高线，而是一条普通的分割线时，Stewart定理是首选。
Stewart定理主要针对三角形。对于四边形，通常使用托勒密定理（针对圆内接四边形）或欧拉四边形定理。但是，可以通过连接对角线，将四边形分解为两个三角形，然后在每个三角形中分别应用Stewart定理来解决问题。