余弦定理的证明初中-初中余弦定理证明

余弦定理这事儿，说白了就是讲一个等腰三角形里，两边夹个角，算出对边长度的关系。
要是把三角形架在桌子上，想象一下，你手里拿着两个木棍（代表两边），它们之间的夹角是固定的，这时候第三根木棍（代表第三边）的长度到底由啥拍板？是越长越短，还是越长越长？这得靠公式来告诉你是如何变的路数。 咱们不拿那套教科书里那种“设 a、b、c 为任意三角形三边，建立方程组……"这种假大空的话头，咱就顺着直觉和逻辑一步步来。先看看正三角形，三条边都一样长，那自然，三边夹的角也得一样大，这是规则里的规矩，不用搞啥初等数学的极限定义，直接看图形最准。 试着换个角度，固定一个角，比如我们选定那个角为 $120$ 度。
这时候，要是你把两边都拉长一倍，那夹着的对角也就跟着拉长一倍，整个三角形的形状和大小都变了，但那个 $120$ 度的角还在原地不动，对吧？这时候要是用勾股定理算一下，$3^2 + 3^2 = 18$，开根号大约是 $4.24$，可直观上看，这个角要是是 $120$ 度，对边得比高还长，肯定超过 $4.24$。
这说明啥？说明单纯靠勾股定理，它描述不了这种“大于直角”的角度关系。 这就引出了我们找到的这个定理：余弦定理，$c^2 = a^2 + b^2 - 2ab cos C$。
你看，这一坨公式，实际上是勾股定理做了个手脚的变体。勾股定理是 $c^2 = a^2 + b^2$，这是直角三角形的结论；余弦定理多出来的局部 $-2ab cos C$，这个负号挺有意思，它意味着当角 $C$ 是锐角时，我们要从勾股定理的结局里“减去”一局部，来凑成最短的那条边；要是角 $C$ 是钝角，那个 $cos C$ 是负数，减负数就等于加数，这时候勾股定理的结局反而比实际边长还短，需求补上一笔。 这就好比你在拉一根缆绳，两端固定，中间有个滑轮。你拉得越用力（边长越长），中间那个点的位移（对边长度）就不是好办的线性增添，而是有个冲动的过程。正三角形里，三边相等，自然对角也相等，这是最根本的对称美。
要是换一个非等腰的三角形呢？比如那个著名的 $3-4-5$ 直角三角形，这里直角是 $90$ 度，那 $3$ 边和 $4$ 边如何和 $5$ 边扯上关系？不用绕弯子，直接套用公式：$5^2 = 3^2 + 4^2 - 2 times 3 times 4 times cos 90$。出于 $cos 90$ 是 $0$，故此公式变成 $25 = 9 + 16$，这就重新验证了勾股定理，顺便展示了公式的普适性。 再来看一个有点“刁钻”的例子。假设你有一根 $10$ 米长的树干，被截成了两段，一段 $7$ 米，一段 $3$ 米，这两段的夹角是 $150$ 度。
这时候第三段树干（也就是两截树干底端连起来的那段）有多长？按照直觉，夹角越大，两边拉开得越远，故此可能会比直接拉直（$8$ 米）还要长。咱们算算：$x^2 = 7^2 + 3^2 - 2 times 7 times 3 times cos 150$。
这里有个小陷阱，$cos 150$ 实际上是个负数，相当于我们在做加法时多加了一笔。算出来结局是 $sqrt{49 + 9 - 42 times (-frac{sqrt{3}}{2})}$，这玩意儿绝对比 $8$ 大。
这说明我们的直觉别看快，但数学上的 $150$ 度确实是个挺“钝”的角，害得两边“背道而驰”地张开，对边自然就变长了。 高中生要么大学生的时候可能会认定这公式像个黑盒子，得把 $120$ 度、$90$ 度这些特殊值一个个代入看看能不能发现规律。
实际上不然，余弦定理在推广到任意三角形之前，本质上就是把平面几何里的两点距离公式给推导出来的。在坐标系里，两点距离本身就是 $sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}$，这跟直角三角形彻底一样。但一旦你处理的是任意角度，坐标法的费事就来了，这时候就需求利用向量要么分解斜率的方式来“翻译”成这个包含 $cos$ 函数的形式。 还有一点值得注意，就是这个公式对顶点的归属。
有时候你会记成 $a^2 = b^2 + c^2 - 2bc cos A$，有时候又记反了。
实际上核心在于，你选哪两边，就选哪角。
要是你拿的是 $a$ 和 $b$ 这两条边，它们夹着的角就是 $C$，那么 $C$ 的对边就是 $c$。
要是记反了，比如把 $C$ 记成了 $A$，那就是说这个角的两边实际上是 $a$ 和 $b$，那它的对边就变成 $A$ 了，这时候公式就得换成 $A^2 = B^2 + C^2 - 2BC cos A$。
实际上大家心里都清楚，只要你把顶点标记统一，公式就一辈子是对的。 最终总结一下，余弦定理不是啥高深的玄学，它就是一条经过无数次几何实验和代数推导后总结出来的“经验公式”。它告诉我们要特别关切角度的大小，出于角度变了，邻边的平方和与对边的平方就不成正比了。它是连接边角关系的桥梁，让我们能够在不使用勾股定理的情况下，解决那些直角三角形搞不定、就连彻底没有直角边的不规则三角形难题。下次看到斜着放的三角形，不用急着去画图配圆，直接套这个公式就能算出未知边长了。
这大约就是数学最迷人的地方吧，把复杂的形状化简成最简洁的代数关系。