三角形的余弦定理-三角形余弦定理

画板前，老张先把那把卷尺甩了一下，嘴角刚要上扬，结局笔尖就在赤道和中纬度之间一顿。
这哪是算式，分明是跟天体物理系在谈心。你说三角形是不是一辈子长？老张撇嘴道：“可不是嘛，再大的风筝飞不远。”他随手在纸上画了个简陋的等边三角形，三条边都是 6 米，角都是 60 度。
这时候他才明白，教科书里的余弦定理不是魔法，是古人为了对付那些脑子转不动的三角形，硬熬出来的生存指南。 先把这个定理当成一个“大约”去用，总比彻底被它触动好。想象你在船上看岸边的树，船在动，树在动，这棵树的影子也跟着晃。你随意量一下，树干宽 40 公分，树跟船之间距离 120 米。
这时候你脑子里想的那个角度，可能比刚刚那个 40 公分的宽度还要大。
这时候你就得赶紧去查公式，要么干脆把船划那会儿，让船运到岸边再量一次，最终再回来算。余弦定理就是这个办法，它告诉你，不管图形如何翻个身、如何拉个腰，只要那两条边相交的地方角度定死了，第三条边就算定死。 老张拿起了那个计算器，手指头点着按键。输入 40 的平方，再乘以 $sin^2(60^circ)$，嗯，没错。输入 120 的平方，乘以 $sin^2(60^circ)$，嗯，代码写得通顺。最终把两个数加起来，开根号，拿到 128.6。老张眯着眼看了看，心里嘀咕：“天呐，这跟直觉里的 120 有个头大个的差距。船大约得往西转个身，要么把帆收一收。”他这才发现，大量时候公式算出来的结局，跟那个看起来最顺眼、最好办的几何直觉是差的挺远。
这种时候，别被那些漂亮的公式骗了，得先让人家把那个三角形画清楚，别让它变形。 再看那个平方的地方。
有人说系数是 1，有人说带个负号，有人说还要乘个 $frac{1}{2}$。老张一边敲键盘一边摇头，认定这简直比那本刚传出来的《画法几何》还要玄乎。书上的定义是 $c^2 = a^2 + b^2 - 2ab cos C$，这公式看着像个哑谜。老张反复琢磨，那个 2 到底是个系数，还是个乘数？要是是乘数，那 $cos C$ 得乘以 2？查字典，查完了。
看来只有两种可能：要么那个 2 是系数，要么 $cos C$ 本身就是个带 $frac{1}{2}$ 的东西。到底是哪个？老张翻出那本早就攒了半个月的《画法几何》，翻开第 23 页。 “好哒，终于找到答案了。”老张自言自语，手里的笔都不一样了。
那个 2 是个系数，把公式简化成了 $c^2 = a^2 + b^2 - 2ab cos C$。
这时候他心里就启动盘算，要是角度是 120 度，$cos 120$ 是负数，那减个负数等于加个正数，这就成了等腰三角形，两边相等。
要是 60 度，那是 $frac{1}{2}$，那两边就不等。
这逻辑通顺得让人发慌。老张认定，这公式实际上是个庞大的过滤器，它能帮你把一堆乱七八糟的三角形，一分为二，一半算等腰，一半算不等腰。 他顿了顿，把笔往桌上一扔，凑近了一棵刚长出来的小树苗。
这棵树是个等边三角形，三边 4 米。你要算它的高，直接量就行，要么用 $4 times sin 60$ 算出斜边再乘 $frac{1}{2}$。老张突然认定，整个几何世界不就如此点样吗？无非就是边和角的关系，各种各样，最终拼凑成几个三角形，用余弦定理把它们切开。 老张又想起昨天在海边玩耍，捡了一个歪歪扭扭的三角形风筝。
那风筝的三条边，左边是 50 厘米，右边是 70 厘米，张角是 45 度。老张估摸着，这个风筝大约得斜着飞几百米才能飞起来，并且得往东飞。他一边操作风筝线一边心里算：“要是风筝飞到了正东边，那高度就低了；要是飞到了正北边，那高度就高了。
反正是用余弦定理算出来的那个‘高度差’来调整帆的角度。”他看着那根线头，忍不住笑出声来。
这哪是数学课，这分明是跟一只风筝在对话。 老张把公式再写一遍，这次写得格外郑重。$c^2 = a^2 + b^2 - 2ab cos C$。
那个 2 和那个 $cos C$ 的位置，他看得清清楚楚。他突然意识到，这公式不是冷冰冰的代数符号，它是古人看着无数个翻过来的三角形，为了不让孩子们再画错，硬生生编出来的逻辑。它不是用来炫耀的，是用来解决难题的。 最终，老张把那个风筝收起来，放回篮子里。天空蓝得刺眼，风正好。他拿起那本早该扔了的《画法几何》，翻到了另一页。书里写着一句话：“几何不是死的，是活的，是活的几何。”老张盯着那行字，心里满是踏实。
看来，赶明儿他不管是在画图，还是在算三角函数，都得把这公式当个老哥们儿请进去，多聊聊天，多胡扯。
毕竟，能让人笑着算出 128.6 米高度的那个公式，大约才是几何里最正经的“干货”。