平行四边形面积公式:对角线乘积的一半=S 是否正确?若正确,是怎样推出的?