矩形对角线平分且相等怎么证明