H^T=（E—2aa^T）^T
=E^T—2（a^T）^T·a^T
=E—2aa^T


H·H^T=（E-2aa^T）·（E-2aa^T）
=E-2aa^T-2aa^T+4aa^T·aa^T
=E-4aa^T+4a·(a^T·a)·a^T
=E-4aa^T+4aa^T
=E


所以,H是正交矩阵.