3- Determinantes

3.1- Introduo e definies.

chamamos determinante da a 21 a 22 matriz A, designando-o por detA ou por |A|, ao nmero detA = |A| = a 11 a 22 ? a 12 a 21 . Sabemos ainda que uma matriz 2 2 tem inversa, e que o algoritmo de Gauss consegue calcul-la, se e s se detA 0. Neste captulo vamos generalizar esta ideia para matrizes n n com n > 2. A ideia construir para uma matriz A, n n, um nmero que procure imitar aquilo que se fez no caso 2 2. a 11 a 12 ` a 1n A= a 21 a 22 ` a 2n _ _ b _ J vimos que para uma matriz 2 2 genrica A = a 11 a 12

a n1 a n2 ` a nn A primeira observao que salta aos olhos a seguinte: no caso 2 2 o determinante a diferena entre o produto dos elementos da diagonal principal a 11 a 22 e o produto dos elementos da diagonal secundria a 12 a 21 . Porque no generalizar isto para o caso n n? fcil de ver que uma ideia ingnua: repare que no caso 2 2 as duas diagonais utilizam todos os elementos da matriz enquanto no caso 100 100 envolvem apenas 200 dos 10000 elementos e seria muito estranho que propriedades como a existncia de inversa dependessem apenas dos valores de 2% dos elementos de uma matriz! Uma observao mais cuidada diz-nos, que no caso 2 2, o determinante uma soma de 2 parcelas uma com o sinal positivo a 11 a 22 e outra com o sinal negativo a 12 a 21 . Repare que em ambas estas parcelas os elementos escolhidos para cada uma delas ocupam todas as linhas e colunas da matriz, isto , so escolhidos um e um s por linha e um e um s por coluna. Esta ideia tem potencial para ser transportada para o caso n n dando origem seguinte definio: Definio 3.1.1- Dada uma matriz A, n n, chama-se termo da matriz ao produto de n elementos da matriz escolhidos um e um s por linha e um e um s por coluna. Olhemos agora para o sinal de cada um dos termos. Para isso vamos convencionar que escrevemos cada um deles com os ndices de linha ordenados. Repare que, no caso do termo positivo, tanto faz (porque a multiplicao de reais comuta) escrever a 11 a 22 como a 22 a 11 mas ns convencionamos usar a primeira expresso porque tem os ndices de linha por ordem. Do mesmo modo, no caso do termo negativo, tanto faz escrever a 12 a 21 como a 21 a 12 mas ns vamos usar a primeira expresso que tem os ndices de linha por ordem. Note agora que no caso do termo positivo, a 11 a 22 , os ndices de coluna 1, 2 esto por ordem ao passo que no termo negativo, a 12 a 21 , os ndices de coluna 2, 1 esto desordenados. Uma primeira ideia, ingnua, seria transportar isto para o caso n n ou seja: depois de escritos todos os termos com os ndices de linha por ordem atribuir o sinal + aqueles com os ndices de coluna por ordem e o sinal ? aqueles com esses ndices desordenados. Novamente h aqui alguma coisa que est a ser escondida pelo facto de nos estarmos a inspirar no caso 2 2. Repare que quando temos apenas os ndices 1 e 2 h uma nica maneira de eles estarem por ordem, 1, 2, e uma s maneira de estarem desordenados 2, 1. Mas se estiver no caso 3 3, isto com os trs ndices 1, 2 e 3, h uma s maneira de os colocar por ordem, 1, 2, 3, enquanto todas as outras 5 = 3! ? 1 permutaes destes trs nmeros ficam desordenadas. Ora uma caracteristica da definio de determinante caso 2 2 que ela envolvia um nmero igual de termos positivos e

negativos. Para transportar essa caracteristica para o caso n n vamos, depois de escrito cada termo com os ndices de linha por ordem, olhar para todos os pares de ndices de coluna e contar o nmero de trocas de ordem. Se esse nmero for par atribuimos ao termo o sinal positivo, se for impar atribuimos o sinal menos. Note que assim garantimos um igual nmero de termos positivos e termos negativos. Isto motiva a seguinte definio: Definio 3.1.2 O sinal de um termo de uma matriz A, n n, uma potncia ?1 k onde o expoente k a soma do nmero de trocas de ordem da sequncia dos ndices de linha com o nmero de trocas de ordem da sequncia dos ndices de coluna. (Note que, usando a comutatividade da multiplicao de reais, uma destas sequncias pode sempre ser ordenada sendo, portanto, o nmero de trocas de ordem respectivo igual a 0. No entanto damos a definio nesta forma para que ela fique simtrica em relao a linhas e colunas) Para tornar estas ideias mais claras tomemos a seguinte matriz A, 3 3, para a qual vamos escrever dois termos e determinar o respectivo sinal: a 11 a 12 a 13 A= a 21 a 22 a 23 a 31 a 32 a 33 - Termo a 12 a 23 a 31 . Repare que escolhemos um e um s elemeto de A por linha e um e um s por coluna. O termo j est escrito com os ndices de linha por ordem. A sequncia dos ndices de coluna 2, 3, 1. O par 2, 3 est por ordem. O par 2, 1 est desordenado o mesmo acontecendo com o par 3, 1. Logo o nmero de trocas de ordem 2, nmero par, e o termo ser positivo. Verifique que os outros termos positivos so a 11 a 22 a 33 e a 13 a 21 a 32 . - Termo a 12 a 21 a 33 . Repare novamente que escolhemos um e um s elemeto de A por linha e um e um s por coluna e que o termo j est escrito com os ndices de linha por ordem. A sequncia dos ndices de coluna 2, 1, 3. O par 2, 1 est por fora de ordem. O par 2, 3 est ordenado o mesmo acontecendo com o par 1, 3. Logo o nmero de trocas de ordem 1, nmero impar, e o termo ser negativo. Constate que os outros dois termos negativos so a 13 a 22 a 31 e a 11 a 23 a 32 . Estamos agora em condies de definir determinante para uma matriz A, n n: Definio 3.1.3- O determinante de uma matriz A, n n, designado por detA ou por |A|, a soma dos seus n! termos afectados pelos respectivos sinais. Com esta definio o determinante da matriz A, 3 3, exibida acima seria dado pela seguinte soma de termos: |A| = +a 12 a 23 a 31 + a 11 a 22 a 33 + a 13 a 21 a 32 ? a 12 a 21 a 33 ? a 13 a 22 a 31 ? a 11 a 23 a 32 . Repare que, para n = 3, temos 6 = 3! termos. fcil de ver, tal como afirmado na definio anterior, que uma matriz n n tem n! termos. Com efeito todos os termos de uma tal matriz podem ser escritos com os ndices de linha por ordem 1, 2, ..., n. Ento o nmero de termos distintos corresponde a todas as permutaes possveis do conjunto 1, 2, ..., n dos ndices de coluna, ou seja teremos n! termos. Vamos agora olhar para esta definio com mais cuidado. A primeira, e agradvel, constatao que ela de facto generaliza a ideia que funcionou para o caso 2 2. A segunda, e muito desagradvel, constatao que este nmero impossvel de calcular (usando a definio!) para valores moderados de n. O site http://www.top500.org/ reporta as velocidades de cculo dos mais rpidos computadores existentes. Hoje em dia a ordem de grandeza dessas velocidades de 10 14 operaes por segundo. Imagine ento que queria utilizar um desses super-computadores para calcular, usando a definio, o determinante de uma matriz 100 100 que tem 100! termos. Para calcular cada termo tem que efectuar da ordem de 100 operaes o que significa que pode calcular da ordem de 10 12 termos por segundo. A ordem de grandeza de 100! de 10 158 o que significa que o clculo demoraria da ordem dos 10 146 segundos. Como cada ano tem da ordem de 10 8 segundos (um ano comum tem exactamente 31 536 000 segundos) o cculo dos termos de uma matriz 100 100 demoraria da ordem de 10 136 anos. Agora consulte o site http://www.astro.ucla.edu/~wright/age.html onde a idade do Universo estimada ser da ordem de 10 10 anos, mais exactamente 12.8 10 9 anos, mais coisa menos coisa. Estes

nmeros deveriam fazer-nos desistir imediatamente da ideia de calcular o determinante tal como foi definido: nem toda a idade do Universo, 10 10 anos, chegaria (nem de perto nem de longe...) para o clculo dos termos de uma matriz 100 100 que da ordem de 10 136 anos! Mas aqui entra o poder da matemtica: com efeito depois de estudarmos esta definio vamos concluir que podemos calcular (sem ser directamente atravs da definio, claro!) o determinante de uma matriz 100 100 num nmero de operaes da ordem de 100 3 = 10 6 ou seja em tempo da ordem de um centsimo milionsimo de segundo no super-computador que mencionmos! Ento prepare-se e aperte o cinto que vamos partir para essa aventura na prxima seco.

3.2- Propriedades dos determinantes.

Vamos comear por analisar algumas propriedades da definio anterior. A nossa estratgia a de procurar averiguar como se comporta a definio de determinante de uma matriz quando efectuamos sobre ela operaes elementares sobre as suas linhas, ou seja eliminao de Gauss. No que se segue a palavra fila designar indistintamente linha ou coluna, ou seja, nos enunciados que se seguem pode substituir todas as ocorrncias da palavra fila quer pela palavra linha quer pela palavra coluna que obtem enunciados vlidos. Teorema 3.2.1- Uma matriz com uma fila de zeros tem o determinante nulo. Prova:Este facto evidente a partir da definio: todos os termos (produtos de elementos da matriz escolhidos um e um s por linha e um e um s por coluna) tm que incluir um (e um s) elemento da fila de zeros e, portanto, todos eles se anulam. n Teorema 3.2.2- Quando se multiplica uma fila de uma matriz por um real V 0 o seu determinante vem multiplicado por esse nmero V. Prova:Este facto tambm deve ser claro a partir da definio: todos os termos (produtos de elementos da matriz escolhidos um e um s por linha e um e um s por coluna) tm que incluir um e um s elemento da fila que foi multiplicada por V, portanto, todos os termos so multiplicados pelo nmero V, ou seja, o determinante vem multiplicado por V. n Corolrio 3.2.2- Se E for a matriz elementar que opera a multiplicao de uma linha de A por V 0 teremos detEA = detE detA Prova:O resultado bvio dada a configurao da matriz E pois detE = V. n Repare que se multiplicar uma matriz A, n n, por V multiplica por esse nmero todas as suas n linhas (ou colunas) e portanto o seu determinante vem multiplicado n vezes por V, ou seja |VA| = V n |A|. Teorema 3.2.3- O determinante de uma matriz igual ao da sua transposta. Prova:Troque a palavra linha com a palavra coluna nas definies 3.1.1, 3.1.2 e 3.1.3 e constate que elas no se alteram. n Teorema 3.2.4- A troca de duas filas de uma matriz troca o sinal do determinante e mantem o seu mdulo. Prova: Comeamos por examinar o caso simples da troca de duas linhas consecutivas, por exemplo e sem perda de generalidade, a troca da primeira com a segunda linha. Seja ento A uma matriz e B outra matriz obtida de A trocando as duas primeiras linhas. Cada termo de B (escrito com os ndices de linha por ordem) b 1j1 b 2j2 ... b njn igual, em A, ao termo a 2j1 a 1j2 ... a njn = a 1j2 a 2j1 ... a njn . Neste termo de A (j escrito com os ndices de linha por ordem) o nmero de trocas de ordem dos ndices das colunas j 2 , j 1, ..., j n ou aumenta de 1 (se j 2 > j 1 ) ou diminui de 1 (se j 2 < j 1 ) relativamente ao nmero de trocas de ordem dos ndices das colunas j 1 , j 2, ..., j n do termo correspondente b 1j1 b 2j2 ... b njn da matriz B. Para o ajudar a ver que assim concretize para o caso das matrizes A e B serem 3 3 e pense no termo diagonal de B ou seja em b 11 b 22 b 33 . Este

termo igual, em A, ao termo a 21 a 12 a 33 = a 12 a 21 a 33 mas aqui a sequncia dos ndices das colunas 2, 1, 3 tem uma troca de ordem a mais relativamente ao termo correspondente de B. Assim torna-se claro que os termos de B so os termos de A com o sinal trocado e portanto |B| = ?|A|. Considere agora a troca de duas linhas no consecutivas i e j > i + 1. Para levar a linha i posio j tem que fazer j ? i trocas consecutivas. Em seguida para trazer a linha j (agora na j ? 1-sima posio) posio original da linha i tem que efectuar j ? 1 ? i trocas consecutivas. Far no total 2j ? i ? 1 trocas consecutivas, sempre um nmero impar, e portanto todos os termos trocam de sinal. Para se convencer disto imagine que na sequncia 1, 2, 3, 4, 5, 6 quer trocar a posio do 2 com a do 5 para obter a sequncia 1, 5, 3, 4, 2, 6 fazendo trocas consecutivas. Primeiro para levar o 2 quinta posio far: 1, 2, 3, 4, 5, 6 1, 3, 2, 4, 5, 6 1, 3, 4, 2, 5, 6 1, 3, 4, 5, 2, 6. Ou seja efectuou 5 ? 2 = 3 trocas. Em seguida para trazer o 5 (agora na quarta posio) segunda posio far a seguinte sequncia de trocas consecutivas: 1, 3, 4, 5, 2, 6 1, 3, 5, 4, 2, 6 1, 5, 3, 4, 2, 6. Aqui fez 4 ? 2 = 2 trocas. O nmero total de trocas 3 + 2 = 5 sempre impar. O resultado para trocas de colunas decorre do facto de, pelo teorema anterior, se ter |A| = |A T |. n Corolrio 3.2.4- Se E for a matriz elementar que opera a troca de duas linhas de A teremos detEA = detE detA Prova:O resultado bvio dada a configurao da matriz E pois detE = ?1. n Repare que j vimos como a definio de determinante reage a duas das operaes elementares sobre as linhas de uma matriz: se trocarmos duas linhas ele muda de sinal e se multiplicarmos uma linha por uma constante o determinante vem multiplicado por essa constante. Os dois resultados seguintes so instrumentais para vermos o acontece ao determinante quando efectuamos numa matriz a operao elementar sobre as suas linhas que falta analisar: somar a uma linha um mltiplo de outra. Teorema 3.2.5- Uma matriz com duas filas proporcionais tem o determinante nulo. Prova: Comecemos por examinar o caso mais simples de proporcionalidade: a igualdade. Pense ento numa matriz A com duas linhas iguais e seja d o valor do seu determinante. Repare agora que ao trocar as duas linhas iguais a matriz A fica na mesma e, portanto, o seu determinante continua a valer d. Mas o resultado anterior garante-nos que, ao trocar as duas linhas, o determinante muda de sinal. Logo teriamos que ter d = ?d e o nico nmero que satisfaz isto d = 0. Agora examinemos o caso em que a constante de proporcionalidade V 1. Sem perda de generalidade pense que a segunda linha de A V vezes a primeira. Ento teriamos: a 11 a 12 ` a 1n a 11 a 12 ` a 1n det Va 11 Va 12 ` Va 1n _ _ b _ = V det a 11 a 12 ` a 1n _ _ b _ = V 0 = 0.

a n1 a n2 ` a nn a n1 a n2 ` a nn O resultado para colunas decorre do facto de se ter |A| = |A T |. n Teorema 3.2.6- O determinante de uma matriz em que uma fila a soma de dois vectores igual soma de dois determinantes em que essa fila da matriz substituida por cada um dos vectores, ou seja: b 1 + c 1 a 12 ` a 1n b 1 a 12 ` a 1n c 1 a 12 ` a 1n det b 2 + c 2 a 22 ` Va 2n _ _ b _ = det b 2 a 22 ` Va 2n _ _ b _ + det c 2 a 22 ` Va 2n _ _ b _

b n + c n a n2 ` a nn b n a n2 ` a nn c n a n2 ` a nn Prova: Imagine, sem perda de generalidade, que como sugerido acima a primeira coluna da matriz a soma do vector b 1 , b 2 , ..., b n T com o vector c 1 , c 2 , ..., c n T . Ento cada termo da matriz da forma (aqui escrito com os ndices de coluna por ordem)

