余弦定理的实现