余弦定理

对于任意三角形，任何一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的两倍积，若三边为a，b，c 三角为A，B，C ，则满足性质——

　　a^2 = b^2 + c^2 - 2·b·c·cosA

　　b^2 = a^2 + c^2 - 2·a·c·cosB

　　c^2 = a^2 + b^2 - 2·a·b·cosC

　　cosC = (a^2 + b^2 - c^2) / (2·a·b)

　　cosB = (a^2 + c^2 - b^2) / (2·a·c)

　　cosA = (c^2 + b^2 - a^2) / (2·b·c)

余弦定理证明

平面向量证法

　　∵如图，有a+b=c (平行四边形定则：两个邻边之间的对角线代表两个邻边大小）

∴c·c=(a+b)·(a+b)

　　∴c^2=a·a+2a·b+b·b∴c^2=a^2+b^2+2|a||b|Cos(π-θ) http://s11/middle/4fc660fdh76ead21d0dea&690

　　（以上粗体字符表示向量）

　　又∵Cos(π-θ)=-CosC

　　∴c^2=a^2+b^2-2|a||b|Cosθ（注意：这里用到了三角函数公式）

　　再拆开，得c^2=a^2+b^2-2*a*b*CosC

　　即 CosC=(a^2+b^2-c^2)/2*a*b

　　同理可证其他，而下面的CosC=(c^2-b^2-a^2)/2ab就是将CosC移到左边表示一下。

平面几何证法

　　在任意△ABC中

　　做AD⊥BC.

　　∠C所对的边为c，∠B所对的边为b，∠A所对的边为a

　　则有BD=cosB*c，AD=sinB*c，DC=BC-BD=a-cosB*c

　　根据勾股定理可得：

　　AC^2=AD^2+DC^2

　　b^2=(sinB*c)^2+(a-cosB*c)^2

　　b^2=(sinB*c)^2+a^2-2ac*cosB+(cosB)^2*c^2

　　b^2=(sinB^2+cosB^2)*c^2-2ac*cosB+a^2

　　b^2=c^2+a^2-2ac*cosB

　　cosB=(c^2+a^2-b^2)/2ac