b j1 + c j1 a j2 2 ... a jn n = b j1 a j2 2 ... a jn n + c j1 a j2 2 ... a jn n ou seja, cada termo da matriz original a soma de duas parcelas: uma que utiliza o elemento b j1 de b 1 , b 2 , ..., b n T na primeira coluna e outra que usa o elemento c j1 de c 1 , c 2 , ..., c n T tambm na primeira coluna. Estas parcelas so termos de b 1 a 12 ` a 1n c 1 a 12 ` a 1n det b 2 a 22 ` Va 2n _ _ b _ e det c 2 a 22 ` Va 2n _ _ b _

b n a n2 ` a nn c n a n2 ` a nn respectivamente. Estes termos tm o mesmo sinal do termo da matriz original b j1 + c j1 a j2 2 ... a jn n porque a sequncia dos ndices de linha j 1 , j 2 , ..., j n a mesma nos trs casos. Donde o resultado pretendido para colunas. O resultado para linhas decorre do facto de se ter |A| = |A T |. n Estamos agora em condies de atacar a reacco do determinante de uma matriz quando se opera sobre ela a operao elementar sobre as suas linhas que falta analisar: somar a uma linha um mltiplo de outra. Teorema 3.2.7- Se numa matriz somarmos a uma fila um mltiplo de outra fila (paralela) o seu determinante no se altera. Prova: Considere, sem perda de generalidade, que somamos segunda coluna V vezes a primeira coluna. Os teoremas anteriores permitem afirmar que se tem: a 11 a 12 + Va 11 ` a 1n a 11 a 12 ` a 1n a 11 Va 11 ` a 1n det a 21 a 22 + Va 21 ` a 2n _ _ b _ a n1 a n2 + Va n1 ` a nn = det a 21 a 22 ` a 2n _ _ b _ a n1 a n2 ` a nn a 11 a 12 ` a 1n = det a 21 a 22 ` a 2n _ _ b _ + det a 21 Va 21 ` a 2n _ _ b _ a n1 Va n1 ` a nn =

a n1 a n2 ` a nn Com efeito a primeira igualdade decorre do teorema anterior e a segunda do teorema 3.2.5 pois a segunda parcela da soma corresponde ao determinante de uma matriz com duas colunas proporcionais que nulo. O resultado para linhas decorre do facto de se ter |A| = |A T |. n Estamos agora muito perto de poder calcular o determinante de uma matriz n n efectuando apenas um nmero e operaes da ordem de n 3 como tinhamos prometido. Para isso observe com ateno o prximo teorema: Teorema 3.2.8- O determinante de uma matriz tringular igual ao produto dos seus elementos diagonais. Prova: Se para um dos lados da diagonal todos os elementos da matriz so nulos ento todos os termos se anulam excepto, eventualmente, o termo constituido pelo produto dos elementos da diagonal principal. n Corolrio 3.2.8- Se E for a matriz elementar que opera a soma a uma linha de A um mltiplo de outra linha teremos detEA = detE detA Prova:A matriz E tringular com todos os elementos diagonais iguais a 1 logo detE = 1. n O teorema anterior d-nos um processo de calculo do determinante num nmero de operaes da

