sabendo que \det(A)=1. Vamos usar a ideia de matrizes ortogonais: se as colunas de A forem vetores unitários e mutuamente ortogonais, então A^{-1}=A^{T}.]
Passo 2
Verificamos as normas e produtos internos das colunas de A. Denotando \mathbf{c}_1=(\tfrac1{\sqrt3},\tfrac1{\sqrt3},\tfrac1{\sqrt3}), \mathbf{c}_2=(-\tfrac2{\sqrt6},\tfrac1{\sqrt6},\tfrac1{\sqrt6}) e \mathbf{c}_3=(0,-\tfrac1{\sqrt2},\tfrac1{\sqrt2}), temos