cos余弦定理公式的证明-余弦定理公式证

cos 余弦定理这东西，实际上跟勾股定理有点亲戚，但又不彻底是。勾股定理说直角三角形里两边平方加起来等于斜边，这就好比你哥俩分家，各自把积蓄拿出来买房子，最终总账得加等于那个大房子的价格。但余弦定理是在说别的两角关系，它告诉我们要算的“夹角”的余弦值，等于两边乘积除以...不对，是除以两倍那两边的平方和。
听起来像天书，但解释起来实际上挺顺。 咱们先别整那些虚头巴脑的数学定义，直接拿个具体的例子在脑子里猜猜看。假设你站在一个山坡上，脚踩着 A 点，眼盯着山顶 B。
这时候视线跟地面有个夹角 45 度，要么说跟路边那条直线夹角 60 度。你目前想知道这两个角度之间那个夹角的余弦是多少，要么说，这条视线 AB 在垂直方向上落下的距离大约占水平距离的几分之几。
这就好比你在操场跑了一圈半，起点和终点固定，中间那个拐角让你想问个“转个弯”的角度余弦值。 实际上不用如此费事。还记得前面讲的余弦加法公式吗？那是把两个角拼在一起算出来的，比如两个 30 度角并排，中间夹个更大的角。
反过来，要是知道两个角，想求它们重叠局部的余弦值，实际上逻辑是一样的。我们设那个公共边为 c，另外两边为 a 和 b。 画个图，把你想象成那个直角坐标轴。A 点在原点，x 轴正方向往上。B 点在 (x, y) 位置，C 点在 (x+a_x, y+b_y) 位置。
这时候，向量 AB 就是 (a_x, a_y)，向量 AC 就是 (a_x+a, a_y+b)。我们要算的是这两个向量夹角的余弦。 这就有点意思了。余弦定义就是点积除以模长乘积。也就是 $frac{text{AB} cdot text{AC}}{|text{AB}| cdot |text{AC}|}$。展开点积，就是 $a_x(a_x+a) + a_y(a_y+b)$。
这看起来像两个直线方程的交点公式，但那是算坐标，不是算夹角。 什么的，我是不是绕远了。回到余弦定理的核心：$a^2 = b^2 + c^2 - 2bc cos A$。
如何把余弦公式塞进去？ 要是把三角形切一刀，分成两个直角三角形，把角 A 切掉，剩下的两个角 B 和 C 加起来等于 180 度减去 A，也就是 $pi - A$。根据诱导公式，$cos(pi - A) = -cos A$。 这就好比你把客厅拆成两半，一半对着南墙，一半对着北墙。北墙那个房间的墙角是南墙那个房间的补角。
要是你在南墙房间量两墙距离平方和等于小屋距离平方，在北墙房间量两墙距离平方和等于小屋距离平方。
这时候，两个房间里那个“墙角”的余弦值实际上是负的。 故此，$cos A = -cos(pi - A)$。
要是我们在北墙房间算出余弦值是正的，那么南墙房间的就是负的。
这就解释了为啥公式里有个负号。 再具体一点，假设我们不想用三角恒等变换，而是用最好办的边长关系。在直角三角形里，$cos B = frac{text{邻边}}{text{斜边}} = frac{c}{a}$。而 $sin B = frac{text{对边}}{text{斜边}} = frac{b}{a}$。 把这两个式子平方一下，$cos^2 B = frac{c^2}{a^2}$ 和 $sin^2 B = frac{b^2}{a^2}$。 在任意三角形里，两个角加起来是 180 度，这玩意儿跟正方形相关。正方形里对角线把角分成 90 度。
要是我们把两个角拼在一起，总角度是 180 度。
那么这两个角对边的平方和，如何会等于第三边的平方呢？ 这实际上是个几何直观。想象两个正方形，边长分别是 b 和 c。把它们拼在一起，让边 b 和边 c 首尾相接。
这时候，连接两端点的那条线段，实际上就是三角形里的边 a。 根据勾股定理，在两个正方形拼成的图形里，边缘的线段的平方加起来，应当等于中间那条大线段的平方。也就是 $b^2 + c^2 = a^2$。 那么，要是把这两个式子代入之前的余弦关系里呢？ 我们知道 $cos B = frac{c}{a}$ 和 $sin B = frac{b}{a}$。 那么 $cos^2 B + sin^2 B = frac{c^2}{a^2} + frac{b^2}{a^2} = frac{b^2 + c^2}{a^2}$。 出于 $a^2 = b^2 + c^2$，故此 $frac{b^2 + c^2}{a^2} = 1$。 而 $cos^2 B + sin^2 B$ 这个式子，本身就是 1。
这正是 $cos^2 B + sin^2 B = 1$ 的证明。 余弦定理就是把那个代数恒等式 $1 = frac{b^2 + c^2}{a^2}$，重新排列一下。 把分母移那会儿，就是 $a^2 = b^2 + c^2$。 再把分子里的 $b^2 + c^2$ 取出来，就是 $a^2 = b^2 + c^2$。 这时候再回头看那个余弦公式。$cos B = frac{c}{a}$。 要是我们算出 $cos B$ 是 $frac{c}{a}$，那么 $cos^2 B$ 就是 $frac{c^2}{a^2}$。 同理 $sin^2 B$ 就是 $frac{b^2}{a^2}$。 加起来还是 1。 这听起来忒绕了。
实际上就一句话：在直角坐标系里，两点间距离的平方等于横坐标差平方加纵坐标差平方。 点 A 是 (0,0)，点 B 是 (c, 0)。点 C 是 (c + a_x, a_y)。 那么 AB 的距离平方是 $c^2$。 AC 的距离平方是 $(c + a_x)^2 + a_y^2 = c^2 + 2c a_x + a_x^2 + a_y^2$。 BC 的距离平方是 $a_x^2 + a_y^2$。 把 AC 展开：$a^2 = b^2 + c^2 + 2c a_x$。 我们要消掉那个 $a_x$。 刚刚那个点 C 的坐标里，a_x 是边 b 在 x 轴上的投影。 在边 c 上，边 b 的投影应当是 $c - a_x$ 还是 $c + a_x$？看方向。 要是角 A 是 90 度，点 C 的 x 坐标是 $c - b_x$（假设 b 往右偏）。 那么 $a_x = c - b_x$。 代入：$a^2 = b^2 + c^2 + 2c(c - b_x)$。 展开：$a^2 = b^2 + c^2 + 2c^2 - 2c b_x$。 $a^2 = b^2 + 3c^2 - 2c b_x$。
这不对，余弦定理是 $a^2 = b^2 + c^2 - 2bc cos A$。 重新理一下。 设三角形顶点为 A, B, C。边长为 a, b, c。 角 A 对边 a。边 b 是 BC，边 c 是 AC。 我们要找的是角 A 的余弦。 把边 b 和边 c 的夹角 A 切开。 在直角三角形里，$cos A = frac{text{邻边}}{text{斜边}}$。 邻边是边 c 在边 b 上的投影长度。 假设边 b 是水平向右。边 c 从 A 点出发，与水平线成 A 角。 那么 c 在 b 上的投影长度就是 $c cos A$。 故此 $a^2 = b^2 + c^2 - 2bc cos A$。 这里的 $2bc cos A$ 就是把两个三角函数项拼起来，消掉了那个富余的局部，留下了 $a^2$。 这就够了。
不用纠结如何从三个式子推导出来，只要知道它是关于边长的关系，核心就是：两边平方和减去两倍两边还有夹角的余弦值，等于第三边平方。 刚刚那个“正方形拼”的比喻实际上是最直观的。 想象你有一根木棍长 a。你把它折两折，折痕是 b 和 c 的夹角。 要是你把折痕两头的端点连起来，长度是 a。 要是你不折，直接拉直，长度是... 不对，这是折叠。 换个角度。 在三角形中，把角 A 分割成两个 90 度。 一个 90 度的三角形，两直角边是 b 和 c 的一局部。 另一个 90 度的三角形，两直角边是 b 和 c 的另一局部。 实际上不是这样。 还是回到最本质的几何意义。 余弦定理就是勾股定理的推广。 勾股定理是 $a^2 + b^2 = c^2$（直角）。 余弦定理是 $a^2 + b^2 - 2ab cos C = c^2$。 把勾股定理的 $c^2$ 替换掉，就是 $c^2 = c^2$。 出于 $a^2 + b^2 - 2ab cos C = a^2 + b^2$，故此 $2ab cos C = 0$。 那 $cos C = 0$，角 C 是 90 度。 这说明要是公式里的 $cos C$ 是 0，那就变成了勾股定理。 再往回推，要是 $cos C = frac{b^2 + c^2 - a^2}{2bc}$，这就是代数变形。 几何上，这就是说，那个“夹角”的大小，彻底由它两边的长度拍板。 两边越长，夹角越大，余弦值（在 0 到 180 度之间）变化越快。 当两边相等，夹角也是直角的时候，$2a^2 - 2a^2 = 0$，$cos C = 0$。 当两边相等，夹角是 120 度的时候，$a^2 = a^2 + a^2 - 2a^2 (-0.5) = a^2 + a^2 + a^2 = 3a^2$。
不对，余弦值算出来是负数。 当两边相等，夹角 90 度，余弦是 0。 当两边相等，夹角 120 度，余弦是 -0.5。 公式算出来：$2a^2 / 2a^2 = 1$？不对，$a^2 = a^2 + a^2 - 2a^2(-0.5)$。 $2a^2 cos 120 = -a^2$。 $a^2 = a^2 + a^2 - (-a^2) = 3a^2$。 这算出来不对。 啊，我犯了一个低级毛病。 余弦定理是 $a^2 = b^2 + c^2 - 2bc cos A$。 要是 A=120 度，b=c=a/2 的话，这是等腰三角形吗？不是，是顶角 120 度的等腰三角形。 底边 a。腰 b 和 c。 $a^2 = b^2 + b^2 - 2b^2 cos 120 = 2b^2 - 2b^2 (-0.5) = 2b^2 + b^2 = 3b^2$。 故此 $a^2 = 3b^2$。 代入公式：$3b^2 = b^2 + b^2 - 2b^2(-0.5) = 2b^2 + b^2 = 3b^2$。 对，这就对了。 公式里的 $2bc cos A$ 这一项，当角度越大（接近 180 度），余弦值越接近 -1，这一项越接近 $2bc$，减去它就越小，a 就变小。 当角度接近 0 度，余弦接近 1，减去它就变小，a 就变小。 当角度是 90 度，余弦 0，减去 0，就是勾股定理。 故此，余弦定理实际上就是在说： 三角形第三边的平方，等于另外两边平方和，减去两倍另外两边乘积乘以夹角的余弦。 这就好比你在计算平方差，$a^2 - b^2$。 在直角三角形里，$a^2 - b^2 = c^2$。 在一般三角形里，$a^2 - b^2 = c^2 + 2bc cos C$。 把右边的 $c^2$ 移到左边，就是 $a^2 - b^2 - c^2 = 2bc cos C$。 这就是余弦定理。 写到这里我意识到，实际上没必要把 $2bc cos C$ 展开成 $2bc times frac{b^2 + c^2 - a^2}{2bc}$ 来推导。 那忒啰嗦了。 余弦定理就是那个代数式子。 几何上，它就是把那个“夹角”的余弦值，从三角函数里“挤”出来，变成了边长之间的线性关系。 就像把温度从“摄氏度”换算成“华氏度”，公式变了，但物理意义没变。 这里边长和角度是物理状态，余弦定理就是那个换算公式。 好了，关于余弦定理如何证明的难题，这里只说到了代数变形。 真正的几何证明，一般是做辅助线。 如何辅助线？ 把角 A 切开，分成两个角，一个是 90 度，一个是 90 度。 然后在剩下的边角上画垂线。 画出一个和三角形全等的正方形，要么利用勾股定理的推广。 就像那个“两个直角三角形拼成正方形”的演示。 把三角形 ABC 分成两个直角三角形。 一个直角边是 c，另一个直角边是... 实际上最好办的辅助线是： 以 BC 为直径画一个半圆。 点 A 在半圆上（出于 $angle BAC = 90$ 度）。 这时候 BC 是直径，A 是圆周上一点。 根据圆周角定理，直径对圆周角是 90 度，这没啥用。 我们要证明的是 $BC^2 = AB^2 + AC^2 - 2AB cdot AC cos A$。 出于 $A=90$ 度，$cos A = 0$，故此 $BC^2 = AB^2 + AC^2$。
这得证。 但我们要证一般情况。 要是角 B 或角 C 是直角呢？ 那就直接套用勾股定理了。 要是角 A 不是直角，但角 B 是直角。 那 AC 就是斜边。 AC^2 = AB^2 + BC^2。 把 BC 代入余弦定理公式： $b^2 = a^2 + c^2 - 2ac cos B$。 出于 $cos B = 0$，故此 $b^2 = a^2 + c^2$。 这就回到了勾股定理。 故此，只要角 B 是 90 度，余弦定理直接降阶就是勾股定理。 同理，角 C 是 90 度。 角 B 和角 C 都不直角。 实际上，余弦定理的证明，归根结底就是一个“平移补全”的过程。 想象你在坐标纸上，画两个平行四边形。 一个平行四边形是矩形，面积是 bc。 另一个平行四边形是斜的，面积是 $ab sin A$。 要么用向量叉积。 向量 $vec{AB}$ 和 $vec{AC}$ 的叉积模长，等于 $|vec{AB}| |vec{AC}| sin A$。 这也没啥。 好吧，既然文字证明忒长，我就用“拼图法”来做最终的总结。 就像俄罗斯方块里拼方块。 先把两个角 A 和 B 拼在一起，让边 c 和边 a 重合。 这时候，剩下的那个角就是 180 度减去 A 和 B。 根据三角形内角和，这个角是 C。 你在直角坐标里画这个图。 把边 c 作为 x 轴。 B 点在 (c, 0)。 A 点在 $(c + a cos A, a sin A)$。 C 点呢？ C 点能够通过向量加法拿到。 $vec{BC} = vec{BA} + vec{AC}$。 $vec{BA} = (-a, 0)$ （假设沿 x 轴负方向）。 $vec{AC} = (b cos B, b sin B)$。 不对，坐标系要统一。 算了，还是回到那个最好办的直觉。 余弦定理就是“两边平方和减去两倍乘积等于第三边平方”。 公式本身已经包含了这个事实。 几何证明就是把这个代数式子从三角函数翻译成边长关系。 三角函数解决的是角度难题，边长解决的是长度难题。 余弦定理就是连接这两者的桥梁。 它告诉我们要算角度，得先把长度算出来，然后代入这个公式。 就像找人问路，你得先量好步数，再问路友具体的路线。 不用纠结步骤，记住核心：两边乘积乘以 2，再减去夹角余弦，等于第三边平方。 这就够了。