验证 {{ 1/\sqrt 2, 1/\sqrt 2 }, {-1/\sqrt 2, 1/\sqrt 2 }} 是否正交。