实对称矩阵不同特征值特征向量相互正交,X1+X2-2X3=0