求证:两条对角线互相垂直的梯形面积是两条对角线乘积的一半.