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

余弦定理：如何算出来的 把三个角对边的长度塞进一个公式里，看看它能算出啥来。大量人当作这玩意儿直接就能套上去，实际上没那么好办。
这玩意儿叫余弦定理，讲的就是三角形边长和角度之间那个没啥关系的三角函数。 也就说，你手里有三条边，要么三条边和三个角，想求个第四边要么第八角，这公式就是摆在地上的。但这公式长得有点怪，跟正弦定理不一样，正弦定理是 $frac{sin A}{a} = frac{sin B}{b}$ 这种比例关系，余弦定理则是 $a^2 + b^2 - 2ab cos C = c^2$ 这种直接涉及 $cos$ 的变形。
看起来就像是在比较两个量的差距，实际上是在算一个“差值”的平方。 先说说背景。三角形最大能分多少种？
要么直角三角形，斜边最长，直角边平方加起来等于斜边平方；要么锐角三角形，三边长度差不多，没啥哪位比哪位大的；要么钝角三角形，最长边旁边那个角要是小于九十度，那就是锐角；要是大于九十度，那就是钝角。
这分类挺有意思，但公式不管它，都是一刀切的。 最基础的例子就是直角三角形。
这时候最费事的余弦值就是 0 了。
比如一个三角形，一条边是 3，另一条是 4，斜边是 5。我们想求夹在 3 和 4 之间的那个角。用正弦定理仿佛能行，但公式里直接是余弦。
这时候余弦就是 $cos 90^circ = 0$。代入公式 $3^2 + 4^2 - 2 times 3 times 4 times 0 = 25$，正好等于斜边的平方。
看来这个公式里那个 $cos C$ 项，实际上就是个占位符，直到我们算出角度，它才会变成具体的数值。
这时候它就是个纯粹的数学构造，用来把边和角“锁”在一起。 再想想等腰直角三角形。假设两条直角边都是 1，斜边就是 $sqrt{2}$。算一个锐角，比如那个对着直角边的角。用余弦定理算这个角，公式里的边长都是 1，夹角是 $alpha$。公式变成 $1^2 + (sqrt{2})^2 - 2 times 1 times sqrt{2} times cos alpha = 1$。化简一下，左边变成 $3 - 2sqrt{2}cos alpha$。右边是 1，移项后 $2sqrt{2}cos alpha = 2$，算出 $cos alpha = frac{1}{sqrt{2}}$。
这时候才发现，$frac{1}{sqrt{2}}$ 就是特殊角 $45^circ$ 的余弦值。
这说明公式不仅能算一般/平平角，还能把你从“不知道角是多少”直接推到“角是特殊角”的结论上。 有时候大家会认定余弦定理和平方和公式有点像，但实际上有讲究。勾股定理是 $a^2 + b^2 = c^2$，这是直角三角形的特例。余弦定理把一般三角形 $a^2 + b^2 - 2ab cos C = c^2$ 拿出来，通过移项，把 $c^2$ 孤立出来，就是为了求角。
这就像勾股定理里把直角孤立出来定义“直角三角形”一样。你换个角度，想求角 $C$，而不是直角，那余弦定理就是终极武器。 举个具体算例吧。假设有一条边长 5，另一条边长 6，夹角是 $30^circ$。求第三条边 $x$。 公式直接套：$x^2 = 5^2 + 6^2 - 2 times 5 times 6 times cos 30^circ$。 先算平方：$25 + 36 = 61$。 再算乘积：$2 times 5 times 6 = 60$。 $cos 30^circ$ 是 $frac{sqrt{3}}{2}$，那 $60 times frac{sqrt{3}}{2} = 30sqrt{3}$。 故此 $x^2 = 61 - 30sqrt{3}$。 出于 $sqrt{3}$ 大约是 1.732，$30sqrt{3}$ 是 $51.96$。 $x^2 approx 61 - 51.96 = 9.04$。 那么 $x = sqrt{9.04} approx 3.00$。 你看，算出来第三条边确实不到 4。
要是不用余弦定理，光靠直觉要么近似值，可能挺好办算错，要么算成 3，误差也挺大。余弦定理就是那个最准的尺子，直接把角度偏差转化成了边长的平方差。 还有时候，我们不用算边长，直接求角。
比如已知三边 7, 8, 9，求夹角。公式里 $cos C = frac{7^2 + 8^2 - 9^2}{2 times 7 times 8}$。 分子：$49 + 64 - 81 = 32$。 分母：$2 times 56 = 112$。 $cos C = frac{32}{112} = frac{4}{14} = frac{2}{7}$。 $frac{2}{7}$ 大约等于 0.2857。 反查余弦表，角度就在 $73^circ$ 左右。 要是不懂余弦值如何查表，要么没记熟特殊角，这玩意儿就真费事。
这时候要么用计算器，要么自己推导一遍。推导一遍实际上就是不断试根号，直到那个数值稳定下来。 实际上公式的本质就是向量点积的几何意义。你随意拿两个向量，点积 $vec{a} cdot vec{b} = |vec{a}| |vec{b}| cos theta$。在三角形里，边长就是向量的模，夹角就是 $theta$。而第三条边的平方，正好等于这两个向量的差向量要么和向量的模。$vec{c} = vec{a} - vec{b}$，那 $|vec{c}|^2 = (vec{a} - vec{b})^2 = a^2 + b^2 - 2vec{a} cdot vec{b}$。 展开里后 $-2vec{a} cdot vec{b}$ 就对应了 $-2ab cos C$ 这坨东西。
故此余弦定理不是凭空形成的，它是向量减法在几何上的投影。 有时候我们会认定推导忒复杂。
实际上没必要。你只需求知道平面向量的减法如何展开就行。
这就好比你在做代数题，展开 $(x+y)^2$，它就变成 $x^2 + y^2 + 2xy$。
这里 $2xy$ 就是那个 $2ab cos C$ 的来源。
只要把几何里的“夹角余弦”翻译进代数里的“乘积项”里，难题就迎刃而解了。 那有没有反例呢？比如钝角三角形。刚刚咱们算的 $7, 8, 9$ 是锐角三角形。
要是边长是 5, 5, 10？不对，两边之和务必大于第三边。
要是 1, 1, 2，那就是退化三角形了，面积变成 0，角度变成 180 度。
这时候 $cos 180^circ = -1$。 公式变成 $1^2 + 1^2 - 2 times 1 times 1 times (-1) = 2 + 2 = 4$。而 $2^2 = 4$。等式成立。 看来不管角是锐角、直角还是钝角，反正都是成立的。出于 $cos$ 函数在 $180$ 到 $360$ 度之间也是单调递减的，只要角度够大，余弦值就变成负数了，边长的平方差就能正好补回来。 再说说应用场景。除了求角和边，这玩意儿在物理里的碰撞难题、力学里的受力分析里也能直接用。
比如两辆火车头对撞，已知长度和碰撞时夹角，直接算新形成的推力方向。
这时候不用纠结角度分类，直接套公式就行。 最终总结一下。余弦定理就是把边和角强行绑定的一个神器。它不像正弦定理那样有那么多对应的特殊角（sin 60 和 sin 30 对应同一个值），余弦定理里 $1, cos 60, sqrt{2}$ 对应的角都各不相同，没有重复。
这意味着公式的通用性和独特性并存。它既是通用的，又出于涉及 $cos$ 这个函数，拥有了处理任意角度上限的特性。 故此别看它推导过程长，逻辑上实际上是环环相扣的。从向量的几何意义出发，到代数展开，再到三角形内角和的约束，每一步都紧挨着。
你看到的那个公式，不过是几何直觉和代数计算的一次完美融合。