利用三角形面积推导正弦定理