设a是n维列向量,且其长度为1,证明矩阵H=E-2aaT是正交阵