用正余弦定理求三角形面积