矩形对角线性质的几何语言