已知三角形三边为ABC,求三角形面积.用海伦公式怎样证明