镜面矩阵的性质