Suponga que las matrices , A B son simttricas y positiva definidas.

Entonces A B es positiva definida

si y slo si
1 1
B A

es positiva definida.

Demostracin: Dado que , A B son positiva definidas se tiene que sus races cuadradas
1 1
2 2
, A B existen y
son positiva definidas, con inversas
1 1
2 2
, A B

positiva definidas.
Luego se tiene que
1 1 1 1
2 2 2 2
B A B B B AB I

es tambin positiva definida (teorema 1). Lo cual
nos dice que los valores propios de la matriz
1 1
2 2
B AB I

son todos mayores a 0 (teorema 2). Con lo
cual los valores propios de la matriz positiva definida
1 1
2 2
B AB

son todos mayores a 1. (Note que 0 c
es un valor propio de T I sii existe un vector tal que T I c sii existe un vector (el
mismo de antes) tal que ( 1) T c sii 1 1 c es un valor propio de T )
Luego,

1 1 1 1 1 1
2 2 2 2 2 2
B AB B A A B

. Dado que al conmutar el producto de dos matrices los valores
propios no cambian se tiene que

1 1 1 1 1 1
2 2 2 2 2 2
1
A B B A A B A


tiene los mismos valores propios que
1 1
2 2
B AB

y por tanto estos son mayores a 1. Entonces los valores propios de
1 1
2 2
1
A B A I

son
mayores a 0 (argumento similar al anterior), lo que significa que

1 1 1 1
2 2 2 2
1 1 1
A B A I A B A A

es
positiva definida (teorema 2). Se concluye que

1 1 1 1
2 2 2 2
1 1 1 1
A A B A A A B A


es positiva
definida (teorema 1).


Notas.
Teorema 1. Si , M N son definidas positivas entonces , MNM NMN tambin lo son.
Teorema 2. Sea A una matriz real simtrica. A es positiva definida sii los valores propios de A son
positivos.
Por ltimo, una matriz C es una raz cuadrada de la matriz A si CC A , C se denota por
1
2
A .

*El Teorema 1 y lo encontr en Wikipedia ( http://en.wikipedia.org/wiki/Positive-definite_matrix )