余弦定理编程应用