设x为n维列向量,而且x^tx=1,令H=E-2XX^T,证明H是对称正交矩阵