斯台沃特定理向量证法-向量证斯氏定理

设有一个任意三角形ABC，其三边长度分别为BC = a， CA = b， AB = c。点P是边BC上任意一点，它将边BC分割为两段，其长度分别为BP = m， PC = n，显然有 m + n = a。连接顶点A与点P，得到线段AP，设其长度为d（即斯台沃特线的长度）。

斯台沃特定理断言，以下等式恒成立： b²·m + c²·n = a·(d² + m·n) 或者其等价形式： d² = (b²·m + c²·n) / a - m·n

这个公式建立了三角形三边（a, b, c）、分线段（m, n）以及顶点到分点连线长度d之间的普适关系。当点P是边BC的中点时（即m = n = a/2），代入上式即可推导出著名的中线长公式；当AP是∠A的平分线时，结合角平分线性质定理（m/n = c/b），则可推导出角平分线长公式。
也是因为这些，斯台沃特定理是一个高度概括的“母定理”。

• 向量的表示：我们可以在平面上选取一个原点O（通常为了简便，可选取某个三角形顶点作为原点，但并非必须），那么三角形各顶点A, B, C以及边上的点P都可以用从原点O出发的位置向量来表示，记为 (vec{A}), (vec{B}), (vec{C}), (vec{P})。
• 向量的线性运算：线段向量可以表示为位置向量的差，例如 (vec{AB} = vec{B} - vec{A})。点P在边BC上，意味着向量(vec{P})可以表示为(vec{B})和(vec{C})的线性组合：(vec{P} = frac{n}{a}vec{B} + frac{m}{a}vec{C})（根据线段定比分点公式，这里假设P内分BC为m:n）。
• 向量的数量积与模长：两个向量(vec{u})和(vec{v})的数量积定义为(vec{u} cdot vec{v} = |vec{u}||vec{v}|costheta)，其中(theta)是两向量夹角。一个向量自身的数量积等于其模长的平方：(vec{u} cdot vec{u} = |vec{u}|^2)。这是将长度平方代数化的关键。
• 数量积的运算律：分配律 ((vec{u}+vec{v}) cdot vec{w} = vec{u} cdot vec{w} + vec{v} cdot vec{w})，以及交换律等，是展开和化简表达式的依据。

易搜职考网提醒考生，牢固掌握向量的这些基本性质，是运用向量法解决几何证明题的前提。

步骤一：建立向量模型并设定关系

我们任意选取一个原点O。设三角形三顶点的位置向量为(vec{A}), (vec{B}), (vec{C})。边BC上的点P满足BP = m, PC = n, 且m+n = a。 根据线段定比分点公式（向量形式），点P的位置向量可以表示为： [ vec{P} = frac{n}{m+n}vec{B} + frac{m}{m+n}vec{C} = frac{n}{a}vec{B} + frac{m}{a}vec{C} ] 这个表达式是后续推导的起点。

步骤二：用向量表示相关线段长度的平方

我们的目标是建立关于(d^2, b^2, c^2, m, n, a)的等式。用位置向量表示这些长度的平方：

• (d^2 = |AP|^2 = |vec{P} - vec{A}|^2 = (vec{P} - vec{A}) cdot (vec{P} - vec{A}))
• (b^2 = |AC|^2 = |vec{C} - vec{A}|^2 = (vec{C} - vec{A}) cdot (vec{C} - vec{A}))
• (c^2 = |AB|^2 = |vec{B} - vec{A}|^2 = (vec{B} - vec{A}) cdot (vec{B} - vec{A}))
• (a^2 = |BC|^2 = |vec{C} - vec{B}|^2 = (vec{C} - vec{B}) cdot (vec{C} - vec{B}))

注意，m和n是已知的长度值，a = m+n。

步骤三：计算关键表达式 (b^2 cdot m + c^2 cdot n)

根据斯台沃特定理，我们需要处理(b^2 m + c^2 n)这个组合。将步骤二中(b^2)和(c^2)的向量表达式代入： [ b^2 m + c^2 n = m[(vec{C} - vec{A}) cdot (vec{C} - vec{A})] + n[(vec{B} - vec{A}) cdot (vec{B} - vec{A})] ] 利用数量积的分配律，我们暂时不急于完全展开，而是先观察整体结构。

步骤四：计算另一个关键表达式 (a(d^2 + mn))

