余弦定理推导过程三种-余弦定理推演共三种

咱先不说虚的，拿个三角板在纸上随意划划，看看三边长度，嘿，数学这东西最讲究直观，别总在那儿念定理名字，直接看公式长啥样，边长平方减去两倍乘积再加第三边平方，等于零？这听着像废话，可就是它硬生生把“两边夹角”和“第三边长度”绑在了一起。 想象一下那个三角形，里面有个角，记作 $C$。我们手里捏着两条边，长度分别是 $a$ 和 $b$，它们之间的夹角就是 $C$。目前咱们要算第三条边 $c$ 有多长。
那会儿学勾股定理时，直角三角形算得特顺，直角俩边乘积除直角才得直角边。但这三角形不是直角，那得咋凑？ 咱们得换个思路，不直接去算 $c$，而是先看看能不能把 $c$ 和 $b$ 的夹角给弄出来对吧？要是我把 $a$ 边拼到三角形外面，把 $b$ 边也拼上去，让它们俩的夹角变成 $2C$，这时候两条斜边长度都是 $a$，那这个新拼出来的三角形里，$a$ 是底边，$c$ 就是其中一条腰，$2C$ 就是顶点角。 这就把难题给复杂了，出于目前有两个 $a$ 边夹个 $2C$，求中间那条边 $c$。
这仿佛有点绕，但换个角度想，还是先去算 $2C$ 的余弦值。在斜边是 $a$ 的三角形里，角 $C$ 别看还是那个 $C$，但我们能够通过投影法要么面积法把它拉出来。 先说面积法，这玩意儿最实用。你记住三角形面积公式 $1/2 ab sin C$ 吧。
要是把这个三角形绕着边 $b$ 旋转 $180$ 度拼到另一边，就能拿到一个平行四边形。
哎呀，这图忒复杂了，咱们简化点。 咱还是回到那个最基础的几何直观。把边 $a$ 的平方展开，边 $b$ 的平方也展开，这时候你会发现，$a^2$ 和 $b^2$ 展开后，里面都有个 $2ab$ 项，并且符号都是正号。
这时候要是把 $a^2 - b^2$ 这一项拆开，仿佛能用一些“化归”的思路把它们合并。 实际上这过程就像是在玩拼图，只不过我们不用具体的图形，而是用代数变换。我们把 $c^2$ 放在等式的左边，右边原本就是 $a^2 + b^2 - 2ab cos C$。目前我们要证明这个式子等于 $0$。 这就好比你在解一个高难度的方程，左边是未知的 $c^2$，右边是一堆已知量的组合。
要是我们把右边所有含有 $c$ 的项都移到左边，要么把常数项都移那会儿，最终会发现左边剩下一个 $c^2$，右边剩下一个 $2c^2$ 的项（出于 $-2ab cos C$ 这一项在两边抵消后，左边多出一个 $2c^2$）。 对，具体来看，把 $c^2$ 放在等式左边，那么右边原本就是 $a^2 + b^2 - 2ab cos C$。
要是我们把 $c^2$ 移到右边，这时候右边就多了个 $c^2$，也就是 $2c^2$。
这时候等式就变成了 $c^2 = a^2 + b^2 - 2ab cos C$。 这看起来像是一个恒等式，仿佛 $c$ 随意取个值都能成立？不对，这是数学的魅力，它意味着只要 $a, b, C$ 是固定的，$c$ 也就有且仅有一个值，并且这个关系式务必严格成立。就像你掰掰手腕，力气大小（$a$ 和 $b$）跟手腕关节的角度（$C$）拍板了你能掰多大力气（$c$），这三天打鱼两天晒网，关系是刚性的。 为了咱们好理解，咱得搞个具体例子。假设有一个三角形，边长分别是 $3, 4, 5$。
这明显是个直角三角形，角度 $C$ 就是 $90$ 度。代入公式看看：$c^2 = 3^2 + 4^2 - 2 times 3 times 4 times cos 90^circ$。 算一算，$3$ 的平方是 $9$，$4$ 的平方是 $16$。$2$ 乘 $3$ 乘 $4$ 是 $24$。$cos 90$ 肯定是 $0$，故此最终一项是 $0$。右边加起来就是 $9 + 16 - 0 = 25$。而 $c$ 就是 $5$，$5$ 的平方正好也是 $25$。等式成立！ 再试一个非直角的情况。假设两边是 $5$ 和 $10$，夹角是 $60$ 度。先算 $cos 60$，等于 $1/2$。代入公式：$c^2 = 5^2 + 10^2 - 2 times 5 times 10 times (1/2)$。 $5$ 的平方是 $25$，$10$ 的平方是 $100$。$2 times 5 times 10 times 0.5$ 这一项，中间有个 $0.5$，一加一减正好抵消了，剩下 $10 times 10 = 100$。
故此右边变成 $25 + 100 - 100 = 25$。
这意味着 $c$ 的平方是 $25$，那 $c$ 就是 $5$。
这别看是个特殊三角形（两边之和等于第三边，构成的是退化的三角形？不对，是两边之和大于第三边，这里是 $5+5=10$，两边之和等于第三边，这是三点共线的情况？不对，$a+b=c$ 的话，角 $C$ 是 $180$ 度，$cos 180 = -1$。
什么的，我刚刚的例子算过来 $c=5$，那 $a+b=10$，确实 $c=a+b$，说明两点和第三点共线。但题目一般指非共线，那试试 $a=3, b=4, C=45$ 度。 $cos 45$ 是 $frac{sqrt{2}}{2}$。$c^2 = 9 + 16 - 2 times 3 times 4 times frac{sqrt{2}}{2} = 25 - 12sqrt{2}$。$sqrt{2}$ 约等于 $1.414$，$12 times 1.414$ 约等于 $16.968$。$25 - 16.968$ 约等于 $8.032$。
那 $c$ 就是 $sqrt{8.032}$ 约等于 $2.83$。 目前不管你是如何算的，结局都得是这个数值。
这就证明白，给定两边的长度和夹角，第三条边长度是确定的，并且知足那个余弦公式。
这个公式就像是一个“导航仪”，只要你输入前两个参数，它就能告诉你距离。 你看，这就是数学的抽象之美，把具体的图形关系，压缩成了一段代数表达式。它不依赖图形画的准不准，也不依赖角度测得准不准，只要这三个数字存有，关系就在那里。 有时候我认定这个公式别看好办，但背起来挺费劲，出于中间那个 $-2ab cos C$ 项，大量人第一反应就是想自然地记成加号要么别的啥。要记住的是，夹角的余弦值要是是正的，比如锐角，那这一项就是负数，两边加起来变小；要是是钝角，余弦是负的，那减一个负数，实际上就等于加一个正数，两边加起来变大。
这就像两个人握手，要是夹角是锐角，他们握的力度（余弦值）是正的；要是夹角是钝角，手肘弯得了得，握起来感觉阻力（余弦值）是负的，但在公式里变成了助力。 再想想实际应用，比如造桥要么设计桥梁结构，工程师们时常用这个。
比如要造一个跨度挺大的拱桥，拱圈的弧度变化挺大，中间的拱高不一样。工程师们会算出拱顶下方两点间的水平距离（对应公式里的 $a$ 和 $b$），还有这个位置拱顶的半角（对应 $C$），然后直接套用这个公式算出下面那段拱肋的长度 $c$。 有时候数据会有误差，测量时略微偏了一点点，算出来的 $c$ 也就有一点点偏差。但数学告诉我们，只要 $a, b, C$ 准，$c$ 的准值就是必然的。误差只能放在最终，通过减小测量误差来提升精度，而不是反过来。 还有啊，这个公式在物理碰撞里也有用。
比如两个弹珠相碰，质量 $m_1$ 和 $m_2$ 相等，夹角 $C$ 是 $90$ 度（彻底弹性碰撞），那后面的弹性小球速度 $v_3$ 能算出来，实际上也是利用类似的矢量分解，最终归结到了余弦定理的形式。
这说明千百年前古希腊人就发现了这个关系，后来才被我们揭示出来，说明这个规律是不分时空的，是宇宙底层的一码子规律。 哪怕你在推导的时候卡壳了，多摆几笔，把 $c$ 移到一边，把常数项移那会儿，凑出 $2c^2$ 后再减去 $c^2$，你就能顺理成章地搞定证明。
这个过程别看繁琐，但只要逻辑链条不乱，最终那个 $0$ 就一定会出现。 故此说，余弦定理不是死记硬背，它是连接几何直观和代数计算的桥梁。它让我们看到，甭管三角形多么扭曲，甭管角度如何变化，那个 $a^2 + b^2 - 2ab cos C = c^2$ 的平衡一直存有。
这就是数学的力量，简洁，有力，又无处不在。