正余弦定理综合应用