定理等式的另一边是(a(d^2 + mn) = (m+n)d^2 + (m+n)mn)。我们先处理(d^2)部分。 将步骤一中(vec{P})的表达式代入(d^2)： [ begin{aligned} d^2 &= (vec{P} - vec{A}) cdot (vec{P} - vec{A}) \ &= left( frac{n}{a}vec{B} + frac{m}{a}vec{C} - vec{A} right) cdot left( frac{n}{a}vec{B} + frac{m}{a}vec{C} - vec{A} right) \ &= left( frac{n}{a}(vec{B} - vec{A}) + frac{m}{a}(vec{C} - vec{A}) right) cdot left( frac{n}{a}(vec{B} - vec{A}) + frac{m}{a}(vec{C} - vec{A}) right) quad text{(将-vec{A拆配到两项中)} end{aligned} ] 现在，令 (vec{u} = vec{B} - vec{A})， (vec{v} = vec{C} - vec{A})。则 (vec{u}) 对应边AB的向量，模长为c；(vec{v}) 对应边AC的向量，模长为b。且 (vec{C} - vec{B} = vec{v} - vec{u})，其模长为a。 于是， [ d^2 = left( frac{n}{a}vec{u} + frac{m}{a}vec{v} right) cdot left( frac{n}{a}vec{u} + frac{m}{a}vec{v} right) ] 应用数量积的分配律展开： [ begin{aligned} d^2 &= left( frac{n}{a}vec{u} right) cdot left( frac{n}{a}vec{u} right) + left( frac{n}{a}vec{u} right) cdot left( frac{m}{a}vec{v} right) + left( frac{m}{a}vec{v} right) cdot left( frac{n}{a}vec{u} right) + left( frac{m}{a}vec{v} right) cdot left( frac{m}{a}vec{v} right) \ &= frac{n^2}{a^2} (vec{u} cdot vec{u}) + frac{2mn}{a^2} (vec{u} cdot vec{v}) + frac{m^2}{a^2} (vec{v} cdot vec{v}) \ &= frac{n^2}{a^2} c^2 + frac{2mn}{a^2} (vec{u} cdot vec{v}) + frac{m^2}{a^2} b^2 end{aligned} ] 也是因为这些， [ a cdot d^2 = (m+n) cdot d^2 = frac{n^2(m+n)}{a^2} c^2 + frac{2mn(m+n)}{a^2} (vec{u} cdot vec{v}) + frac{m^2(m+n)}{a^2} b^2 ] 由于 (a = m+n)，所以 (frac{m+n}{a^2} = frac{a}{a^2} = frac{1}{a})。代入上式： [ a cdot d^2 = frac{n^2}{a} c^2 + frac{2mn}{a} (vec{u} cdot vec{v}) + frac{m^2}{a} b^2 ] 那么，定理等式的右边部分为： [ a(d^2 + mn) = a cdot d^2 + a cdot mn = left[ frac{n^2}{a} c^2 + frac{2mn}{a} (vec{u} cdot vec{v}) + frac{m^2}{a} b^2 right] + (m+n)mn ]

步骤五：计算并比较等式两边，完成证明

现在，我们重新整理左边 (b^2 m + c^2 n)，并用(vec{u}, vec{v})表示： [ b^2 m + c^2 n = m(vec{v} cdot vec{v}) + n(vec{u} cdot vec{u}) ] 我们需要证明：(m(vec{v} cdot vec{v}) + n(vec{u} cdot vec{u}) = left[ frac{n^2}{a} c^2 + frac{2mn}{a} (vec{u} cdot vec{v}) + frac{m^2}{a} b^2 right] + (m+n)mn)。 将右边通分（以a为分母），并注意到(c^2 = vec{u} cdot vec{u}, b^2 = vec{v} cdot vec{v}, a = m+n)： [ text{右边} = frac{1}{a} left[ n^2 (vec{u} cdot vec{u}) + 2mn (vec{u} cdot vec{v}) + m^2 (vec{v} cdot vec{v}) right] + a cdot mn ] 将 (a = m+n) 代入 (a cdot mn) 项，并将其也写成分母为a的形式：(a cdot mn = frac{a^2 mn}{a} = frac{(m+n)^2 mn}{a})。 于是， [ text{右边} = frac{1}{a} left[ n^2 (vec{u} cdot vec{u}) + 2mn (vec{u} cdot vec{v}) + m^2 (vec{v} cdot vec{v}) + (m+n)^2 mn right] ] 现在，比较左右两边。将左边也写成分母为a的分数形式： [ text{左边} = m(vec{v} cdot vec{v}) + n(vec{u} cdot vec{u}) = frac{1}{a} left[ a m (vec{v} cdot vec{v}) + a n (vec{u} cdot vec{u}) right] = frac{1}{a} left[ (m+n) m (vec{v} cdot vec{v}) + (m+n) n (vec{u} cdot vec{u}) right] ] 也是因为这些，我们需要证明： [ (m+n) m (vec{v} cdot vec{v}) + (m+n) n (vec{u} cdot vec{u}) = n^2 (vec{u} cdot vec{u}) + 2mn (vec{u} cdot vec{v}) + m^2 (vec{v} cdot vec{v}) + (m+n)^2 mn ] 将左边展开： [ 左边 = m^2 (vec{v} cdot vec{v}) + mn (vec{v} cdot vec{v}) + mn (vec{u} cdot vec{u}) + n^2 (vec{u} cdot vec{u}) ] 将右边最后一项((m+n)^2 mn = (m^2 + 2mn + n^2)mn = m^3n + 2m^2n^2 + mn^3)展开（注意这是一个纯数量，不含向量）。 现在，将左右两边的向量项和纯数量项分别对齐。观察向量项： - 左边包含：(m^2 (vec{v} cdot vec{v}) + n^2 (vec{u} cdot vec{u}) + mn(vec{v} cdot vec{v}) + mn(vec{u} cdot vec{u})) - 右边向量项包含：(m^2 (vec{v} cdot vec{v}) + n^2 (vec{u} cdot vec{u}) + 2mn (vec{u} cdot vec{v})) 为了使左右相等，需要左边多出的 (mn(vec{v} cdot vec{v}) + mn(vec{u} cdot vec{u})) 与右边多出的 (2mn (vec{u} cdot vec{v})) 以及右边的纯数量项 ((m+n)^2 mn) 之间建立恒等关系。但这看起来并不直接相等。我们似乎遇到了障碍。这说明我们需要寻找一个关键的向量恒等式来联系这些项。

这个关键就是向量模长与夹角的基本关系，或者直接利用向量(vec{u})和(vec{v})的差。考虑向量(vec{v} - vec{u} = vec{C} - vec{B})，其模长平方为(a^2)： [ a^2 = |vec{v} - vec{u}|^2 = (vec{v} - vec{u}) cdot (vec{v} - vec{u}) = vec{v} cdot vec{v} - 2vec{u} cdot vec{v} + vec{u} cdot vec{u} = b^2 - 2vec{u} cdot vec{v} + c^2 ] 由此，我们可以解出 (vec{u} cdot vec{v})： [ vec{u} cdot vec{v} = frac{b^2 + c^2 - a^2}{2} ] 但更巧妙的是，我们可以利用这个关系去改造我们的表达式。观察我们需要匹配的项：左边多出 (mn(b^2 + c^2))，右边对应位置有 (2mn (vec{u} cdot vec{v}) + (m+n)^2 mn)。 将 (vec{u} cdot vec{v} = frac{b^2 + c^2 - a^2}{2}) 代入右边： [ 2mn (vec{u} cdot vec{v}) + (m+n)^2 mn = 2mn cdot frac{b^2 + c^2 - a^2}{2} + a^2 mn = mn(b^2 + c^2 - a^2) + a^2 mn = mn(b^2 + c^2) ] 这正是左边多出的项 (mn(vec{v} cdot vec{v}) + mn(vec{u} cdot vec{u}) = mn(b^2 + c^2))！

也是因为这些，左右两边的向量项和数量项完全匹配，恒等式成立。回溯整个等价过程，我们便严格证明了： [ b^2 cdot m + c^2 cdot n = a cdot (d^2 + m cdot n) ]

至此，我们运用向量方法完成了斯台沃特定理的证明。整个过程主要依赖于向量的线性表示、数量积运算及其分配律，并在关键步骤运用了三角形三边平方关系（本质是余弦定理的向量形式）来统一表达式，逻辑清晰，步骤严谨。

• 思路直接，程序化强：向量法将几何问题转化为代数运算。证明的路线图非常清晰：设定向量→表示相关量→进行代数运算（展开、合并）→利用已知关系（如(a^2 = |vec{v}-vec{u}|^2)）化简→得到结论。这种程序化的步骤降低了思维跳跃的难度。
• 避免复杂辅助线与三角变换：传统证明往往需要作高线构造直角三角形，或多次应用余弦定理，涉及多个角的余弦值。向量法完全在向量运算的框架内进行，无需添加辅助线，也规避了具体的角度计算，使证明更加简洁、通用。
• 深刻揭示数学结构的统一性：向量证明将长度平方统一处理为向量的自点积，将点共线或定比分点关系表示为向量的线性组合。这让我们看到，斯台沃特定理实质上是向量线性运算和模长平方运算（二次型）性质的一个自然结果。这种视角提升了我们对问题本质的理解。

对于正在备战各类数学考试的考生来说，掌握像斯台沃特定理向量证法这样的经典案例，具有重要的实践意义。它不仅仅是为了证明一个定理，更是为了培养一种强大的数学工具使用意识。在易搜职考网提供的备考资源中，特别强调这类通性通法的学习和归结起来说。当遇到复杂的几何长度、比例问题时，尝试建立向量模型，往往能化繁为简，开辟一条高效的解题路径。通过系统练习，考生可以逐渐熟练地将几何条件“翻译”成向量语言，并灵活运用向量运算律进行推导，从而大幅提升解决综合几何问题的能力和信心。

斯台沃特定理的向量证法是一个展示现代数学方法优越性的完美范例。它融合了几何的直观与代数的精确，其思想可以迁移到许多其他几何定理的证明和解题中。深入理解并掌握这种方法，无疑会为数学知识库增添一件利器，无论是在学术研究还是在考试竞争中，都能发挥出重要的作用。学习者在易搜职考网这类平台的引导下，通过针对性的练习和反思，可以更有效地内化这种思想方法，实现数学思维能力从具象到抽象、从特殊到一般的关键跃升。