正余弦定理在解三角形中的应用