证明对角线互相垂直的四边形的面积等于对角线乘积的一半