已知实矩阵满足