怎么证明等腰梯形对角线乘积一半是梯形面积?