向量方法证明正余弦定理的数学理论体系

摘要： 向量理论为几何定理的证明提供了强有力的代数化工具。本文基于向量空间的基本概念与运算性质，严格推导平面几何中的正弦定理与余弦定理。通过建立系统的向量表示框架，将几何关系转化为向量运算，从而规避传统证明中的辅助线构造与复杂三角变换，展现向量方法在几何证明中的优越性与一般性。

关键词：向量运算；点积；叉积模长；正弦定理；余弦定理；代数化证明

---

1 向量理论基础

1.1 向量的基本定义

设存在点集 $E$ 与实数域 $\mathbb{R}$，若存在映射 $|\cdot |:E\to {\mathbb{R}}^{+}$ 及满足平行四边形法则的加法运算，则称 $E$ 为一向量空间，其元素称为向量。常用 $\vec{a},\vec{b}$ 等表示。重要概念包括：

• 模长：向量 $\vec{a}$ 的长度，记作 $|\vec{a}|$；
• 零向量：满足 $|\vec{a}|=0$ 的向量，记作 $\vec{0}$；
• 单位向量：满足 $|\vec{e}|=1$ 的向量；
• 平面向量基本定理：设 ${\vec{e}}_1,{\vec{e}}_2$ 为二维实内积空间中的一组标准正交基，则对任意向量 $\vec{a}$，存在唯一分解 $\vec{a}=x_1{\vec{e}}_1+x_2{\vec{e}}_2$，其中 $(x_1,x_2)$ 为 $\vec{a}$ 的坐标。

1.2 向量运算及其坐标表示

在标准正交基 $(\vec{i},\vec{j})$ 下，设 $\vec{a}=(x_1,y_1)$, $\vec{b}=(x_2,y_2)$，$\lambda \in \mathbb{R}$，定义：

• 线性运算：
  $$\vec{a}+\vec{b}=(x_1+x_2,y_1+y_2),\lambda \vec{a}=(\lambda x_1,\lambda y_1);$$
• 内积（点积）：
  $$\vec{a}\cdot \vec{b}=x_1{x}_2+y_1{y}_2=|\vec{a}||\vec{b}|\cos \theta ,$$
  其中 $\theta$ 为两向量夹角；
• 外积（叉积）模长（用于面积计算）：
  $$|\vec{a}\times \vec{b}|=|x_1{y}_2-x_2{y}_1|=|\vec{a}||\vec{b}||\sin \theta |.$$

由此可得：

• $\vec{a}\parallel \vec{b}\iff x_1{y}_2-x_2{y}_1=0$；
• $\vec{a}\perp \vec{b}\iff \vec{a}\cdot \vec{b}=0$.

---

2 正弦定理与余弦定理的向量证明

2.1 余弦定理的向量证明

考虑任意 $△ABC$。引入向量标记：
$$\overrightarrow{AB}=\vec{c},\overrightarrow{AC}=\vec{b},\overrightarrow{BC}=\vec{a}.$$
由向量减法：
$$\vec{a}=\vec{b}-\vec{c}.$$
对 $\vec{a}$ 作内积运算：
$$\begin{array}{rl}|\vec{a}{|}^2& =\vec{a}\cdot \vec{a}=(\vec{b}-\vec{c})\cdot (\vec{b}-\vec{c})\\ & =\vec{b}\cdot \vec{b}+\vec{c}\cdot \vec{c}-2\vec{b}\cdot \vec{c}\\ & =|\vec{b}{|}^2+|\vec{c}{|}^2-2|\vec{b}||\vec{c}|\cos \angle BAC.\end{array}$$
记 $a=|\vec{a}|$, $b=|\vec{b}|$, $c=|\vec{c}|$，即得：
$$a^2=b^2+c^2-2bc\cos A.$$
同理可证其余二式。  $\square$

2.2 正弦定理的向量证明

$△ABC$ 的面积 $S$ 可表为：
$$S=\frac{1}{2}\left|\overrightarrow{AB}\times \overrightarrow{AC}\right|=\frac{1}{2}|\vec{c}\times \vec{b}|=\frac{1}{2}bc\sin A.$$
同理有：
$$S=\frac{1}{2}ac\sin B=\frac{1}{2}ab\sin C.$$
由等量关系：
$$\frac{1}{2}bc\sin A=\frac{1}{2}ac\sin B=\frac{1}{2}ab\sin C.$$
同除以 $\frac{1}{2}abc$ 得：
$$\frac{\sin A}{a}=\frac{\sin B}{b}=\frac{\sin C}{c}.$$
定理得证。  $\square$

---

3 向量方法的理论优势

1. 结构统一性：点积与叉积分别对应余弦定理（边长关系）与正弦定理（面积与角关系），二者源于同一向量框架。
2. 证明构造性：向量差 $\vec{b}-\vec{c}$ 的引入自然反映几何结构，点积展开自动产生余弦项。
3. 运算代数化：将几何证明转化为向量运算流程：
   • 定义各边向量；
   • 表示目标向量；
   • 选取合适运算（点积/叉积）；
   • 代入模与夹角定义；
   • 化简得结果。
4. 高维可推广性：向量运算在更高维空间仍保持有效，为该类定理在抽象空间中的推广提供途径。

---

4 结论

向量方法通过代数运算封装几何关系，为经典几何定理提供了简洁、严谨、可机械执行的证明路径。该方法不仅避免了辅助线构造的技巧性困难，更揭示了两大三角定理的内在统一性：余弦定理源于向量差的模长计算，正弦定理则源于面积表示的等价性。这种代数化、可计算的处理方式，为几何定理的机器证明与高等几何的学习奠定了坚实基础。