线性代数问题 设A为实反称矩阵(AT=-A),且存在列向量,使得Ax=y,证X与Y正交