设a为n阶正交矩阵证明Aa=a