三角形的面积等于2分之1周长平方?有这个定理么?如何证明呢?