定理已证明
余弦定理
命题陈述
在三边长为 、、 且长为 的边所对内角为 的任意三角形中,都有 。
为什么成立?
余弦定理就是带有修正项 的勾股定理,用来刻画角 偏离直角的程度。当 时,,公式退化为 ;把 张开成钝角会使 ,从而 大于 ;把 收拢成锐角则会使 ,把对边 拉得更短。
证明思路
从边 所对的顶点向边 所在的直线作高 。用角 表示,这条高的长度为 ,且垂足在边 所在直线上与角 顶点的有向距离为 ,到另一端点的线段长度为 。对以 和 为直角边、 为斜边的直角三角形应用勾股定理,即得 。
用到此定理的主题
相关定理
分步证明
该定理暂无分步证明。
参考文献
- Euclid (translated by Thomas L. Heath) (1956). The Thirteen Books of Euclid's Elements, Vol. 1 (Book II, Propositions 12–13)
- Glen Van Brummelen (2009). The Mathematics of the Heavens and the Earth: The Early History of Trigonometry