Se A e uma matriz n \times n, demonstre que
A A^{t} e A^{t} A são simétricas.

Passo 1

O enunciado nos dá que A é uma matriz n\times n. A tarefa é demonstrar que as matrizes A A^{t} e A^{t} A são simétricas.
Informações relevantes dadas:
A \in \mathbb{R}^{n\times n}.
O que é pedido:
  • Mostrar que A A^{t} é simétrica.
  • Mostrar que A^{t} A é simétrica.

Passo 2

Vamos lembrar a definição de matriz simétrica e algumas propriedades fundamentais da transposição (essas são ferramentas que usaremos como regra de cálculo).
Definição: uma matriz M é simétrica quando
M^{t} = M.
Propriedades da transposição que usaremos (vale sempre para matrizes compatíveis):
  1. Para qualquer matriz B,
(B^{t})^{t} = B.
  1. Para produto de matrizes B e C compatíveis,
(BC)^{t} = C^{t} B^{t}.
Vou usar essas propriedades explicitamente nas contas a seguir. Se quiser, depois eu mostro também uma prova pelo ponto de vista das entradas (índices).

Passo 3

Mostrando que A A^{t} é simétrica usando propriedades de transposição. Calculo a transposta de A A^{t} e vejo se volta a ser ela mesma:
( A A^{t} )^{t} = (A^{t})^{t} A^{t},
onde usei a propriedade (BC)^{t}=C^{t}B^{t} com B=A e C=A^{t}. Agora aplico a propriedade (B^{t})^{t}=B à primeira parte:
( A A^{t} )^{t} = A A^{t}.
Como a transposta de A A^{t} é igual a A A^{t} própria, isso mostra que A A^{t} é simétrica, por definição.

Passo 4

Mostrando que A^{t} A é simétrica pela mesma ideia. Calculo a transposta de A^{t} A:
( A^{t} A )^{t} = A^{t}{}^{t} (A^{t})^{t\;?}
Melhor reescrever com a regra do produto: aplicando (BC)^{t}=C^{t}B^{t} com B=A^{t} e C=A (ou seja, trocando papéis),
( A^{t} A )^{t} = A^{t}{}^{t} (A^{t})^{t}\quad\text{(atenção: vamos fazer passo a passo corretamente)}.çã
Vamos aplicar corretamente: tome B=A^{t} e C=A, então
( A^{t} A )^{t} = A^{t}{}^{t} (A^{t})^{t} \text{ (isso está confuso — refaço mais direto).}áç
Refazendo direto com a propriedade: para B=A^{t} e C=A,
( A^{t} A )^{t} = A^{t}{}^{t} (A^{t})^{t} \text{ (esta forma é redundante).}é
Melhor: aplique (BC)^{t}=C^{t}B^{t} com B=A^{t} e C=A:
( A^{t} A )^{t} = A^{t}{}^{t} (A^{t})^{t} = A (A^{t})^{t}.
Agora uso (A^{t})^{t}=A, então
( A^{t} A )^{t} = A A^{t}.
Ops — percebi que isso deu A A^{t}, que é diferente do objetivo; vamos aplicar a propriedade na ordem correta: para B=A e C=A^{t} (como no passo anterior), compute (A^{t}A)^{t} com B=A^{t}, C=A: então
( A^{t} A )^{t} = A^{t}{}^{t} (A^{t})^{t} = A A^{t}.
Note que esse cálculo mostrou novamente algo que parece trocar as posições — para evitar confusão, refeito de forma direta e correta: aplicar (BC)^{t}=C^{t}B^{t} a B=A^{t} e C=A
( A^{t} A )^{t} = A^{t}{}^{t} \, (A^{t})^{t}.
Mas usando (A^{t})^{t}=A duas vezes, obtemos
( A^{t} A )^{t} = A^{t} A.
(Resumo: a aplicação correta das propriedades leva a (A^{t}A)^{t}=A^{t}A.)
Observação: reconheço que os passos acima ficaram verbosos para evitar erro de ordem; a ideia simples é usar (BC)^{t}=C^{t}B^{t} com B=A^{t} e C=A e em seguida (A^{t})^{t}=A, resultando em (A^{t}A)^{t}=A^{t}A. Logo A^{t}A é simétrica.

Passo 5

Para fixar bem a intuição, faço também a prova por componentes (entradas), que é muito direta e às vezes mais segura para quem está começando com matrizes.
Seja A=(a_{ij}). Então a entrada (i,j) de A A^{t} é
( A A^{t} )_{ij} = \sum_{k=1}^{n} a_{ik}\, (A^{t})_{kj}.
Mas (A^{t})_{kj} = a_{jk}, logo
( A A^{t} )_{ij} = \sum_{k=1}^{n} a_{ik}\, a_{jk}.
Troque i por j e j por i na expressão acima para obter a entrada (j,i):
( A A^{t} )_{ji} = \sum_{k=1}^{n} a_{jk}\, a_{ik}.
Como a soma de produtos é comutativa termo a termo, \sum_{k} a_{ik}a_{jk}=\sum_{k} a_{jk}a_{ik}. Logo
( A A^{t} )_{ij} = ( A A^{t} )_{ji}
para todo i,j. Isso é exatamente a condição (A A^{t})^{t}=A A^{t}, então A A^{t} é simétrica.
Agora para A^{t}A: a entrada (i,j) de A^{t}A é
( A^{t} A )_{ij} = \sum_{k=1}^{n} (A^{t})_{ik}\, a_{kj} = \sum_{k=1}^{n} a_{ki}\, a_{kj}.
Troque i e j:
( A^{t} A )_{ji} = \sum_{k=1}^{n} a_{kj}\, a_{ki} = \sum_{k=1}^{n} a_{ki}\, a_{kj}.
Portanto ( A^{t} A )_{ij} = ( A^{t} A )_{ji} para todo i,j, mostrando que A^{t} A é simétrica.

Passo 6

Resumo da lógica: tanto pela propriedade das transpostas aplicadas ao produto quanto pela verificação direta das entradas, temos que
( A A^{t} )^{t} = A A^{t} \quad\text{e}\quad ( A^{t} A )^{t} = A^{t} A,
logo ambas as matrizes são simétricas.

Resposta

A A^{t} é simétrica.
A^{t} A é simétrica.

Exercícios relacionados