ordem de n 3 : com efeito basta utilizar operaes de eliminao de Gauss (que sabemos como alteram o determinante) at obter uma linha de zeros, caso em que o determinante nulo, ou at reduzir a matriz foma tringular, caso em que sabemos calcular o determinante. Veja o seguinte exemplo: 1 2 3 1 2 3 1 2 3 = det 0 ?3 ?6 = det 0 ?3 ?6 =0 det 4 5 6 7 8 9 0 ?6 ?12 0 0 0 No primeiro passo somamos segunda linha ?4 vezes a primeira e somamos terceira linha ?7 vezes a primeira. Estas operaes no alteram o determinante. No segundo passo somamos terceira linha ?2 vezes a segunda linha operao que no altera o determinante. H duas razes (independentes uma da outra) para dizer que o determinante nulo: (i) obtivemos uma linha de zeros. (ii) a matriz foi reduzida forma tringular sendo nulo o produto dos seus elementos diagonais 1 ?3 0 = 0. Note ainda que, caso ocorra um zero na diagonal a meio do processo como no exemplo abaixo, geralmente possivel prosseguir trocando colunas para a direita desse zero at obter um elemento no nulo na diagonal 1 2 3 1 3 2 1 3 2 = ? det 0 6 0 = ? det 0 6 0 = ?1 6 8 = ?48 det 0 0 6 0 8 12 0 12 8 0 0 8 Quando isto impossvel porque toda a linha onde ocorreu o zero na diagonal era constituida por zeros e ento o determinante nulo. Note que o mesmo efeito poderia ser obtido trocando a 2 com a 3 linhas. Estamos agora em condies de generalizar, para o caso n > 2, alguns factos que constatmos para n = 2. Recorde que para matrizes 2 2 o determinante nulo era equivalente a ter as linhas (e tambm as colunas!) da matriz proporcionais e ainda equivalia no existncia de inversa. O prximo teorema generaliza o primeiro destes factos: Teorema 3.2.9- O determinante de uma matriz nulo se e s se as suas filas (paralelas) so linearmente dependentes. Prova: Se as linhas de uma matriz so linearmente dependentes possvel obter o vector nulo fazendo uma combinao linear (no trivial, isto , sem utilizar todos os coeficientes iguais a zero) das linhas da matriz. Se efectuarmos sobre as linhas da matriz a combinao linear correspondente aos coeficientes no nulos, operao que no altera o facto do determinante ser nulo ou no, obtemos uma linha de zeros e portanto o determinante nulo. Se o determinante se anula porque ocoreu uma linha de zeros quando efectuamos a eliminao de Gauss para reduzir a matriz forma tringular. Essa linha de zeros foi obtida fazendo combinaes lineares de linhas da matriz (ou de uma matriz obtida dela por trocas de filas) e portanto as suas linhas so linearmente dependentes. O resultado para colunas decorre do facto de se ter |A| = |A T |. n Estamos agora em condies de generalizar, para o caso n > 2, o outro facto que constatmos para n = 2: o anulamento do determinante equivale no existncia de inversa. Teorema 3.2.10- Uma matriz A, n n, tem inversa se e s se o seu determinante diferente de zero. Prova: Se o determinante de A diferente de zero porque, uma vez reduzida a matriz forma tringular, obtemos todos os elementos diagonais no nulos. ento possvel prosseguir o algoritmo de inverso transformando A na identidade e portanto obtendo A ?1 . Se existe A ?1 teremos I n = E k E k?1 ...E 2 E 1 A onde E 1 , E 2 , ..., E k?1 , E k designam, como usual, as matrizes das transformaes elementares necessrias para reduzir A identidade. Os Corolrios 3.2.2, 3.2.4 e 3.2.8 permitem-nos agora afirmar que temos sempre detI n = detE k detE k?1 ... detE 2 detE 1 detA ou seja detA = 1/detE k detE k?1 ... detE 2 detE 1 0. n

