正余弦定理实际应用