余弦定理公式的推导-余弦定理推导公式

在众多的数学证明路径中，余弦定理的推导往往最为经典且最易被理解，下面将重点介绍其最直观且易于掌握的几何推导方法。

我们需要明确三角形面积的基本计算公式，即任意三角形面积 $S$ 等于底乘以高除以二。在任意三角形 ABC 中，如果我们以边 $c$ 为底，对应的高为 $h$，那么面积 $S = frac{1}{2}ch$。同理，如果我们以边 $b$ 为底，对应的高为 $h_a$，则面积 $S = frac{1}{2}bh_a$。这两个面积表达式是相等的，即 $frac{1}{2}ch = frac{1}{2}bh_a$，由此可得 $h_a = frac{ch}{b}$。我们需要利用面积公式再次表示面积，这次是以边 $a$ 为底，对应的高为 $h_b$，则有 $S = frac{1}{2}ah_b$。将 $h_a$ 的表达式代入，得到 $S = frac{1}{2}ah_b$。现在，我们回到正弦定理，它指出在任意三角形中，各边与其对应角的正弦值之比相等，即 $frac{a}{sin A} = frac{b}{sin B} = frac{c}{sin C}$。由此可以推导出面积公式 $S = frac{1}{2}bcsin A$。将 $h_b = frac{ch}{b}$ 的面积表达式代入，得到 $S = frac{1}{2}b cdot (ch) cdot sin A$。展开后，$S = frac{1}{2}bc cdot frac{1}{2}bh_a / h_a$，这里需要更严谨的代数代换。从 $S = frac{1}{2}ah_b$ 和 $S = frac{1}{2}bcsin A$ 出发，我们可以建立等式：$frac{1}{2}ah_b = frac{1}{2}bcsin A$，解得 $h_b = frac{bcsin A}{a}$。这似乎不是最直接的推导路径。让我们换一种更标准的代数推导方式，通常采用向量的方法或投影法。

更严谨且符合现代标准的推导通常基于向量的线性组合。设向量 $vec{AB} = mathbf{c}$，$vec{BC} = mathbf{a}$，$vec{CA} = mathbf{b}$。根据向量加法的三角形法则，$vec{AB} + vec{BC} = vec{AC}$，即 $mathbf{c} + mathbf{a} = mathbf{b}$（注意方向）。取两个向量的叉积或点积，我们可以建立边的关系。对于任意三角形，若已知两边及其夹角，求第三边是最常用的场景。设 $angle B = theta$，我们要求边 $BC$ 的长度，记为 $a$。根据余弦定理的推导，我们实际上是在证明 $a^2 = b^2 + c^2 - 2bccos A$ 这一关系式的等价性。我们可以通过构造辅助线，将非夹角的边转化为三角形的高或投影。

假设我们有一个三角形 ABC，其中已知边 $b=AC$，边 $c=AB$ 和夹角 $B$。我们需要求边 $a=BC$ 的长度。我们将 $BC$ 边上的高 $BD$ 延长至 $A$ 和 $C$ 所在直线，构造直角三角形。设 $D$ 为 $A$ 在直线 $BC$ 上的投影。则在直角三角形 $ABD$ 中，$AB=c$，$angle ABD = theta$（即 $angle B$），因此 $BD = ccostheta$。在直角三角形 $CBD$ 中，$BC=a$，$BD$ 为公共直角边，所以 $CD = acostheta$。由于 $AC = AD + CD$ 或者 $AC = |AD - CD|$，这里需要根据角度是锐角还是钝角调整符号。如果 $angle B$ 是锐角，则 $AD = ccostheta$，$CD = acostheta$，那么 $AC = AD + CD = ccostheta + acostheta$？不，这是错误的逻辑。正确的逻辑是：$AC^2 = AD^2 + CD^2$ 或者利用勾股定理。

让我们采用最经典的代数化简方法。已知 $a, b, c$ 和 $angle B$，求 $a$ 的表达式。

我们在 $triangle ABC$ 内部作 $BD perp AC$ 于 $D$。

在 Rt$triangle ABD$ 中，$angle ADB = 90^circ$，$AB = c$，$angle B = theta$。

好文推荐：：