由余弦定理可以证明
充分性 当三角形内有一条边的平方大于另两条边的平方和时
假设为三角形ABC 其中 c^2>a^2+b^2
则 cosC=(a^2+b^2-c^2)/2ab