Si
A=[A11A12A21A22]
es una partición de A tal que A11 y A22 son r×r y (nr)×(nr) respectivamente, entonces
det
con igualdad si y sólo si A es diagonal de bloque,
Pista: Utilice \det(A+B)^{\frac{1}{n}} \geq \det(A)^{\frac{1}{n}} + \det(B)^{\frac{1}{n}} con
B=\begin{bmatrix} A_{11} & -A_{12} \\ -A_{21} & A_{22} \\ \end{bmatrix}
¿Por qué B ¿positiva definida?