如果一个矩阵和它的转置相乘为单位矩阵,这个矩阵是什么矩阵?