Temos ento, generalizando para matrizes n n com n > 2 o que j sabiamos para o caso 2 2, as seguintes equivalncias de importcia capital: 0A ?1 |A| 0 (independncia linear das filas de A) ou, se preferir, a sua negao: 1 A ?1 |A| = 0 (dependncia linear das filas des A) Pense nestes trs factos equivalentes como a mesma frase dita em ts linguas: a lingua das inversas, a lingua dos determinantes e a lingua da indepndencia linear. Terminamos esta seco com mais um resultado importante: Teorema 3.2.11- Se A e B so matrizes n n temos sempre detAB = detA detB, ou seja, o determinante do produto o produto dos determinantes. Prova: Se |A| 0 ento teremos I n = E k E k?1 ...E 2 E 1 A onde E 1 , E 2 , ..., E k?1 , E k designam, como usual, as matrizes das transformaes elementares necessrias para reduzir A identidade. Este facto implica B = E k E k?1 ...E 2 E 1 AB. Os Corolrios 3.2.2, 3.2.4 e 3.2.8 permitem-nos agora afirmar que temos sempre detB = detE k detE k?1 ... detE 2 detE 1 detAB ou seja detAB = detB/detE k detE k?1 ... detE 2 detE 1 = detA detB. Se A singular, isto se |A| = 0, fcil de ver que AB tambm o . Com efeito repare que as linhas de AB so A 1 B, A 2 B, ...A n B onde A 1 , A 2 , ...A n designam as linhas da matriz A. Para ver que AB tambm singular basta mostrar que existe uma combinao linear (no trivial, isto , sem utilizar todos os coeficientes iguais a zero) das suas linhas que d o vector nulo. Repare que V 1 A 1 B + V 2 A 2 B + ... + V n A n B = V 1 A 1 + V 2 A 2 + ... + V n A n B e portanto a existncia da referida combinao linear assegurada pela dependncia linear das linhas de A. n Uma consequncia imediata deste facto o seguinte: Corolrio 3.2.11- Se a matriz A, n n, tem inversa ento detA ?1 = 1/ detA, ou seja, o determinante da inversa o inverso do determinante. Prova: Se A tem inversa temos AA ?1 = I n . O teorema anterior implica detAA ?1 = detA detA ?1 = detI n = 1. A existncia de inversa assegura que detA 0 e portanto vem detA ?1 = 1/ detA. n

