设A为正交矩阵,证明A^2也是正交矩阵