<<VilGebra`

A={{1/Sqrt[2],0,-(1/Sqrt[2])},{0,1,0},{1/Sqrt[2],0,1/Sqrt[2]}};
OrthogonalMatrixQ[A]