余弦定理推导公式-余弦定理推导公式

在初中数学阶段，我们学过勾股定理，直角三角形的三边关系颇为特殊，斜边最长，勾、股、弦各不相干。到了高中，我们要把目光投向一般三角形，也就是任意三角形，这时候勾股定理就显得有点“水土不服”了，出于直角特例被排除了，还需求一个普适的公式来描述三边间的数量关系。
这个公式，就是余弦定理。表面上看它和勾股定理一样，都是边长对边长，但实际上它引入了一个角度参数，把直角三角形中“直角”这一特殊条件给解构了，变成了对任意角度的度量。 回想海伦公式，那是基于半周长计算的面积公式，费事程度就像翻过几道山一样。而余弦定理，直接把三边关系拉到了三角函数的领域。当我们在直角三角形里看余弦定义时，邻边除以斜边自然就是 $cos(alpha)$。余弦定理就是把 $cos(alpha)$ 这个系数，强行塞进了一般三角形里。想象一下，要是三角形退化成一个线段，两边之和等于第三边，要么说两边之差等于第三边，那这时候哪个角算是存有的呢？这就是余弦定理诞生的土壤，它填补了从“直角”到“任意角”之间的逻辑空白。 在证明过程中，最让人头疼的实际上是那个 $cos^2(alpha) + cos^2(beta) - 2cos(alpha)cos(beta)cos(gamma)$ 这一堆东西，听起来像个随机函数的台词。
你想想，要是 $alpha$ 和 $beta$ 都是直角，$gamma$ 也是直角，这个式子岂不是变成了 $1+1-2times1times1=0$？
什么的，这如何算面积？算了，别管这个了，反正最终算出来的确实是面积，但这中间的过程忒绕了，就像在迷宫里转圈圈，你认定你仿佛走进了死胡同，实际上你只是绕过了一个死胡同。 为了把这个公式给“活”过来，咱们得找个具体的例子来演示它的威力。假设我们有一个等腰三角形，底边长是 4，腰长是 5。
这在几何上实际上是个直角三角形才对吧？不对，什么的，要是是等腰直角，底边如何会是 4 而腰是 5？那是勾股定理的功劳。目前我们要构造一个非直角的三角形。设 $a=5, b=5, c=6$。
这时候我们有两个边是 5，一个边是 6，看起来像是个等腰三角形。我们要算顶角的余弦值。 根据余弦定理 $cos(alpha) = frac{b^2 + c^2 - a^2}{2bc}$。代入数据，$b$ 和 $c$ 都是 6 吗？不对，我要记清楚字母对应关系。设 $a, b, c$ 对应角 $A, B, C$。
要是 $b$ 和 $c$ 是腰，长度都是 6，那底边 $a$ 就算出来是 6？不可能，三角形两边之和大于第三边，$6+6>6$ 成立，但要是是等腰三角形，腰长 6，底边 $a$ 是 6，那它就不是等腰了，是等边三角形啊。 好，换个思路。设 $a=6, b=5, c=5$。
这是等腰三角形，顶角对应的边是 6。我们要算顶角的余弦值。公式里，$b$ 和 $c$ 是腰，长度是 5。
故此 $cos(alpha) = frac{5^2 + 5^2 - 6^2}{2 times 5 times 5}$。计算一下，分子是 $25 + 25 - 36 = 14$。分母是 $50$。
故此 $cos(alpha) = frac{14}{50} = 0.28$。
这意味着顶角大约是 $73.74$ 度。
这时候要是强行把它看作直角三角形，看看 $cos(alpha)$ 是不是 $frac{4}{5}$ 呢？显然不是。
故此这个三角形绝对不是直角三角形，那勾股定理 $3^2+4^2=5^2$ 在这里彻底失效了。 后来瓦里农（Pierre Wantzel）发现，对于任意三角形，$a^2 = b^2 + c^2 - 2bccos(alpha)$ 这个公式一辈子是成立的。
当时他就嘲笑说：“这简直是把数学祖宗们的谜题给解开了，把勾股定理的直角条件给拆散了一片。”这句话听起来有点讽刺，但事实确实如此。
那会儿我们只敢在直角里用勾股定理，目前只要把角度 $90$ 度这个条件放宽，这个公式就能覆盖所有情况。
要是 $alpha$ 是 $90$ 度，那 $cos(alpha)=0$，公式左边就是 $a^2$，右边就是 $b^2+c^2$，完美吻合。
要是 $alpha$ 是锐角，$cos(alpha)$ 是个正数，右边变小，$a^2$ 也变小，符合直觉；要是是钝角，$cos(alpha)$ 是负数，右边变大，$a^2$ 变大，也符合直觉。 再举个略微复杂点的例子。假设三边长度分别是 3, 4, 5。
这是经典的直角三角形。
那顶角（对应边 4）的余弦值应当是 $3/5=0.6$。
要是顶角是钝角，比如顶角变成 $120$ 度，那么根据余弦定理，对边应当是多少呢？$cos(120)=-0.5$。代入公式，$a^2 = 4^2 + 5^2 - 2times4times5times(-0.5) = 16 + 25 + 20 = 61$。$sqrt{61}$ 约等于 7.81。
这就挺有意思了，边长变了，角度也变了，通过转变角度我们能够计算出新的边长。
这就好比在画立体图形时，我们只能画在平面上，但余弦定理告诉我们，只要知道两个面的夹角，两个面的面积和投影关系就能算出来。 实际上余弦定理的推导过程中，核心就是把向量点乘那个东西给硬套进去。向量 $vec{b}$ 和 $vec{c}$ 的夹角是 $alpha$，它们的点乘就是 $b times c times cos(alpha)$。而在向量里，两个向量的夹角实际上能够看作它们之间那个锐角或钝角的方向。
要是两个向量彻底反之，夹角是 $180$ 度，点乘就是负数，这正是我们之前看到的钝角情况。
要是夹角是 $90$ 度，点乘就是 0，这就是直角的情况。
故此，余弦定理本质上就是向量恒等式在一般/平平平面几何中的具体表现形式。它告诉我们，两个向量的模长平方差，等于它们模长乘积乘以它们夹角的余弦值。 在这个过程中，我们也把“推导公式”这个说法给解构了。
实际上并没有一个标准步骤叫“推导公式”，更多是一种逻辑的重组。
比方说，从向量角度切入，直接写出 $vec{b} cdot vec{c} = |vec{b}||vec{c}|cos(alpha)$，然后两边平方，利用点积的性质展开，再结合向量模长的定义 $|vec{b}|^2 = vec{b} cdot vec{b}$，就能自然拿到 $|vec{b} - vec{c}|^2 = |vec{b}|^2 + |vec{c}|^2 - 2vec{b} cdot vec{c}$，也就是 $a^2 = b^2 + c^2 - 2bccos(alpha)$。
这一段推导看起来逻辑严密，但要是你把向量当成刚体，那实际上是在用刚性运动来解释几何关系。
实际上大量时候，直接代入数值计算就能解决实际难题，不需求非得搞懂背后的每一个推导步骤。 在解题的实际操作中，我们往往只需求记住这个公式的结构：两边平方和，减去两倍底乘以底两边夹角的余弦。
要是你记得这个结构，后面做那些复杂的几何题，比如求两条折线构成的最短路径，要么求两个三角形边长关系，那就多此一举了。余弦定理就像是一把万能钥匙，它把平面几何里的“边长”和“角度”这两个概念串了起来，让你能够在它们之间自由切换。 看来啊，数学往往就是这样，有时候我们认定的“推导”实际上是一种强迫症式的凑数，有时候又认定那是无数人智慧结晶的升华。余弦定理就是这样，一个好办到极致的公式，却承载了从直角到任意角的所有可能。它没有像勾股定理那样严格限制在直角三角形里，反而打破了那种固有认知的框框。
故此，不要为了推导一个公式而纠结步骤，只要你能灵活运用它，把它当作一种工具，你就已经掌握了它的全体精髓。