余弦定理是c∧2=a∧2+b∧2-2cosCab