Supposer d'abord D inversible et multiplier la matrice par une matrice triangulaire par blocs pour obtenir une matrice triangulaire par blocs. Si D n'est pas inversible, alors il existe λ tel que D - λ In soit inversible...
Leçon concernée : 113