线性代数中怎么证明正交矩阵的特征值是1或者-1?