3.3- Desenvolvimentos de Laplace.

Vamos agora olhar para os determinantes de outra forma. A ideia a seguinte: se um determinante 2 2 fcil de calcular porque no tentar o clculo de determinantes 3 3 custa do clculo de determinantes 2 2? De um modo geral vamos tentar calcular determinantes n n custa do clculo de determinantes n ? 1 n ? 1. Como v uma tcnica de dividir para reinar. Para isso vamos comear por algumas definies. Definio 3.3.1- Dada a matriz A, n n, chama-se menor complementar de um elemento a ij de A, designado por m ij , ao determinante n ? 1 n ? 1 que se obtem de A suprimindo a linha i e a coluna j. 1 2 3 Tome por exemplo a matriz A = 5 6 8 9 1 2 4 5 6 7 8 9 dado por m 11 = det dado por m 23 = det = ?3. Se considerar o elemento a 23 = 6 o seu menor complementar . Nela a 11 = 1 e o seu menor complementar

= ?6. 7 8 Agora vamos atribuir a cada posio de uma matriz um sinal de acordo com a seguinte regra: somamos o ndice de linha, i, com o indicice de coluna, j, dessa posio e se a soma, i + j, for par atribuimos o sinal +, se a soma for impar atribuimos o sinal ?.Este sinal pode ser tambm definido como ?1 i+j . Os sinais das vrias posies de uma matriz so fceis de reter pois eles alternam ao longo das linhas e colunas comeando com o sinal + no canto superior esquerdo, como sugerido a seguir: + ? + u ? + Isto leva-nos a uma nova definio: Definio 3.3.2- Dada a matriz A, n n, chama-se co-factor de um elemento a ij de A, designado por A ij , ao determinante n ? 1 n ? 1 que se obtem de A suprimindo a linha i e a coluna j afectado do sinal da posio do elemento, A ij = ?1 i+j m ij , ou seja o co-factor o menor complementar afectado do sinal. + ? ? u + u

