Menorização: Um Pequeno Adendo à Teoria de

Matrizes e Determinantes
R. M. Nascimento

Resumo—1Este artigo tem por objetivo apresentar e, quem a c

sabe, popularizar uma metodologia ainda pouco explorada na δ ij = = ad − bc (1.6)
teoria aplicada aos determinantes. Traz, ainda, uma abordagem b d
diferenciada para a decomposição LU. Conhecimento prévio
necessário: determinantes 2x2. Essa técnica, em virtude de sua 
b11
P4 a12 P4 a13 P4 a14
simplicidade, merece ser mais bem conhecida.  P3 = b12 = b13 =
Palavras-chave— Matrizes, Determinantes, Decomposição LU.
 a21 a22 a21 a23 a21 a24

 P4 a12 P4 a13 P4 a14
I. MENORIZAÇÃO B⇒ b21 = b22 = b23 =
 a31 a32 a31 a33 a31 a34

O PROCESSO de menorizaçao consiste em transformar
uma matriz quadrada de ordem n em outra de ordem n-1,
sucessivamente, até a matriz 1x1. Os componentes de cada
b31 =

P4 a12
a41 a42
b32 =
P4 a13
a41 a43
P a14
b33 = 4
a41 a44
matriz subsequente são determinantes 2x2 obtidos, na matriz
imediatamente anterior, entre a fila (linha e coluna) de um 
c11
P3 b12 P3 b13
Pivô (elemento diferente de zero e escolhido de modo  P2 = c12 =
aleatório) e os integrantes de seu menor complementar.  b21 b22 b21 b23
C⇒ 
Proposição: concluída a menorização o determinante é  P3 b12 P3 b13
calculado conforme (1.1).  c21 = b31 b32
c22 =
b31 b33
n 
Det ( A) nxn = ∏ P 2 −k
, Pk ≠ 0 ∀k ≠ 1 (1.1)
k =1
k
 d
11 P c
D⇒  P1 =
2 12
Em que Pk representa o Pivô da matriz de ordem “k”. c21 c22

Seja (1.2)~(1.5) a menorização de uma matriz A4x4:
Para a matriz (1.2) o determinante é:
 P4 a12 a13 a14 
a a24 
4

A4 x 4 =
21 a22 a23
 (1.2)
Det ( A) = ∏ Pk2−k = P1(2−1) P2(2−2) P3(2−3) P4(2−4) (1.7)
 a31 a32 a33 a34  k =1

  O modo adotado em (1.2)~(1.5) é o único discutido neste

 a41 a42 a43 a44  texto: propõe como Pivô o primeiro elemento da diagonal
principal de cada matriz, particularidade que o credencia como
 P3 b12 b13 
um procedimento alternativo na resolução de sistemas lineares
B3 x 3 =  b21 b22 b23  (1.3) [1][2][3]. Contudo, difererentes estratégias podem ser
 
b b b33  adotadas. Em [5], p. ex., o último elemento da diagonal
 31 32 principal é preposto como Pivô. Exemplos numéricos para
 P c12  (1.1) podem ser verificados em [4].
C2 x 2 =  2  (1.4) Segue a comprovação do resultado indicado em (1.7).
 c21 c22 
D1 x1 = ( P1 ) (1.5) II. VALIDAÇÃO

Em que: A proposição (1.1) pode ser reescrita na forma (2.1):

