Lemma: Matrix ist invertierbar Determinante ist ungleich Null

Sei eine quadratische Matrix.

Dann gilt:

Beweis

Ist , dann muss (nach Definition der Determinante über den Gaußalgorithmus) eines der Pivot-Elemente von Null sein.

Dann gilt aber auch .

Umgekehrt folgt:

Mit der Proposition über die Invertierbarkeit von n x n Matrizen folgt

was zu zeigen war.