**** Relations between determinants and Eigenvalues

*** Claims:
(1) tr( A) = ∑ aii
i
(2) sum of all possible products of two eigenvalues = sum of determinants of all major second-
order submatrices.
(3) sum of all possible products of three eigenvalues = sum of determinants of all major third-
order submatrices.
(4) For an n × n matrix with eigenvalues λ1 , λ2 ,  , λn ,
∑ λi1λi 2  λik = sum of determinants of all major kth-order submatrices
i1, i 2,ik
k ≤n
i1≠i 2≠≠ik

** Verification for those of a third-order matrix

 a11 a12 a13  a11 − λ a12 a13
 
A =  a21 a22 a23  , det( A − λ I ) = a21 a22 − λ a23 =(λ1 − λ )(λ2 − λ )(λ3 − λ )
 a31 a32 a33  a31 a32 a33 − λ
RHS =−λ 3 + λ 2 (λ1 + λ2 + λ3 ) − λ (λ1λ2 + λ1λ3 + λ2λ3 ) + λ1λ2 λ3
a −λ a23 a21 a23 a21 a22 − λ
(a11 − λ ) 22
LHS = − a12 + a13
a32 a33 − λ a31 a33 − λ a31 a32
 a a23   a21 a23   a21 a22 
= (a11 − λ ) λ 2 − λ (a22 + a33 ) + 22  − a12  −a21λ +  + a13  a31λ + 
 a32 a33   a31 a33   a31 a32 
a a23 a11 a12 a11 a13 
= −λ 3 + λ 2 (a11 + a22 + a33 ) − λ  22 + +  + det( A)
 a32 a33 a21 a22 a31 a33 
** Verification for those of a fourth-order matrix
 a11 a12 a13 a14 
a a23 a24 
 21 a22
A= ,
 a31 a32 a33 a34 
 
 a41 a42 a43 a44 
a11 − λ a12 a13 a14
a21 a22 − λ a23 a24
det( A − λ I ) = (λ1 − λ )(λ2 − λ )(λ3 − λ )(λ4 − λ )
=
a31 a32 a33 − λ a34
a41 a42 a43 a44 − λ
RHS = λ 4 − λ 3 (λ1 + λ2 + λ3 + λ4 ) + λ 2 (λ1λ2 + λ1λ3 + λ1λ4 + λ2λ3 + λ2λ4 + λ3λ4 )
− λ (λ1λ2λ3 + λ1λ2λ4 + λ1λ3λ4 + λ2λ3λ4 ) + λ1λ2λ3λ4

1
 a22 − λ a23 a24 a12 a13 a14
(a11 − λ ) a32
LHS = a33 − λ a34 − a21 a32 a33 − λ a34
a42 a43 a44 − λ a42 a43 a44 − λ
a12 a13 a14 a12 a13 a14
+ a31 a22 − λ a23 a24 − a41 a22 − λ a23 a24
a42 a43 a44 − λ a32 a33 − λ a34

λ 2 terms those of {(a11 − λ ) [ (a22 − λ )(a33 − λ )(a44 − λ ) − a24 a42 (a33 − λ )

=
−a34 a43 (a22 − λ ) − a23a32 (a44 − λ ) ]}
+ those of {−a21a12 (a33 − λ )(a44 − λ )}
+ those of {−a31a13 (a22 − λ )(a44 − λ )}
+ those of {−a41a14 (a22 − λ )(a33 − λ )}
= λ 2 [ a11a22 + a11a33 + a11a44 + a22 a33 + a22 a44 + a33a44
−a24 a42 − a34 a43 − a23a32 − a12 a21 − a13a31 − a14 a41 ]
a a a a a a a a23 a22 a24 a33 a34 
= λ 2  11 12 + 11 13 + 11 14 + 22 + + 
 a21 a22 a31 a33 a41 a44 a32 a33 a42 a44 a43 a44 

(−λ 3 ) terms = a11 + a22 + a33 + a44 = tr( A)

λ= λ1λ2λ3λ4
0 ⇒ det( A) =

 a22 a23 a24


(−λ ) terms
= those of (a11 − λ ) a32 a33 a34
 a42 a43 a44


+(a11 − λ )(−λ )[(a24 a42 − a34 a43 − a23a32 + a22 a33 + a33a44 + a22 a44 )]
     
Ω ⊕ ∆ ∆ ⊕ Ω 
+ ( − λ )(−a21 ){− a14 a42 − a13a32 + a12 a44 + a12 a33}
   
Ω ∆ Ω ∆
+ ( − λ )(−a31 ){− a13a22 − a13a44 + a12 a23 + a14 a43}
   
∆ ⊕ ∆ ⊕
+ ( − λ )(−a41 ){− a12 a24 − a13a34 + a22 a14 + a14 a33}
   
Ω ⊕ ∆ ⊕

 
 a22 a23 a24 a11 a13 a14 a11 a13 
a12 a14 a11 a12
 
(−λ )  a32 a33
= a34 + a31 a33 a34 + a21 a22 a24 + a21 a22 a23 
a a43 a44 a41 a43 a44 a41 a42 a44 a31 a32 a33 
 42     
 ⊕ Ω ∆ 