Enunciado
Álgebra Linear e Geometria Analítica - Anton - Álgebra Linear- Ed: 10º - Capítulo 7.1 - Ex. 14
Prove que uma matriz ortogonal de tamanho é de uma de duas formas possíveis, a saber,
Onde . [Sugestão: comece com uma matriz arbitrária de tamanho e use o fato que os vetores coluna formam um conjunto ortonormal de ].
Passo 1
Pois bem, vamos tomar uma matriz ortogonal arbitrária de tamanho dada por
Utilizando a sugestão dada no problema de que os vetores coluna formam um conjunto ortonormal de vamos ter que
Além disso, também temos que
Valendo-nos da ortonomalidade também conseguimos inferir que
De tiramos que
Substituindo esse fato em vamos obter
Agora, façamos a seguinte mudança de variável
Assim, podemos reescrever como
Que nada mais é do que a equação da circunferência que podemos passar para coordenadas polares para obtermos
Dessa forma, nossas possibilidades de matrizes a serem representadas são
Como desejávamos mostrar.