余弦定理的向量法证明及已知三边求角度的应用

在几何计算中，余弦定理连接了三角形的三边长度与其中一个角的大小。如果没有向量工具，证明过程需要依赖辅助线、勾股定理和复杂的代数运算。向量法能将这个证明简化成一次点积计算，同时给出清晰的几何意义。

一、向量法证明余弦定理

假设有一个三角形，其顶点分别为 A、B、C。定义三个向量，均从 A 点出发：

• 向量 b 从 A 指向 C
• 向量 c 从 A 指向 B
• 向量 a 从 B 指向 C

那么 a 可以表示为 b 与 c 的差： a = b - c。

核心步骤：计算 a 的长度的平方，即 |a|^2。

第1步：写出向量 a 与其自身的点积。|a|^2 = a·a = (b - c)·(b - c)。

第2步：展开点积，使用分配律。

$$(b - c)·(b - c) = b·b - 2(b·c) + c·c$$

这里的关键是 b·c 是点积。

第3步：替换点积为模长与夹角的形式。向量 b 与 c 的夹角正是顶点 A 处的角，记为 A。点积 b·c = |b| |c| cos A。同时 b·b = |b|^2，c·c = |c|^2。

代入后得到：

$$|a|^2 = |b|^2 + |c|^2 - 2|b||c|\cos A$$

第4步：转换为标准的边长表示。记 a 边（对边）长为 a，b 边（邻边）长为 b，c 边（对边）长为 c。即 |a| = a，|b| = b，|c| = c。最终公式为：

$$a^2 = b^2 + c^2 - 2bc\cos A$$

这正是余弦定理的标准形式。其它两个角的公式（b^2 = a^2 + c^2 - 2ac\cos B 和 c^2 = a^2 + b^2 - 2ab\cos C）可以通过轮换顶点得到，证明逻辑完全相同。

二、已知三边求角度：反解方程

当已知三角形的三条边 a、b、c，需要求某个角（比如角 A）时，只需重新排列余弦定理的公式。

目标：用边长表示 $\cos A$。

步骤：改写余弦定理公式。

$$a^2 = b^2 + c^2 - 2bc\cos A$$

变形：

$$2bc\cos A = b^2 + c^2 - a^2$$

整理，得到余弦的表达式：

$$\cos A = \frac{b^2 + c^2 - a^2}{2bc}$$

类似地：

$$\cos B = \frac{a^2 + c^2 - b^2}{2ac}$$

$$\cos C = \frac{a^2 + b^2 - c^2}{2ab}$$

核心结论：只要知道了三条边的长度，就能直接计算出任意一个角的余弦值，从而通过反余弦函数得到角度。

三、应用示例：用边求角

假设有一个三角形，三边长度分别为 a = 7、b = 8、c = 9。求角 A（即边长 a 的对角）的大小。

第1步：代入计算 $\cos A$。

$$\cos A = \frac{8^2 + 9^2 - 7^2}{2 \times 8 \times 9}$$

第2步：计算分子和分母。

分子：64 + 81 - 49 = 96。分母：2 * 8 * 9 = 144。

$$\cos A = \frac{96}{144} = \frac{2}{3} \approx 0.6667$$

第3步：使用反余弦函数（通常用计算器或数学软件）求出角度。

$$A = \arccos(0.6667) \approx 48.19^\circ$$

第4步：重复步骤求其它角。求角 B（b = 8 的对角）。

$$\cos B = \frac{7^2 + 9^2 - 8^2}{2 \times 7 \times 9} = \frac{49 + 81 - 64}{126} = \frac{66}{126} \approx 0.5238$$

$$B \approx \arccos(0.5238) \approx 58.41^\circ$$

第5步：计算最后一个角。三角形内角和恒等于 180°，因此可直接用减法。

$$C = 180^\circ - A - B = 180^\circ - 48.19^\circ - 58.41^\circ = 73.40^\circ$$

四、验证与自检

向量法证明的核心是点积运算，它直接将几何关系转化为代数等式。在实际计算时，需注意以下细节确保准确性：

第1项：检查边长顺序。求角 A 时，分子中是对角边的平方被减去，另外两边平方之和减去对角边平方。写错顺序会导致余弦值错误且可能超出 [-1, 1] 范围。

第2项：验证所得余弦值。任何角的余弦值必须在 [-1, 1] 之内。若结果超出这个范围，说明三边长不满足三角不等式（任意两边之和大于第三边），这样的三角形不存在。

第3项：确认角度单位。反余弦函数默认输出弧度或角度，需确保计算器或程序处于正确模式（通常工程计算习惯使用角度制）。