正余弦定理的应用举例