正余弦定理的应用