矩形对角线性质