线性代数问题.设A为n阶实方阵,且AA^T = E,证明行列式 | A |= ±1.