Mtodo de Cramer

Rubn Panta Pazos rpazos@unisc.br , rpp@impa.br

Introduo
Seja o conjunto de equaes lineares

e consideremos o determinante da matriz do sistema

Multiplicando este determinante por x, e usando a propriedade dos determinantes de que a multiplicao por umaa constante equivalente a multiplicar cada elemento de uma das colunas por a constante, isto

Outra propriedade dos determinantes permite adicionar o produto de uma constante vezes cad elemento de uma coluna aos correspondents elementos de outra coluna sem que mude o valor do determinante, por isso podemos somar y vezes a coluna segunda e z vezes a coluna terceira primeira coluna sem que varie o determinante anterior,

Se todos os elementos d1, d2, d3 so nulos, then a ltima expresso reduzida a x D = 0, de forma que o sistema possui solues no degeneradas (i.e., solues diferentes de (0, 0, 0)) s se D = 0 (Em cujo caso existe uma famlia de solues). Se d 0 e D = 0, o sistema no possui soluo nica. Se pelo contrrio d 0 e D 0 , ento as solues so dadas por

x=

d1 d2 d3

. Com certeza, o mtodo anterior, conhecido como regra de Cramer extende-se a um sistema de n equaes lineares com n incgnitas.

b1 b2 b3 D

c1 c2 c3

, e em forma an log a

y=

a1 a2 a3

d1 d2 d3 D

c1 c2 c3

e z=

a1 a2 a3

b1 d1 b2 d 2 b3 d 3 D

Ilustrao
> with(linalg):
Warning, the protected names norm and trace have been redefined and unprotected

Problema. Resolva o sistema de equaes lineares seguinte: 2 x + y 3 z = 1 x + 3 y + 2 z = 12 3 x + y 3 z = 0 > A:= matrix([[2,1,-3],[-1,3,2],[3,1,-3]]); 2 1 A := -1 3 3 1 > B:=[-1,12,0]; B := [ -1, 12, 0 ] Define-se o determinante da matriz do sistema. > Delta[A]:=det(A); A := 11 Agora definem-se os trs determinantes que resultam de susbtituir a coluna n-sima (n = 1, 2 ou 3) da matriz do sistema pelo vetor coluna dos termos independentes (vetor B) > Delta[x]:=det(augment(B,submatrix(A,1..3,[2,3]))); x := 11 > Delta[y]:=det(swapcol(augment(B,(submatrix(A,1..3,[1,3]))),1,2) ); y := 33 > Delta[z]:=det(augment(B,submatrix(A,1..3,[1,2]))); z := 22 A soluo do sistema consequentemente: > x0:=Delta[x]/Delta[A]; x0 := 1 > y0:=Delta[y]/Delta[A]; y0 := 3 -3 2 -3

> z0:=Delta[z]/Delta[A]; z0 := 2 Santa Cruz do Sul, 12 de Agosoto de 2005. __________________________________________________________________________

comando Maple

significado

__________________________________________________________________________ augment(U,V) : matriz aumentada de U e V, tendo estas matrizes igual nmero de linhas. det(U) : calcula o determinante da matriz quadrada U. a b matrix([[ a,b ],[ c,d ]]): gera a matriz . c d submatrix(A,r1..r3,[i,j]): submatriz da matriz A das linhas r1 at r3, e cujas colunas so i e j. swapcol(A, c1, c2): troca as coluna c1 e c2 na matriz A. swaprow(A, r1, r2): troca as linhas r1 e r2 na matriz A.