A⇒ {P4 = a11
n n
Pk
Se δ ij é um elemento qualquer de B3x3, C2x2 ou D1x1, então: Det ( A) nxn = ∏ Pk1−( k −1) = P1 ∏ , Pk ≠ 0 (2.1)
k =1 k =2 Pkk −1

Dessa forma o determinante da matriz (1.2), calculado em

tth.complexpower@gmail.com
(1.7), assume a forma (2.2):
1
  P4 
4
Pk P P P P
Det ( A) = P1 ∏
a12 a13 a14
k −1
= 1 2 32 43 (2.2)
 
k =2 Pk 1 P2 P3 P4 P3 b12 b13
0 
 P4 P4 P4 
ATs =  c12 
Para uma melhor compreensão do algoritmo de comprovação,
bem como evitar as fórmulas, é útil reorganizar as frações: 0 P2 (2.9)
0
 P4 P3 P4 P3 
P4 P3 P2 P1  
Det ( A) = 1 (2.3) 0 P1 
 0 0
P4 P3 P2 
1 P4 P4 P3 P4 P3 P2

Ou seja, na menorização n→1 são utilizados n Pivôs. O
4. Extrair de AP a matriz triangular inferior Api (2.10) e
ordenamento proposto em (2.3) sugere uma regra para
ajustar suas colunas tendo em vista a diagonal
organizá-los, de forma que:
o Os numeradores são dispostos de modo decrescente,
principal unitária ATi (2.11):
obedecendo à sequência de menorização, enquanto aos  P4 0 0 0 
denominadores atribui-se o produto dos numeradores  P3 
das frações precedentes.  a21 0 0 
 P4 
APi =  
Segue a demonstração de (1.1) por decomposição LU (2.14) e
 a31 b21 P2 (2.10)
do Teorema de Binet (2.12). 0 
 P4 P4 P3 
A. DECOMPOSIÇÃO LU  
 a41 b31 c21 P1 
 P4 P4 P3 P4 P3 P2 
1. Normatizar a menorização (1.2)~(1.5): 
 P4 a12 a13 a14  ⇓
a a22 a23 a24 
A4 x 4 =  21 (2.4)
 1 0 0 0
 a31 a32 a33 a34  a 
   21 1 0 0
 a41 a42 a43 a44   P4 
APi ( i , j )
 P3 b12 b13  ATi ( i , j ) = =  a31 b21  (2.11)
APi ( j , j )  1 0
B3 x 3 =  b21 b22 b23 
1  P4 P3 
(2.5)
P4    
 b31 b32 b33   a41 b31 c21
1 
P P3 P2
1  P2 c12   4 
C2 x 2 =
P4 P3  c21 c22 
(2.6)

O leitor pode constatar o mesmo resultado se, de
1 modo similar, a diagonal principal unitária for
D1 x1 = ( P1 ) (2.7) ajustada nas linhas de (2.9) enquanto (2.10)
P4 P3 P2 permanece inalterada.

2. De (2.4)~(2.7) montar a matriz AP (4x4) com as filas de 5. Aplicar o Teorema de Binet:

Pivôs (2.8):
 P4 a12 a13 a14  Det ( ATi . ATs ) = Det ( ATi ).Det ( ATs ) (2.12)
 P3 b12 b13  Det ( A)
 a21    
 P4 P4 P4  P P P P1 
Det ( ATi . ATs ) = (1)  4 3 2
AP =  c12   (2.13)
 a31 b21 P2 (2.8)  1 P4 P4 P3 P4 P3 P2 
 P4 P4 P3 P4 P3 
 
 a41 b31 c21 P1  6. Completar a prova com a verificação da igualdade
 P4 P4 P3 P4 P3 P2 
 A = ATi . ATs (2.14):
 
L U
3. Extrair de AP a matriz triangular superior ATs (2.9):

2
 U
L  
0 0   
  a11
 1 0

P a a a 
a  4 12 13 14

 21 1 0 0 P3 b12 b13 
 P4  0 P P4 P4 

A = a31 b21  4
 (2.14)
 1 0 P2 c12 
 P4 P3  0 0
a  P4 P3 P4 P3 
b c 
 41 31 21
1   P1 
P
 4 P3 P2  0 0 0
P4 P3 P2 

 a11 a12 a13 a14 
 
  a21   a21 P  a21 b   a21 b13  
  P P4   a12 + 3   a13 + 12   a14 +  
  P4 P4   P4 P4  P
 4 P4 
 4  
A =   a31   a31 b P3   a31 b b P   a31 b21 b13 c12 

 P   a12 + 21   a13 + 21 12 + 2   a14 + +  
  P4 4 

 P4
 P3 P4   P4 P3 P4 P4 P3   4P P3 P 4 P P
4 3 

 
 a   a41 b P3   a41 b b c P2   a41 b31 b13 c21 c12 P1  
  41 P4   a12 + 31   a13 + 31 12 + 21   a14 + + + 
  P4   P4 P P   P4 P P P P P   P4 P3 P4 P2 P4 P3 P4 P3 P2  
   3 4   3 4 2 4 3  

{ A(1,1) = a11 }{ A(1,2) = a12 }{ A(1,3) = a13 }{ A(1,4) = a14 }{ A(2,1) = a21 }

  a21a12 + P4 a22 − a21a12   a21a13 + P4 a23 − a21a13 
  A(2,2) = = a22   A(2,3) = = a23 
  P4   P4 

  a21a14 + P4 a24 − a21a14   a31a12 + P4 a32 − a31a12 
 A
 (2,4) =
P4
= a 24  { A(3,1) = a 31 }  A (3,2) =
P4
= a 32 
 
 
 
 

  A = a31a13 + b21b12 + P3 b22 − b21b12 = a31a13 + P4 a33 − a31a13 = a 

  (3,3) 33 
P4 P4 P3 P4 

  a a b b + P3 b23 − b21b13 a31a14 + P4 a34 − a31a14 
  A(3,4 ) = 31 14 + 21 13 = = a34 
A( i , j ) ⇒   P4 P4 P3 P4 

  a41a12 + P4 a42 − a41a12 
{ A(4,1) = a41 }  A(4,2) = = a42 
  P4 

  A = a41a13 + b31b12 + P3 b32 − b31b12 = a41a13 + P4 a43 − a41a13 = a 
  (4,3) P4 P4 P3 P4
43 

 
 
 a a b b c c + P2 c22 − c21c12 a41a14 b31b13 + P3 b33 − b31b13 
  A(4,4 ) = 41 14 + 31 13 + 21 12 = + =
 P4 P4 P3 P4 P3 P2 P4 P4 P3 
 
  a41a14 + P4 a44 − a41a14 
 = a44 
 P4 

3
 III. CONSIDERAÇÃO FINAL

É compreensível a inexistência de menções, na teoria

vigente, sobre a metodologia aqui discutida. Afinal, sua
aplicação depende de uma notória restrição: Pk≠0. Há séculos
procedimentos têm sido utilizados de modo antagônico, com
inegável êxito. A menorização oferece, no entanto, além da
praticidade, mais uma singular relação entre os números, o
que torna a matemática ainda mais bela e divertida!

AGRADECIMENTOS

“Àquele que pode, por sua força que opera em nós,

realizar infinitamente mais do que tudo o que pedimos e
imaginamos; a Ele seja dada a glória na Igreja e em Cristo
Jesus, por todas as gerações, através de todos os séculos.
Assim seja!” (Ef 3,20-21)

REFERÊNCIAS

[1] M. Sadosky, Cálculo Numérico e Gráfico. Interciência, Rio de Janeiro,

pp. 87-90, 1980.
[2] C. Soares. (2019, Dezembro). Solução de Sistemas de Equações
Lineares- Método de Castilho [Online]. Disponível em:
https://camilasoares.wordpress.com/2009/03/02/solucao-de-sistemas-
de-equacoes-lineares-%E2%80%93-metodo-de-castilho/
[3] K. Kilhian. (2020, Janeiro). Método de Castilho [Online]. Disponível
em: https://www.obaricentrodamente.com/2008/11/mtodo-de-
castilho.html
[4] R. M. Nascimento. (2020, Janeiro). Cálculo do determinante de uma
matriz genérica nxn [Online], Disponível em:
http://www.somatematica.com.br/trabalhos/calc_det.zip
[5] R. M. Nascimento. (2020, Janeiro). Linear algebra with pivoting
[Online], Disponível em:
https://www.mathworks.com/matlabcentral/fileexchange/7987-detp

Reinaldo Mauricio do Nascimento é Técnico em

Eletrotécnica (CEFET-MG-1978), Técnico em Eletrônica
(COTEMIG-MG-1989) e graduado em Engenharia de
Controle e Automação pela Faculdade Pitágoras de Belo
Horizonte – MG – 2013.