验证余弦定理:对于任意三角形△ABC,三边为a,b,c 三角为A、B、C,满足性质a2=b2+c2-2*b*c*cosA