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