_ _ _ b

1 2 3 Tome de novo a matriz A = 5 6 8 9 1 2 4 5 6 7 8 9 A 11 = ?1 1+1 det A 23 = ?1 2+3 det = ?3. Se considerar o elemento a 23 = 6 o seu co-factor ser dado por . Nela a 11 = 1 e o seu co-factor dado por

= +6. 7 8 Com estas definies podemos passar a seguinte resultado importante:

Teorema 3.3.3- (Desenvolvimentos de Laplace) Dada a matriz A, n n, o seu determinante pode ser calculado de uma das seguintes formas: (i) Escolha uma linha arbitrria, i, de A. Ento |A| = a i1 A i1 + a i2 A i2 + ... + a in A in , isto , o determinante de A igual soma dos produtos de cada um dos elementos da linha i pelo respectivo co-factor. (ii) Escolha uma coluna arbitrria, j, de A. Ento |A| = a 1j A 1j + a 2j A 2j + ... + a nj A nj , isto , o determinante de A igual soma dos produtos de cada um dos elementos da coluna j pelo respectivo co-factor. Prova: Para provar este resultado vamos comear por um caso particular simples que iremos sucessivamente complicando at obter o caso geral. Vamos ento comear pelo caso particular de uma matriz que tem todos os elementos da primeira linha iguais a zero excepto, eventualmente, o elemento da primeira coluna. Uma tal matriz ter o formato seguinte: a 11 0 ` 0 A= a 21 a 22 ` a 2n _ _ b _

