关于余弦定理的推导公式本来是这样的:c^2=a·a+2a·b+b·b 然后 又变成这样 c^2=a^2+b^2-2|a|