e pede a matriz de mudança de base de alpha para a base canônica C, ou seja [I]alpha^C. Vamos usar que as colunas dessa matriz são exatamente as coordenadas de v1,v2,v3 em C. Depois veremos se essa matriz é ortogonal, lembrando que uma matriz é ortogonal se suas colunas formam um sistema ortonormal.
Passo 2
Como a definição de [I]alpha^C diz que cada coluna é a representação de um vetor de alpha na base canônica, temos diretamente