a n1 a n2 ` a nn Repare agora que todos os termos desta matriz usam um e um s elemento da primeira linha, logo os termos que no so obrigatriamente nulos usam o elemento a 11 na primeira linha, isto , todos os termos no obrigatriamente nulos so da forma a 11 a 2j2 ... a njn . Ento, no determinante de A que a soma de todos estes termos afectados dos respectivos sinais, podemos pr a 11 em evidncia. Nele a 11 vir multiplicado pela soma de produtos de elementos de A, escolhidos um e um s nas linhas 2, 3, ..., n e um e um s nas colunas 2, 3, ..., n, com os respectivos sinais atribuidos da forma usual, ou seja teremos |A| = a 11 A 11 e o teorema fica provado neste caso particular. Tomemos agora o caso, ligeiramente mais complicado, em que a matriz A tem ainda uma linha, i, com todos os elementos iguais a zero excepto, eventualmente, na coluna j. Uma tal matriz ter o formato seguinte: a 11 ` a 1j ` a 1n _ A= 0 _ _ ` a ij ` _ _ 0 _

a n1 ` a nj ` a nn Repare agora que para levar esta matriz ao formato anterior (isto para levar o elemento a ij posio de a 11 ) fazendo trocas consecutivas de linhas e colunas (e portanto deixando todos os outros elementos pela mesma ordem) teriamos que efectuar i ? 1 trocas de linhas e j ? 1 trocas de colunas. O total de trocas seria ento i + j ? 2, um nmero com a mesma paridade de i + j, e portanto teremos |A| = ?1 i+j a ij m ij = a ij A ij e o teorema fica tambm provado neste caso especial. Estamos agora em condies de atacar o caso geral em que a matriz A da forma: a 11 ` a 1j ` a 1n _ A= _ _ _ _ _ a i1 ` a ij ` a in

a n1 ` a nj ` a nn Repare agora que a linha i de A se pode escrever como a soma de n vectores cada um contendo apenas um elemento (eventualmente) diferente de zero, isto teremos: a i1 , ..., a ij , ..., a in = a i1 , ..., 0, ..., 0 + ... + 0, ..., a ij , ..., 0 + ... + 0, ..., 0, ..., a in Ento o Teorema 3.2.6 assegura-nos que o determinante de A a soma de n determinantes cada um

contendo na linha i um destes vectores ou seja mostra, em conjunto com o ltimo caso particular que examinmos, que teremos |A| = a i1 A i1 + a i2 A i2 + ... + a in A in . O resultado para colunas decorre do facto de se ter |A| = |A T |. n Vamos terminar este captulo introduzindo uma noo que nos vai permitir calcular a inversa de uma matriz recorrendo apenas a determinantes. Definio 3.3.4- Dada a matriz A, n n, chama-se matriz adjunta de A, designada por AdjA, a uma matriz tambm n n que se obtem de A substituindo cada elemento a ij pelo respectivo co-factor A ij . (Por vezes define-se a matriz adjunta como sendo a transposta da matriz dos co-factores mas neste curso usaremos a definio acima, isto , sem a transposio). Para tornar esta ideia mais clara vamos dar um exemplo. Tomemos ento a matriz 1 0 0 A= 0 1 0 1 0 1 Ento a sua adjunta ser: + det 1 0 0 1 0 0 0 1 0 0 1 0 ? det + det 0 0 1 1 1 0 1 1 1 0 0 0 + det 0 1 1 0 1 0 1 0 1 0 0 1 1 0 ?1 = 0 1 0 0 0 1

AdjA =

? det + det

? det + det

? det

Esta definio vai permitir-nos enunciar o ltimo resultado deste captulo. Comece por verificar que no exemplo anterior se tem A ?1 = AdjA T . Isto no uma coincidncia, apenas um caso particular (motivado por neste exemplo se ter |A| = 1) de um resultado geral que veremos a seguir: Teorema 3.3.5- Se a inversa da matriz A existe ento A ?1 = AdjA T /|A|. Prova: Para provar este resultado comece por notar que ele equivalente a mostrar que se tem sempre AAdjA T = |A|I n e AdjA T A = |A|I n . Provaremos apenas a primeira destas igualdades deixando a prova da segunda (em tudo idntica prova da primeira) como exerccio. Temos ento que mostrar que a 11 ` a 1n A 11 ` A n1 |A| ` 0 T = = |A|I n AAdjA = _ b _ _ b _ _ b _ a n1 ` a nn A 1n ` A nn 0 ` |A| T Comecemos por verificar que os elementos diagonais de AAdjA so, de facto, todos iguais a |A|. Com efeito o elemento diagonal da linha e coluna i ser dado pelo produto interno da linha i de A pela coluna i de AdjA T ou seja ser a i1 A i1 + a i2 A i2 + ... + a in A in que o desenvolvimento de Laplace do determinante de A pela linha i e portanto igual a |A|. Para ver que todos os outros elementos de AAdjA T so nulos considere o elemento da linha i e coluna j, com i j, desta matriz. Este elemento a i1 A j1 + a i2 A j2 + ... + a in A jn , ou seja, o produto interno da linha i de A pela coluna j i de AdjA T . Considere agora uma matriz , obtida de A, substituindo a linha j i por uma cpia da linha i, como se sugere a seguir:

a 11 ` a 1n _ A= _ _ _ _ _ a i1 ` a in a j1 ` a jn

a 11 ` a 1n _ _ _ _ _ _ = a i1 ` a in a i1 ` a in

a n1 ` a nn a n1 ` a nn Repare que, por um lado, temos || = 0 pois esta matriz tem duas linhas, i e j, iguais. Por outro lado, se fizer o desenvolvimento de Laplace do determinante de pela sua j-sima linha obtem || = a i1 A j1 + a i2 A j2 + ... + a in A jn logo fica provado que a i1 A j1 + a i2 A j2 + ... + a in A jn = 0 para j i. n