矩形对角线性质 矩形是什么