余弦定理性质
对于任意三角形中任何一边的平方等于其他两边平方的和减去这两边与他们夹角的余弦的两倍积：三边为a,b,c 三角为A,B,C 满足性质：
(注：a*b、a*c就是a乘b、a乘c .a^2、b^2、c^2就是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
证明：据余弦定理知：
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 ③
由①+②+③得：
a^2+b^2+c^2=2（a^2+b^2+c^2）-2（b*c*CosA+ a*c*CosB+2*a*b*CosC）
即：a^2+b^2+c^2=2(bccosA+abcosC+accosB)
证毕.