正余弦定理应用