设A为n阶实矩阵，AT是A的转置矩阵，对于线性方程组①AX=0，②ATXA=0。