证明三角形面积公式 S=abc/4K=2R^2 SinASinBSinC (其中R为三角形ABC外接圆半径)