MathLabs
定理已证明

余弦定理

命题陈述

在三边长为 aa、bb、cc 且长为 cc 的边所对内角为 γ\gamma 的任意三角形中,都有 c2=a2+b2−2abcos⁡γc^2 = a^2 + b^2 - 2ab\cos\gamma。

为什么成立?

余弦定理就是带有修正项 −2abcos⁡γ-2ab\cos\gamma 的勾股定理,用来刻画角 γ\gamma 偏离直角的程度。当 γ=90∘\gamma = 90^\circ 时,cos⁡γ=0\cos\gamma = 0,公式退化为 c2=a2+b2c^2 = a^2 + b^2;把 γ\gamma 张开成钝角会使 cos⁡γ<0\cos\gamma < 0,从而 c2c^2 大于 a2+b2a^2 + b^2;把 γ\gamma 收拢成锐角则会使 cos⁡γ>0\cos\gamma > 0,把对边 cc 拉得更短。

证明思路

从边 bb 所对的顶点向边 bb 所在的直线作高 hh。用角 γ\gamma 表示,这条高的长度为 h=asin⁡γh = a\sin\gamma,且垂足在边 bb 所在直线上与角 γ\gamma 顶点的有向距离为 acos⁡γa\cos\gamma,到另一端点的线段长度为 ∣b−acos⁡γ∣|b - a\cos\gamma|。对以 hh 和 ∣b−acos⁡γ∣|b - a\cos\gamma| 为直角边、cc 为斜边的直角三角形应用勾股定理,即得 c2=(asin⁡γ)2+(b−acos⁡γ)2=a2(sin⁡2γ+cos⁡2γ)+b2−2abcos⁡γ=a2+b2−2abcos⁡γc^2 = (a\sin\gamma)^2 + (b - a\cos\gamma)^2 = a^2(\sin^2\gamma + \cos^2\gamma) + b^2 - 2ab\cos\gamma = a^2 + b^2 - 2ab\cos\gamma。

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Euclid (translated by Thomas L. Heath) (1956). The Thirteen Books of Euclid's Elements, Vol. 1 (Book II, Propositions 12–13)
  2. Glen Van Brummelen (2009). The Mathematics of the Heavens and the Earth: The Early History of Trigonometry