求证:对角线互相垂直的四边形面积等于俩条对角线积的一半