余弦定理：设三角形的三边为abc,他们的对角分别为ABC,则称关系式

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

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

　　CosA=(c^2+b^2-a^2)/2bc