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

大家好，今天咱们不啃那本印得厚厚的公式书，别整那些“起初、其次、最终”，也别动不动就“总而言之”。咱们直接上手，把余弦定理这东西掰开揉碎了，看看它到底是个啥，如何来的，大约就是那么好办。 想象一下，你手里有三把剑，剑尖都指着一个孤立的顶点，分别是 A、B、C。
这三把剑的长度分别是边长 a、b、c。目前你要问，这把长 a 的剑，它夹着的两个角，一个是跟长 b 的剑夹角，另一个跟长 c 的剑夹角，那它到底藏着多长的长度呢？别急，别算那些繁琐的向量叉积，咱们用更直观的几何图景。 先把这三个点 A、B、C 画在纸上，连成三角形。假设你在顶点 A 处，画两条射线，一条指向 B，一条指向 C。
这时候，B 到 C 的那条边，就是代表长度为 c 的边。目前咱们要把这条边“切开”看看。从点 B 出发画一条线平行于 AC，再从点 C 画一条线平行于 AB，这两条线会交于一点 D。
这时候，ABCD 这就变成了一个标准的矩形，而三角形 ABC 就是夹在 AB 和 AC 之间的一个直角梯形的一局部，要么说，是矩形切掉一个小角剩下的那个小三角形 ABC。 这时候，你能够把边 AB 分成两段。一段是 AD，一段是 DB。根据平行四边形的性质，AD 的长度实际上就等于 AC，也就是边 b。DB 的长度就等于 AB，也就是边 c。 目前，我们在点 D 处，画一条线垂直于 DB，这条线自然也就垂直于 AB（出于 DB 平行于 AC，垂直于 DB 的线也就垂直于 AB）。点 D 到 C 的距离是 b，点 D 到 B 的距离是 c。 咱们想求的，就是点 B 到点 C 的距离，也就是边 a。 这就好比你站在 D 点，面向 B 点，你的右手边是长度为 c 的线 DB，左手边是长度为 b 的线 DC。你目前想知道你左右手连线 BC 的长度。 这时候，咱们在直角三角形 BDC 里，BC 就是斜边。根据勾股定理，BC 的平方等于 BD 的平方加上 DC 的平方。 BD 就是 c，DC 就是 b。
故此，a 的平方就等于 b 的平方加上 c 的平方。 哎，什么的，这个仿佛有点不对劲，没记住图形关系吧？ 咱们换一种画法，不画矩形，直接画一个三角形，顶点是 B，底边是 AC。BC 的长度是 a，AB 的长度是 b，AC 的长度是 c。我们在底边 AC 上取一个点 D，使得 AD 的长度等于 b。
既然 AD 等于 b，而 AB 也是 b，那么三角形 ABD 就是一个等腰三角形。 目前，咱们求 BC 的长度。 在三角形 BDC 里，我们能够把 BC 看作斜边吗？不彻底是。 让我们重新梳理一下。以 B 为顶点的三角形，边长为 a, b, c。 在三角形 ABC 内部，作一个角平分线？不对。 最经典的方式，还是那个矩形法，可是角度搞反了。 好，咱们换个思路。 设三角形 ABC，角 A 是我们要算的余弦值对应的角吗？不，余弦定理是求第三边的平方。 设三角形为 ABC，边长为 BC=a, AC=b, AB=c。我们要算的是 a²。 过点 A 作 BC 的垂线，垂足为 H。 在直角三角形 AHC 中，a² = AH² + HC²。 在直角三角形 AHB 中，c² = AH² + HB²。 出于 HC + HB = BC = a，故此 HC = a - HB。 代入第一个式子：a² = AH² + (a - HB)²。 展开：a² = AH² + a² - 2a·HB + HB²。 两边消去 a²：0 = AH² - 2a·HB + HB²。 移项：2a·HB = AH² + HB² = c²。 故此，a·HB = c² / 2。即 HB = c² / 2a。 那么 HC = a - c² / 2a = (2a² - c²) / 2a。 目前回到 a² = AH² + HC²。 a² = AH² + [(2a² - c²) / 2a]²。 这就有点复杂了。 咱们还是用最稳妥的代数推导吧。 在三角形 ABC 中，设角 B 为 θ。 根据余弦定理的定义，cosθ = (AB² + BC² - AC²) / (2·AB·BC)。 代入变量，就是 cosθ = (c² + a² - b²) / (2ac)。 目前，我们把这个公式变形，求出 a² 的式子。 两边同乘 2ac：2ac·cosθ = c² + a² - b²。 移项求 a²：a² = 2ac·cosθ - c² + b²。 这就有点绕。 让我们回到最初的代数证明，这是最清楚的。 设三角形 ABC，三边长分别为 a, b, c，夹角为 A。我们要证 a² = b² + c² - 2bc·cosA。 不对，我们的目标是求第三边的平方。 设三角形 ABC，角 A 是已知，夹角两边为 b, c，第三边为 a。 在三角形 ABC 中，作高线。 设角 B 为 θ，角 C 为 φ。 根据正弦定理，b/sinB = c/sinC = a/sinA。 在三角形 ABC 中，a·cosB = b·cosC。 故此 b = a·cosB / cosC。 代入余弦定理公式：a² = b² + c² - 2bc·cosA。 b² + c² - 2·(a·cosB/cosC)·cosA。 这忒复杂了。 咱们直接写代数变形过程。 已知：c² + a² - b² = 2ac·cosA。 我们要证明：a² = b² + c² - 2bc·cosA。 两边与此同时加上 2bc·cosA： a² + 2bc·cosA = b² + c²。 移项得：a² = b² + c² - 2bc·cosA。 这就证明白。 但如何从已知条件拿到那个方程呢？ 那就是三角形的余弦定义。 在任意三角形 ABC 中，角 A 的余弦值等于该三角形三边的关系：cosA = (b² + c² - a²) / (2bc)。 把这个式子变形： 1 = (b² + c² - a²) / (2bc) 2bc = b² + c² - a² a² = b² + c² - 2bc。 这就仿佛是在玩代数游戏，把等式一搬倒过来，就不攻自破了。 故此，余弦定理的推导过程实际上就是一场关于代数变形的“魔术”。 要是我们不知道几何意义，纯代数地看，这就是一个恒等变换。 (a² + 2bc·cosA) = (b² + c²) a² = b² + c² - 2bc·cosA。 这看起来忒好办了，是不是？但要注意，这个公式里的角 A，务必是指 b 和 c 夹角的那个角。 要是题目给的是另一个角，比如角 B，那就要换边换角。 假设题目问的是角 B 的余弦，两边是 a 和 c，第三边是 b。 那就是 cosB = (a² + c² - b²) / (2ac)。 移项：b² = a² + c² - 2ac·cosB。 把 ac 换成 bc 里的关系？ 这就费事了。 咱们换个角度。 设三角形 ABC，边长为 a, b, c。 作高线 CD 到底边 a。 在直角三角形 CDB 中，c² = CD² + BD²。 在直角三角形 CDA 中，b² = CD² + AD²。 故此 b² - c² = AD² - BD²。 出于 AD + BD = a，故此 BD = a - AD。 b² - c² = AD² - (a - AD)²。 展开右边：b² - c² = AD² - (a² - 2a·AD + AD²) = 2a·AD - a²。 故此 2a·AD = b² + c² + a²。 AD = (a² + b² + c²) / 2a。 这是角 B 的余弦公式（在直角三角形 CDB 中，cosB = BD/c = (a - AD)/c）。 cosB = (a - (a² + b² + c²)/(2a)) / c = ((2a² - a² - b² - c²)/(2a)) / c = (a² - b² - c²) / (2ac)。 这就得出了 cosB 的公式。 同理，要是我们求角 B 的余弦（两边 a, c），则公式为 cosB = (a² + c² - b²) / (2ac)。 证明过程彻底一样，只是分子里的加减号换了。 故此，余弦定理的本质，就是基于勾股定理的代数扩展。它告诉我们，在一个三角形中，三条边的关系不只是是勾股定理那样勾股数，还要寻思角度带来的权重。 角度越小，那条边越长；角度越大，那条边越短。 比如，固定两边，夹角越大，第三边就越长。 要是夹角是 90 度，那就是勾股定理，平方和。 要是夹角是 0 度，那两边重合，第三边就是两边相加。 要是夹角是 180 度，两边伸直成一直线，第三边就是两边之差。 你看，这就是余弦定理的魅力。它把二维平面上的直角三角形关系，推广到了任意角度。 在实际应用中，它特别有用。
比如淘金者撒网，要么考古学家打桩，要么测地师测距离。 比方说，小明在地图上看自己的家和自己学校，学校在 (10, 0)，家在哪？ 要么，在物理中，力的合成。两个力 F1 和 F2，夹角 θ，求合力 F。 F² = F1² + F2² + 2F1F2·cosθ。 这里 cosθ 就是三角形余弦定理的体现。 要是夹角 θ 是 120 度，cos120 = -0.5。 那么 F² = F1² + F2² - F1F2。 这就意味着两个力的合力大小，比两个分力大小的平方和还要小。 这在工程力学里是个挺关键的结论。 要是两个力互相垂直，cos90 = 0，那就是平方和。 要是两个力方向反之，cos180 = -1，那就是平方差。 这就是余弦定理的世界观。它把角度这个“软参数”，硬生生地变成了边长平方之间的“硬约束”。 咱们不背公式了，咱们就记住这个逻辑： 三角形三边关系，就是“两边平方和，调整一个角，再做一次平方”。 去掉角，就是勾股定理。 加上角，就是余弦定理。 这就是数学的浪漫。 不用那些套话，不用那些“”，就这些，就这些。 这就够了。 希望这个推导过程让你认定，原来公式是这样的，而不是那样。 数学有时候就是这样，它不管你如何绕，最终都指向同一个真理。 这就是余弦定理。