正、余弦定理的应用