Determinantes
Definição, propriedades, regra de Laplace, matriz adjunta, regra de Cramer e o determinante como área e volume.
Nesta página
O determinante associa a cada matriz quadrada um único número que resume várias perguntas: a matriz é invertível? O sistema tem solução única? Que área ou volume sai de uma transformação? Vale a pena dominar o cálculo e e as propriedades que evitam contas longas.
Definição para ordens 2 e 3
Para uma matriz , o determinante é a diferença dos produtos das diagonais:
Por exemplo, , o número que já usámos na fórmula da inversa.
Para ordem 3, uma forma prática é a regra de Sarrus: repete as duas primeiras colunas à direita e soma os produtos das três diagonais descendentes, subtraindo os produtos das três diagonais ascendentes. Para
as descendentes dão e as ascendentes dão . Logo .
Atenção: Sarrus só funciona para ordem 3. Para ordens maiores (ou para demonstrar propriedades), usa-se a definição geral por regra de Laplace, que expande o determinante ao longo de uma linha ou coluna (ver abaixo).
Propriedades que poupam trabalho
Estas regras valem para qualquer ordem e são elas que tornam os exercícios rápidos:
- e .
- Trocar duas linhas (ou colunas) troca o sinal do determinante.
- Multiplicar uma linha por multiplica o determinante por . Consequência muito usada: para matrizes de ordem .
- Somar a uma linha um múltiplo de outra não altera o determinante. É a autorização para triangular a matriz antes de calcular.
- Uma matriz com uma linha nula, com duas linhas iguais ou com uma linha combinação linear das outras tem determinante zero.
- e .
- é invertível exatamente quando , e nesse caso .
A estratégia habitual para um determinante cheio de números é criar zeros com operações do tipo “somar um múltiplo de outra linha” e só depois expandir ou aplicar Sarrus. Cada zero que crias é uma parcela que desaparece.
Regra de Laplace e matriz adjunta
Escolhe uma linha ou coluna. Para cada entrada , risca a sua linha e coluna e calcula o determinante da matriz menor que resta, . O cofator é : o sinal segue o tabuleiro de xadrez . O determinante é a soma dos produtos das entradas pelos respetivos cofatores:
Vê com a matriz acima, expandindo pela primeira coluna (que tem um zero simpático em ):
Isto dá . Confirma o valor obtido por Sarrus. Escolhe sempre a linha ou coluna com mais zeros.
A matriz dos cofatores, transposta, chama-se matriz adjunta, , e dá a inversa de qualquer matriz invertível:
Para isto reproduz a fórmula da página de matrizes. Para a adjunta já dá bastante trabalho, por isso nos exercícios o método de Gauss-Jordan costuma ser mais rápido para inverter; a adjunta é sobretudo uma ferramenta teórica.
Regra de Cramer
Se tem matriz quadrada com , cada incógnita obtém-se por um quociente de determinantes: é o determinante da matriz que resulta de substituir a coluna de pela coluna , a dividir por .
Exemplo: . O determinante do sistema é . Então
Cramer é elegante, mas só se aplica a sistemas quadrados com determinante não nulo e o custo cresce depressa: para um precisas de quatro determinantes. Na prática, Gauss resolve mais depressa; Cramer brilha quando só precisas de uma incógnita ou quando os coeficientes dependem de um parâmetro.
O determinante como área e volume
Em , o módulo do determinante é a área do paralelogramo definido pelos dois vetores coluna (ou linha). Os vetores e definem um paralelogramo de área . Em , o módulo do determinante é o volume do paralelepípedo definido pelos três vetores. O sinal também tem significado: diz se a orientação dos vetores é preservada ou invertida.
Isto explica por que significa matriz não invertível: as colunas são linearmente dependentes (vais ver o que isto quer dizer na página de espaços vetoriais), por isso “achatam” o espaço e o volume colapsa para zero. Uma matriz com determinante nulo não consegue ser bijetiva, logo não tem inversa.
O que costuma correr mal
- Aplicar Sarrus a matrizes de ordem 4 ou mais. Não existe Sarrus para : usa Laplace ou triangularização.
- Errar os sinais dos cofatores, sobretudo esquecer o nas posições ímpares.
- Pensar que . É falso; o determinante não é linear na soma de matrizes.
- Usar Cramer quando o determinante do sistema é zero, ou quando o sistema nem sequer é quadrado.
- Confundir com para matrizes de ordem .