证明矩形的对角线相等