nn n n n n
n n n n n n
n n
n n
a a a a
a a a a
a a a a
a a a a
A
1 2 1
1 1 1 2 1 1 1
2 1 2 22 21
1 1 1 12 11
Ento pode-se definir o cofator i,j de A como o esca-
lar
ij
C definido por
( )
ij
j i
ij
M C
+
= 1 (1.1)
onde
ij
M o menor (ou primeiro menor) i,j da ma-
triz A, que , o determinante da matriz de dimenso
) 1 ( ) 1 ( n n que resulta da eliminao da i-
sima linha e j-sima coluna de A.
Outro menor que ser de essencial importncia
para este artigo o segundo menor que definido
como
2 1 2 1
,
j j i i
M
que , o sub-determinante da matriz de ordem
) 2 ( n que resulta da eliminao das linhas
2 1
, i i
e colunas
2 1
, j j de A. Pode-se ento generalizar, de
forma que o menor superior de ordem r seja definido
como
r r
j j j i i i
M
2 1 2 1
, ,
O qual chamado r-simo menor da matriz, que , o
sub-determinante da matriz de ordem ) ( r n que
resulta da eliminao das linhas
r
i i i
2 1
, e colunas
r
j j j
2 1
, de A.
H tambm trs teoremas sobre matrizes que se-
ro de grande utilidade para este trabalho.
Teorema de Laplace: O determinante de uma
matriz quadrada A de ordem 2 > n igual a soma
dos produtos dos elementos de uma fila qual-
quer(linha ou coluna) por seus respectivos cofato-
res.
ij
n
i
ij ij
n
j
ij
C a C a A = =
= = 1 1
) det( (1.2)
onde
ij
a representa o elemento da i-sima linha e j-
-sima coluna da matriz A.
Teorema de Jacobi: Se a uma das filas de uma
matriz quadrada A, de ordem 2 > n , adicionarmos
um mltiplo de uma outra fila qualquer paralela,
obtermos uma matriz F tal que
) det( ) det( F A = .
Teorema de Cauchy: Em toda matriz quadra-
da A, de ordem 2 > n , a soma dos produtos dos
elementos de uma fila pelos cofatores dos corres-
pondentes de uma fila paralela igual a zero.
0
1 1
= =
= =
n
r
rs rk
n
r
sr kr
C a C a (1.3)
com s k = .
2 Mtodo Proposto
O mtodo consiste em se calcular o determinante de
uma matriz de forma diferente da definio de La-
place, para introduzi-lo se faz necessrio a criao
de um teorema que o fundamente.
Teorema de Jacobi
Prova:
Para 2 = n
Considere a matriz A de ordem 2
11
M ,
n
M
1
,
1 n
M ,
nn
M sero denominados respectiva-
mente: menor superior esquerdo, menor superior direito, menor
inferior esquerdo e menor inferior direito.
(
=
22 21
12 11
a a
a a
A
e seu determinante, o qual denotaremos A d = .
Usando o teorema de Laplace e o Teorema de
Cauchy pode-se montar o seguinte conjunto de equa-
es
d M a M a =
12 12 11 11
(2.2)
d M a M a = +
22 22 21 21
(2.3)
0
12 22 11 21
= M a M a (2.4)
0
22 12 21 11
= + M a M a (2.5)
Tomando como varveis do sistema
11
a ,
12
a ,
21
a e
22
a e resolvendo
22
a por Cramer temos os seguin-
tes determinantes
0 0
0 0
0 0
0 0
22 21
12 11
22 21
12 11
M M
M M
M M
M M
= A
0 0
0 0 0
0 0
0
22 21
11
21
12 11
22
M M
M
d M
d M M
a
= A
logo,
21 12 22 11
11
22
22
M M M M
d M
a
a
=
A
A
= (2.6)
mas
11 22
M a = , assim, a partir da equao (2.6)
obtm-se
21 12 22 11
M M M M d = (2.7)
esta ltima equao ser discutida posteriormente
pelo colorrio do teorema de Jacobi. Por enquanto
basta aceitarmos que para 2 = n o sub-
determinante (denominador) da equao (2.1) 1.
Para 3 = n
Seja A uma matriz de ordem 3 e seja d o determi-
nante de A
(
(
(
=
33 32 31
23 22 21
13 12 11
a a a
a a a
a a a
A
Para esta matriz tem-se os seguintes menores rele-
vantes para a prova
13 22 23 12
23 22
13 12
31
a a a a
a a
a a
M = = (2.8)
21 12 22 11
22 21
12 11
33
a a a a
a a
a a
M = = (2.9)
22 22 3 1 , 3 1
a a M = = (2.10)
Usando a expanso em Laplace para a primeira li-
nha encontra-se
.
13 13 12 12 11 11
M a M a M a d + = (2.11)
Multiplicando-se (2.11) por
3 3 , 1 1
M segue que
,
13 22 13
12 22 12 11 22 11 3 1 , 3 1
M a a
M a a M a a d M
+
=
(2.12)
e substituindo-se (2.8) e (2.9) reescreve-se (2.12)
como
( )
( ) ,
13 31 23 12
12 22 12
11 21 12 33 3 1 , 3 1
M M a a
M a a
M a a M d M
+
+ =
(2.13)
que pode-ser reescrita como
|
|
13 23
12 22 11 21 12
31 13 33 11 3 1 , 3 1
M a
M a M a a
M M M M d M
+
+
=
(2.14)
Pelo teorema de Cauchy o termo dentro do colchete
da Eq.(2.14) zero, logo, para o determinante da
matriz de terceira ordem tem-se
3 1 , 3 1
31 13 33 11
M
M M M M
d
= (2.15)
Para 4 = n
Considere agora A uma matriz de ordem 4
(
(
(
(
=
44 43 42 41
34 33 32 31
24 23 22 21
14 13 12 11
a a a a
a a a a
a a a a
a a a a
A
com seu determinante d.
Para esta matriz os seguintes primeiros menores se
fazem necessrios
34 33 32
24 23 22
14 13 12
41
a a a
a a a
a a a
M = ;
33 32 31
23 22 21
13 12 11
44
a a a
a a a
a a a
M = ;
33 32
23 22
4 1 , 4 1
a a
a a
M = ;
que leva
34 22 13 33 24 12
32 23 14 33 22 14
32 24 13 34 23 12 41
a a a a a a
a a a a a a
a a a a a a M
+
+ =
(2.16)
31 22 13 33 21 12
32 23 11 32 21 13
31 23 12 33 22 11 44
a a a a a a
a a a a a a
a a a a a a M
+
+ =
(2.17)
32 23 33 22 4 1 , 4 1
a a a a M = (2.18)
Pelo teorema de Laplace
.
14 14 13 13
12 12 11 11
M a M a
M a M a d
+
=
(2.19)
Multiplicando (2.19) por (2.18) tem-se
( )
( )
( )
( )
14 32 23 14 33 22 14
13 32 23 33 22 13
12 32 23 33 22 12
11 32 23 11 33 22 11 4 1 , 4 1
.
M a a a a a a
M a a a a a
M a a a a a
M a a a a a a d M
+
=
(2.21)
De (2.16) e (2.17) reescreve-se (2.21) como
(
)
( )
( )
(
)
14 34 22 13 33 24 12
32 24 13 34 23 12 41
13 32 23 33 22 13
12 32 23 33 22 12
11 31 22 13 31 23 12
32 21 13 33 21 12 44
4 1 , 4 1
.
M a a a a a a
a a a a a a M
M a a a a a
M a a a a a
M a a a a a a
a a a a a a M
d M
+ +
+
+
+
=
(2.22)
Usando Cauchy e reorganizando (2.22) chega-se
.
12 32
13 33
12 22
13 23
14 34 13 33 11 31 22 13
14 34 12 32 31 21 23 12
14 24 13 23 11 21 32 13
14 24 12 22 11 21 33 12
41 14 44 11 4 1 , 4 1
(
(
+ +
(
(
(
(
+
(
(
+
=
M a
M a
M a
M a
M a M a M a a a
M a M a M a a a
M a M a M a a a
M a M a M a a a
M M M M d M
(2.23)
O terceiro e quinto termos e o quarto e o sexto termo
do lado direito de (2.23) se cancelam, logo o deter-
minante dado por
4 1 , 4 1
41 14 44 11
M
M M M M
d
= (2.24)
Para 4 > n
Para provar para 4 > n usa-se os seguintes passos:
Passo 1: Multiplica-se a soma de Laplace (Eq. (1.2))
para primeira linha
(2.26)
onde o bloco 0 de A uma matriz nula (n-p)x(n-q).
Prova:
Sem perda de generalidade ser considerado
q p > . Em todos os casos 0
1
=
n
M , logo de (2.1)
n n
nn
M
M M
A
1 , 1
11
= . (2.27)
Para 2 = n
Considere a matriz A de ordem 2
=
33 2 1 , 2 1
3 1 , 3 1
33 11
(2.29)
Para 4 = n
Seja agora A uma matriz de ordem 4
44 43
34 33
24 23 22 21
14 13 12 11
0 0
0 0
a a
a a
a a a a
a a a a
A = ;
ou
44
34 33 32 31
24 23 22 21
14 13 12 11
0 0 0 a
a a a a
a a a a
a a a a
A = .
Para a primeira possibilidade de A :
4 3 , 4 3
M B = e
2 1 , 2 1
M E = ; com menores dados
por
4 2 1 , 4 2 1
4 1 , 4 1 2 1 , 2 1
11
M
M M
M
= ; (2.30)
4 3 1 , 4 3 1
4 1 , 4 1 4 3 , 4 3
44
M
M M
M
= ; (2.31)
4 3 2 1 , 4 3 2 1
4 3 1 , 4 3 1 4 2 1 , 4 2 1
4 1 , 4 1
M
M M
M
= ; (2.32)
como 1
4 3 2 1 , 4 3 2 1
= M
4 3 1 , 4 3 1 4 2 1 , 4 2 1 4 1 , 4 1
M M M = . (2.33)
Substituindo (2.30) , (2.31) e (2.33) em (2.27)
E B M M d = =
4 3 , 4 3 2 1 , 2 1
. . (2.34)
Para a segunda possibilidade de A:
44
M B = ,
3 2 1 , 3 2 1
M E = ; com
11
M e d dados por
4 2 1 , 4 2 1
4 1 , 4 1 2 1 , 2 1
11
M
M M
M
= ; (2.35)
4 2 1 , 4 2 1
44 2 1 , 2 1
M
M M
d
= (2.36)
Mas,
4 2 1 , 4 2 1 2 1 , 2 1 3 2 1 , 3 2 1
M M M E = = , portan-
to
E B d = (2.37)
Para 4 > n
Para provar para 4 > n usa-se as seguintes relaes
generalizadas
n n
n n
M
M M
M
2 1 , 2 1
1 , 1 2 1 , 2 1
11
= , (2.38)
n n n n
n n n n n n
nn
M
M M
M
1 1 , 1 1
1 , 1 1 , 1
= . (2.39)
Substituindo (2.38) e (2.39) em (2.27)
n n n n n n
n n n n n n
M M
M M M
d
1 1 , 1 1 2 1 , 2 1
1 , 1 1 , 1 2 1 , 2 1
= (2.40)
com
n n n n
n n n n n n
n n
M
M M
M
1 2 1 , 1 2 1
1 1 , 1 1 2 1 , 2 1
1 , 1
= . (2.41)
Usando (2.40) e (2.41) e fazendo-se as devidas subs-
tituies para cada caso prova-se (2.26) para qual-
quer 4 > n . Assim, a prova est concluda.
3 Exemplos Numricos
Para fixar o mtodo mostrar-se- agora alguns
exemplos numricos. Seja as seguintes matrizes A,B
e C, calcular o determinante de cada uma delas:
(
(
(
=
9 15 7
6 0 5
4 5 2
A ;
(
(
(
(
=
10 4 5 3
9 6 7 4
6 5 4 3
5 2 3 2
B ;
(
(
(
(
(
(
=
2 6 2 10 5
3 9 3 12 6
1 6 1 8 4
1 1 1 4 2
1 2 1 3 2
C ;
Para o clculo do determinante da matriz A faz-se
uso do teorema de Jacobi para poder se utilizar a
Eq.(2.1). Assim subtraindo-se a segunda coluna da
primeira obtm-se
(
(
(
=
9 8 7
6 5 5
4 3 2
A
Portanto,
5
9 8
6 5
8 7
5 5
6 5
4 3
5 5
3 2
) det(
= A
45
5
3 75
2 25
) det( =
= A
Para a matriz B temos os seguintes menores
41
10 4 5
9 6 7
6 5 4
11
=
= M ;
3
4 5 3
6 7 4
5 4 3
14
=
= M ;
16
9 6 7
6 5 4
5 2 3
41
=
= M ;
6
6 7 4
5 4 3
2 3 2
44
=
= M ;
11
6 7
5 4
4 1 , 4 1
=
= M .
Assim,
18
11
6 16
3 41
) det( =
= B .
Para a matriz C verifica-se que 0
15
= M pois a
primeira coluna e quarta coluna da matriz que se
obtm eliminando a primeira linha e quinta coluna
de C so proporcionais, logo pela Eq.(2.1) basta
calcularmos para o numerador o produto
55 11
M M . Estes menores junto com o segundo
menor de (2.1) so dados por:
2 6 2 10
3 9 3 12
1 6 1 8
1 1 1 4
11
= M ;
9 3 12 6
6 1 8 4
1 1 4 2
2 1 3 2
55
= M ;
24
9 12
5 4
9 3 12
6 1 8
1 1 4
5 1 , 5 1
=
= = M ;
observa-se ainda que o menor superior esquerdo de
11
M 0 pois a primeira coluna simtrica da ter-
ceira, assim
11
M dado por:
324
9 3
6 1
3 9 3
1 6 1
1 1 1
6 2 10
9 3 12
6 1 8
11
=
= M ;
para
55
M observa-se que o menor superior direito
0 pois a segunda coluna duas vezes a primeira,
assim
55
M dado por:
84
1 8
1 4
1 8 4
1 4 2
1 3 2
9 3 12
6 1 8
1 1 4
55
=
= M ;
assim,
1134
24
84 324
) det( =
= C .
4 Comparaes com Outros Mtodos
O mtodo de expandir um determinante de acordo
com os elementos de uma linha ou coluna em geral
de servio prtico somente quando o determinante
no maior do que 3. Para ordens maiores o proces-
so se repete e o nmero de termos torna-se muito
grande. Por esta razo mtodos muito menos traba-
lhosos baseados em condensao, que uma reduo
sistemtica de um determinante para um de ordem
inferior, so muitos superiores na prtica [4]. A
maioria deles so variantes de um mtodo atribudo
a Chi(1853), mas praticamente usado por Gauss
mais de quarenta anos antes em clculo de determi-
nantes simtricos. Este artigo mostra mais uma for-
ma de calcular determinantes reduzindo a sua or-
dem, no entanto, mais do que um mtodo que ba-
seia-se na manipulao de linhas e colunas, como
o caso dos mtodos de condensao, esta outra forma
de calcular determinantes na verdade uma defini-
o de um determinante de uma matriz de ordem
maior que 2. De forma que toda matriz tem cinco
menores(determinantes de sub-matrizes da matriz
principal) os quais foram chamados de menores su-
ficientes, que podem ser usados para se calcular o
determinante da matriz principal, isso sem nenhum
custo de manipulao de linhas ou colunas para tor-
nar a matriz condensada. Esta condensao j in-
trnseca a matriz.
Para efeito de comparao considere uma matriz
A de ordem n, por expanso em menores de Laplace
se teria n determinantes de ordem (n-1), enquanto
por esta nova definio se teria quatro determinantes
de ordem (n-1) e um de ordem (n-2). claro pela
Eq.(2.1) que deve-se garantir que o denominador
desta equao seja diferente de zero, o que fcil de
conseguir aplicando o teorema de Jacobi (da seo
1) como visto no exerccio da seo 3. Comparando
ainda mais as duas maneiras de clculo de determi-
nantes, quantos determinantes de segunda ordem
seriam necessrios pelos dois mtodos? E se for feito
um hbrido? Isto , reduzir a quantidade de determi-
nantes usando (2.1) e depois disso aplicar Laplace,
isto para 4 > n (isto quer dizer que os determinan-
tes para matrizes de terceira e quarta ordem seriam
feito por Laplace).
Primeiro, definamos
n
S como a quantidade de
determinantes de ordem 2 necessrios para se calcu-
lar o determinante da matriz de ordem n. Assim ,
1 n
S ,
2 n
S so respectivamente a quantidade de
determinantes de ordem 2 para matrizes de ordem n-
1 e n-2.
Por Laplace tem-se
2
! n
S
n
= . (2.42)
Pelo mtodo proposto obtm-se uma equao recur-
siva dada por
1 4
2 1
+ + =
n n n
S S S , (2.43)
com 0
1
= S e 1
2
= S .
Pelo hbrido encontra-se
2 1
4
+ =
n n n
S S S (2.44)
A tabela a seguir expressa os trs casos
Tabela 4.1 Comparao entre o Mtodo Propos-
to, Laplace, e o Hbrido.
n
n
S
Lapla-
ce
n
S
Mtodo de
Jacobi
n
S
Hbrido
3 3 6 3
4 12 22 12
5 60 94 51
6 360 407 216
7 2520 1628 915
Expressando em termos de grficos tem-se
Figura 4.1 Grfico que Relaciona a Quantidade de
Menores de Segunda Ordem para Trs Mtodos
Fica evidente pelo grfico que por Laplace (linha
pontilhada), a medida que a ordem da matriz au-
menta ele se distancia consideravelmente do mtodo
proposto (linha tracejada) e do hbrido (linha cont-
nua), logo torna-se claro que neste novo mtodo e no
hbrido a quantidade de determinantes de ordem 2
consideravelmente muito menor do que usando La-
place.
5 Concluso
Neste mtodo para clculo de determinantes mostro-
se sua vantagem com relao ao mtodo de Laplace
por usar muito menos menores para clculo de de-
terminantes, observou-se tambm que a Eq.(2.1)
na verdade uma definio de um determinante para
matrizes de ordem superior a dois. Assim provou-se
que, para qualquer matriz superior a dois possvel
calcular seu determinante usando apenas quatro
primeiros menores e um segundo menor. A partir do
teorema (2.1) foram obtidos dois colorrios (ambos,
contribuio dos autores); o primeiro, mostrou que o
determinante de uma matriz vazia um, o segundo
mostrou uma propriedade de determinante bastante
conhecida no meio cientfico. Deseja-se ressaltar que
foi feito pelos autores testes com matrizes de ordem
n superior a mil (usando o MATLAB), e compro-
vou-se a veracidade do novo mtodo pois o determi-
nante usando a condensao dada (pelo teore-
ma(2.1)), da ordem n para n-1, foi o mesmo para o
determinante calculado para ordem original da ma-
triz (n). Espera-se que, com os resultados aqui obti-
dos dar uma contribuio na teoria de determinan-
tes, to largamente usado na soluo de sistemas
lineares. E que, como na histria da teoria de deter-
minantes, este trabalho sirva para o surgimento de
outros trabalhos relacionados, que contribuam para
expanso do assunto.
Referncias Bibliogrficas
[1] Muir, Thomas. (1911). The Theory of Determi-
nants in the Historical Order of Development
Vol.1 e Vol.2. The Macmillan Company.
[2] Muir, Thomas. (1930). Contributions to the His-
tory of Determinants. 1900-1920. Blackie f Son,
Ltd., Glasgoio
[3] Watikins, Davis S. (2002). Fundamentals of Ma-
trix Computations, John Wiley & Sons, Inc.,
New York.
[4] Aitken A.C. (1944). Determinants and Matrices.
Interscience Publishers, Inc. New York.
[5] Ferrar, W. L. (1957). Algebra a Text-Book of
Determinants, Matrices, and Algebraic Forms.
Oxford University Press, Amen House, London
E.C.4.
[6] Ltkepohl H. (1996). Handbook of Matrices.
John Wiley & Sons. Inc.
[7] Mirsky, L. (1955). An Introduction to Linear
Algebra, Oxford University Press, Amen House,
London E.C.4.
[8] Bronson, Richard (1989). Theory and Problems
of Matrix Operations. McGraw-Hill.
[9] Vein, Robert; Dale, Paul (1999). Determinants
and their Applications in Mathematical Physics.
. Springer Verlag New York Inc.
Elide Trovo Moraes , desde de-
zembro de 1997, professor do Depar-
tamento de Eletroeletrncia do Institu-
to Federal de Educao Cincia e Tec-
nologia do Maranho (IFMA) no qual
ministra as disciplinas de Eletrnica Analgica,
Eletrnica Digital, Circuito para Comunicao,
Filtros Eltricos, Instrumentao Eletrnica, Ele-
trnica de Potncia, Controle Analgico, Contro-
le Digital e Anlise de Circuitos. No entanto,
como existe uma grande ligao da Matemtica
Engenharia interessa-se com assuntos de mate-
mtica aplicada a esta rea. Graduou-se em En-
genharia Eltrica pela Universidade Federal do
Maranho (UFMA), So Lus , Maranho, Bra-
sil, em 1995. Obteve o ttulo de mestre em Enge-
nharia Eltrica pela Universidade Federal do
Maranho (UFMA), So Lus , Maranho, Bra-
sil, em 2000.