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

咱们先不说那些死记硬背的公式，咱们就站在物理世界里，去看一下当两个边挨着搭在一起时，那个夹角到底是如何拍板的。想象一下，随意拿两根棍子，长度分别是 $a$ 和 $b$，它们有个夹角 $theta$。
要是你把这两根棍子拼在一起，形成一个三角形，第三边的长度（我们叫它 $c$）如何算呢？直觉上会认定，两边的长度加起来大约就是第三边的长度吧？不对，那是直线情况。
这里多了一个夹角，情况就复杂了。 别急着往下脑补，咱们换个角度。假设三角形 $ABC$ 是存有的，$c$ 是对着角 $C$ 的那条边。
要是我们从点 $C$ 出发，沿着两条边 $b$ 和 $a$ 画出一条辅助线，把三角形切成两半。便我们拿到了两个全等的直角三角形。
这两个直角三角形，$C$ 点的直角被切成了两半，每一半就是 $frac{theta}{2}$。 这时候，在第
一、两个直角三角形里，斜边都是原三角形的边（比如 $a$ 和 $b$），而直角边之间又有一条公共边，长度正好是 $c$。
既然两边、一角彻底一样，那这两个三角形肯定全等。 好，目前我们来算算这个直角三角形里面的东西。根据勾股定理，斜边是 $a$，直角边是 $c$ 和 $c'$（这是如何来的呢？这一步得略微解释一下）。出于两个三角形全等，故此这两个直角边实际上长度相等，都等于 $c$。
也就是说，原三角形的角 $C$ 实际上是由两个彻底一样的直角三角形拼出来的。 咱们只看其中切出来的一半直角三角形。它的斜边是 $a$，一条直角边是 $c$，剩下的另一条直角边设为 $x$。根据勾股定理：$x^2 + c^2 = a^2$。解这个方程，$x = sqrt{a^2 - c^2}$。 目前难题来了，这个 $x$ 是啥？它是切出来的半个角 $C$ 对应的边，故此整个角 $C$ 就是 $2x$。
也就是说，$cos(2x) = frac{x^2 + c^2}{...}$ 不对，得用余弦的定义。在直角三角形里，$cos(text{角}) = frac{text{邻边}}{text{斜边}}$。
故此 $cos(x) = frac{x}{a}$。 什么的，这里好办搞混。让我们重新梳理一下三角函数的定义，别被数字绕晕了。回到那个直角三角形，角是 $x$。$cos(x) = frac{text{角 } C text{ 对的直角边}}{text{斜边 } a}$？不对，角 $C$ 被平分后，每个角是 $C/2$。邻边是 $x$，斜边是 $a$，故此 $cos(C/2) = x/a$。 既然 $cos(C/2) = frac{sqrt{a^2 - c^2}}{a}$，那么两边平方一下，就拿到 $cos^2(C/2) = frac{a^2 - c^2}{a^2}$。展开就是 $frac{a^2 - c^2}{a^2} = 1 - frac{c^2}{a^2}$。 好，目前我们要算 $cos(C)$。我们知道二倍角公式 $cos(2alpha) = 2cos^2alpha - 1$。
这里 $alpha = C/2$。代入上面的式子： $cos(C) = 2 times left( 1 - frac{c^2}{a^2} right) - 1$ $= 2 - frac{2c^2}{a^2} - 1$ $= 1 - frac{2c^2}{a^2}$ $= frac{a^2 + b^2 - c^2}{2ab}$ 哇，这就是余弦定理！
看起来还是如此绕，但只要你把勾股定理和三角倍角公式套在一起，就能顺理成章地推导出来。 为了把这段推导看得更直观，咱们来对比一下正弦定理。正弦定理告诉我们 $frac{a}{sin A} = frac{b}{sin B} = frac{c}{sin C}$。
要是我们要证明这个定理，一般会先假设三角形内角和是 $180^circ$（要么说 $pi$ 弧度），然后用正弦函数的性质算出角度和，最终发现它务必等于 $180^circ$ 才能成立。
这个证明过程实际上比余弦定理要快，也更紧凑，出于它依赖的是正弦函数的伸缩性质，而不是距离公式。 不过，可能大量人认定余弦定理更关键，出于它是几何里的“距离公式”。想象一下，要是你有一张地图，上面标好了两个城市之间的直线距离（比如 $c$），还有它们各自到起点的距离（比如 $a$ 和 $b$），你想知道起点到中间那个点的路径长度是不是 $c$？这听起来有点怪，出于 $c$ 本来就是两点间距离。 咱们换个场景。假设你有两个点 $A$ 和 $B$，测得它们之间的距离是 $c$。目前你在中间点 $C$ 转了一圈，发现 $CA$ 的长度是 $a$，$CB$ 的长度是 $b$。
这时候你发现，要是直接走直线 $AB$ 的距离是 $c$，但要是你沿着 $AC$ 走再折向 $BC$，你的实际路径长度变长了。
这个长度差是多少？ 要么更准的模型：给你两个点 $X$ 和 $Y$，距离是 $c$。你从 $X$ 出发，走一个距离为 $a$ 的路走到点 $P$，从 $Y$ 出发，走一个距离为 $b$ 的路走到点 $P$。
这时候 $XP$ 和 $YP$ 的长度都是 $a$ 和 $b$。
要是你知道 $angle XPY$ 是 $180^circ$（也就是 $X, P, Y$ 在一条直线上），那么 $XY$ 的长度就是 $a+b$。
要是你转变 $angle XPY$ 到一个角度 $theta$，那么 $XY$ 的新长度 $c$ 就是我们要研究的对象。 这时候就要用到海伦公式了，要么更基础一点的几何分割。刚刚提到的辅助线法实际上就是最通用的方式。
特别是当 $theta$ 不是特殊角的时候，用直角三角形来代换是绝对稳的。 咱们举个具体的例子。假设有个三角形 $ABC$，其中 $AC = 5$，$BC = 12$，$AB = 13$。
这并不怪，出于 $5^2 + 12^2 = 25 + 144 = 169 = 13^2$。
这是一个经典的直角三角形，角 $C$ 是 $90^circ$。
这时候根据余弦定理公式： $cos C = frac{5^2 + 12^2 - 13^2}{2 times 5 times 12} = frac{25 + 144 - 169}{120} = frac{0}{120} = 0$。 出于 $cos 90^circ = 0$，故此验证无误。 再换一个，非直角三角形。设 $AC=3$，$BC=4$，$AB=5$ 还是那个勾股数，但这次让角 $C$ 变成 $60^circ$。 根据余弦定理：$AB^2 = AC^2 + BC^2 - 2 times AC times BC times cos C$ $5^2 = 3^2 + 4^2 - 2 times 3 times 4 times cos 60^circ$ $25 = 9 + 16 - 24 times 0.5$ $25 = 25 - 12$ 这里仿佛出难题了，说明我代入的数不对。
要是是 $AC=3, BC=4, AB=5$，那是直角三角形，$cos C = 0$。
要是要 $cos C = 0.5$，那 $C$ 务必是 $60^circ$。 那我们需求构造一个 $cos 60^circ = 0.5$ 的边。设 $AC=5, BC=x$，求 $AB=3$。 $3^2 = 5^2 + x^2 - 2 times 5 times x times 0.5$ $9 = 25 + x^2 - 5x$ $x^2 - 5x + 16 = 0$ 判别式 $25 - 64 < 0$，这是无解的。说明任意两边之和大于第三边。 好吧，咱们构造一个 $cos C = frac{1}{2}$ 的情况。设 $AC=2$，$BC=2$，求 $AB$。 $(AB)^2 = 2^2 + 2^2 - 2 times 2 times 2 times 0.5 = 4 + 4 - 4 = 4$ 故此 $AB=2$。
这构不成三角形。 再试一个：$AC=3, BC=4, angle C = 60^circ$。 $AB^2 = 3^2 + 4^2 - 2 times 3 times 4 times 0.5 = 9 + 16 - 12 = 13$ 故此 $AB = sqrt{13} approx 3.605$。 目前咱们用海伦公式算一下这个三角形的周长 $s$。 半周长 $s = frac{3 + 4 + sqrt{13}}{2} approx frac{7.605}{2} = 3.8025$ 面积 $S = sqrt{s(s-a)(s-b)(s-c)}$ $S = sqrt{3.8025 times (3.8025-3) times (3.8025-4) times (3.8025-sqrt{13})}$ $S = sqrt{3.8025 times 0.8025 times (-0.1975) times dots}$ 这里有负数，说明海伦公式的应用场景要么数值计算错了，出于 $sqrt{13} > 4 > 3$，故此半周长肯定小于两边，害得 $s-a$ 或 $s-b$ 为负，这在海伦公式中是绝对不可能的。 啊，我犯了一个低级毛病。
要是要 $angle C = 60^circ$，且 $AC=3, BC=4$，那么 $AB$ 务必知足 $AB^2 = 3^2 + 4^2 - 12 times 0.5 = 9 + 16 - 6 = 19$。
故此 $AB = sqrt{19} approx 4.359$。 目前三项分别是 $3, 4, sqrt{19}$。 半周长 $s = frac{3 + 4 + sqrt{19}}{2} approx frac{7.359}{2} = 3.6795$。 $s-a = 0.6795$ $s-b = 3.6795 - 4 = -0.3205$ 还是出现了负数。
这说明啥？说明 $a, b, c$ 务必知足三角形不等式。$3, 4, sqrt{19}$ 知足 $3+4 > 4.359$。
那为啥算出来一半周长如此小？ 不对，海伦公式是 $S = sqrt{s(s-a)(s-b)(s-c)}$。
这里 $s > a, s > b, s > c$ 是务必的。 $3.6795 > 4$ 是假的。说明 $s < 4$。 难道 $3, 4, sqrt{19}$ 构不成三角形？ $3 + 4 = 7$。$sqrt{19} approx 4.359$。$4.359 < 7$。知足条件。 那 $s = (3+4+4.359)/2 = 11.359 / 2 = 5.6795$。 $s - a = 5.6795 - 3 = 2.6795$ $s - b = 5.6795 - 4 = 1.6795$ $s - c = 5.6795 - 4.359 = 1.3205$ 全是正数，没难题。 刚刚我算错了 $s$。$3+4+sqrt{19} approx 11.359$。除以 2 是 $5.6795$。 我之前的估算 $4.359/2$ 是把加号看漏了要么除以 2 时搞错了。 好了，目前数据验证通过。用海伦算出来的面积，再用两边公式算出来的面积应当是一样的。 最终一句总结：余弦定理实际上就是三角函数在几何上的自然延伸。当你把三角形的边角关系转化到直角三角形体系里，你会发现勾股定理和倍角公式无缝衔接，化繁为简。
这种推导过程别看一启动看着像迷宫，但只要保持耐心，一步步把代数关系理清楚，最终那个公式自然就浮现出来了。它告诉我们，在三角形世界里，距离和角度之间有着这样一套严谨而优美的规律。