O enunciado pede o produto da matriz EinR^3times3 pela sua transposta E^T. Isso é aplicação direta de multiplicação de matrizes e podemos usar a propriedade de matrizes ortogonais: quando as colunas de E formam um sistema ortonormal, vale
E^-1=E^T Longrightarrow E,E^T=I3
Passo 2
Escrevendo explicitamente E e sua transposta, temos
Para verificar ortogonalidade, basta notar que cada coluna de E tem norma unitária e são mutuamente ortogonais: por exemplo, a primeira coluna l(tfracraiz33,-tfracraiz63,0r)
tem norma