Enunciado
Álgebra Linear e Geometria Analítica - Anton - Álgebra Linear- Ed: 10º - Capítulo 4.9 - Ex. 27
O resultado enunciado no Exercício pode ser estendido ao , isto é, pode ser provado que se for uma matriz de vetores coluna ortonormais e se , então a multiplicação por é uma rotação em torno de algum eixo por algum ângulo . Use a Fórmula para mostrar que esse ângulo de rotação satisfaz a equação:
Passo 1
Vamos lá! Primeiro temos que organizar algumas coisas antes de resolver essa questão.
Vamos começar lembrando da nossa matriz da formula que expressa a rotação de um vetor no por um ângulo é dada por:
Agora vamos lembrar o que é o que ele apresenta na questão:
, também conhecido como traço da matriz é a soma dos elementos dos elementos da coluna principal da matriz:
Assim nosso , para matriz apresentada fica:
Passo 2
Agora, vamos retirar mais informações do nosso enunciado, ele diz que pra matriz da formula nossos vetores colunas serão ortonormais e , assim temos:
Como nosso vetor é unitário:
Passo 3
Agora vamos escrever nosso com as informações que obtemos:
Como :
Isolando nosso temos:
Isso é tudo pessoal! Até a próxima!
Resposta
Ei, a resposta está no passo a passo :)