Dada uma matriz quadrada A, se existir um número inteiro p>1, tal que A^{p}=A, diz-se que A é uma matriz periódica de período p. Se A=\left(\begin{array}{ccc}2 & -1 & 1 \\\\ -3 & 4 & -3 \\\\ -5 & 5 & -4\end{array}\right), mostre que A é periódica. Determine o período p de A.
e pede para mostrar que existe um inteiro p>1 tal que A^{p}=A (ou seja, mostrar que A é periódica) e determinar o período p.
Informações relevantes que temos:
A matriz A está completamente determinada pelos seus 9 elementos (listados acima).
Precisamos encontrar um inteiro p>1 tal que A^{p}=A.
Não foi dado nenhum outro requisito; portanto podemos tentar a abordagem mais direta: calcular potências simples de A (começando por A^{2}) e ver se alguma delas é igual a A.]
Passo 2
Estratégia escolhida (por que esse método): a maneira mais simples e direta é calcular A^{2} (multiplicação matricial) e checar se A^{2}=A. Se isso ocorrer, já teremos um inteiro p>1 (no caso p=2) com A^{p}=A. Essa abordagem usa apenas a definição básica de multiplicação de matrizes e é rápida para matrizes 3\times3. Outra abordagem possível seria usar polinômios mínimos e autovalores, mas isso é desnecessário aqui e mais trabalhosa para um cálculo manual rápido.
Passo 3
Lembrete didático sobre multiplicação de matrizes: se B e C são matrizes 3\times3, o elemento na posição (i,j) do produto BC é dado por
(BC)_{ij}=\sum_{k=1}^{3} B_{ik}\,C_{kj}.
Ou seja, para calcular a entrada (i,j) multiplicamos a i-ésima linha de B pela j-ésima coluna de C e somamos os três produtos. Vou aplicar isso para calcular A^{2}=A\cdot A.
Passo 4
Calcular A^{2} elemento a elemento (cada soma mostrada):
Primeira linha de A^{2} (produto da primeira linha de A com cada coluna de A):
Isso prova que existe um inteiro p>1 (especificamente p=2) tal que A^{p}=A, portanto A é periódica.
Explicação adicional e minimalidade do período: como A^{2}=A, por indução segue-se facilmente que A^{n}=A para todo inteiro n\ge 1. O menor inteiro p>1 que satisfaz A^{p}=A é, então, p=2 (não existe inteiro inteiro p com 1<p<2). Em linguagem de álgebra linear, matrizes que satisfazem A^{2}=A são chamadas de idempotentes (ou projeções); seus autovalores só podem ser \,0 ou \,1, porque qualquer autovalor \lambda satisfaz \lambda^{2}=\lambda.