Mostre que a matriz triangular superior A=\left[\begin{array}{lll}a & d & e \\\\ 0 & b & f \\\\ 0 & 0 & c\end{array}\right], sendo a, b e c reais não nulos é não singular calculando sua inversa pelo método de Gauss-Jordan.
Passo 1
O enunciado dá a matriz triangular superior
A=\begin{bmatrix}a & d & e\\[4pt]0 & b & f\\[4pt]0 & 0 & c\end{bmatrix},
com a, b e c reais não nulos, e pede para mostrar que A é não singular calculando sua inversa pelo método de Gauss–Jordan.
Informações relevantes fornecidas:
Os elementos da diagonal principal são \,a,\;b,\;c e todos são não nulos.
Os outros elementos são d,e,f (podem ser quaisquer reais).
A tarefa é obter A^{-1} aplicando operações elementares de linha ao sistema augmentado [A\mid I] até transformar a parte esquerda em I.]
Passo 2
Montamos a matriz aumentada [A\mid I]. Vou escrever as três linhas explicitamente; cada entrada é escrita em TeX:
\bigl[A\mid I\bigr]= \left[\begin{array}{ccc|ccc} a & d & e & 1 & 0 & 0\\[4pt] 0 & b & f & 0 & 1 & 0\\[4pt] 0 & 0 & c & 0 & 0 & 1 \end{array}\right].
Explicação rápida do que vamos fazer: o objetivo do Gauss–Jordan é, por operações de linha (multiplicar uma linha por escalar não nulo, somar um múltiplo de uma linha em outra), transformar a parte esquerda em \;I_3. As mesmas operações aplicadas à parte direita geram A^{-1}. Como a,b,c\neq0, podemos dividir as linhas correspondentes por esses escalares (essas operações são permitidas).]
Passo 3
Primeira etapa prática: tornar os pivôs iguais a 1 dividindo cada linha pela entrada diagonal correspondente. São as operações
Comentário didático: dividir uma linha por um número não nulo é uma operação elementar inversível; ela deixa a solução (neste caso, a relação entre A e I) inalterada em conteúdo, apenas normaliza o pivô.]
Passo 4
Agora eliminamos as entradas acima dos pivôs (Gauss–Jordan exige zeros acima e abaixo dos pivôs). Começo zerando a entrada na posição (1,2), que é \dfrac{d}{a}. Uso a operação
R_1\leftarrow R_1 - \frac{d}{a}\,R_2.
Calculemos as entradas relevantes após essa operação:
A nova (1,2) fica \dfrac{d}{a} - \dfrac{d}{a}\cdot 1 = 0.
A nova (1,3) fica
\dfrac{e}{a} - \frac{d}{a}\cdot\frac{f}{b} = \frac{e}{a} - \frac{d f}{a b} = \frac{e b - d f}{a b}.
Concluímos que a inversa existe (portanto A é não singular) e é a matriz que apareceu à direita após as operações de Gauss–Jordan. Vou escrever A^{-1} de forma explícita e organizada, comentando que cada entrada foi obtida pelas operações acima e que em todas as divisões usamos a,b,c\neq0.
Resposta
A^{-1}=\begin{bmatrix} \dfrac{1}{a} & -\dfrac{d}{a b} & \dfrac{d f - e b}{a b c}\\[8pt] 0 & \dfrac{1}{b} & -\dfrac{f}{b c}\\[8pt] 0 & 0 & \dfrac{1}{c} \end{bmatrix}]