设向量x为n维列向量,x^t*x=1,令a=e-2x*x^t,证明a是正交矩阵