MathGymOS/ LGS/ Der Gauß-Algorithmus

(Teilweise aus: Gaußsches Eliminationsverfahren (Wikipedia).)

Ein lineares Gleichungssystem mit drei Variablen bzw. Unbekannten und den jeweiligen Koeffizienten hat die Form:

Es werden schematisch nur die Koeffizienten (a, b, c, e) geschrieben:

Der Algorithmus zur Berechnung der Variablen x, y und z lässt sich in zwei Etappen einteilen:

  1. Vorwärtselimination
  2. Rückwärtseinsetzen (Rücksubstitution)

Im ersten Schritt wird das Gleichungssystem durch Äquivalenzumformungen, bei denen die Informationen des Gleichungssystems nicht geändert werden, in die Stufenform gebracht. Stufenform heißt, dass pro Zeile mindestens eine Variable weniger auftritt, also mindestens eine Variable eliminiert wird, indem die Zeile so umgeformt wird, dass der Koeffizient der Variablen Null ist. Im obigen Beispiel würde man , und eliminieren.

Zum Erreichen der Stufenform sind drei Umformungen zulässig:

  1. Es können (komplette) Zeilen vertauscht werden.
  2. Eine Zeile kann mit einer von Null verschiedenen Zahl multipliziert werden.
  3. Es darf, wie beim Additionsverfahren, eine Zeile oder das Vielfache einer Zeile zu einer anderen Zeile addiert werden.

Im zweiten Schritt werden ausgehend von der letzten Zeile, in der sich nur noch eine Variable befindet, die Variablen ausgerechnet und in die darüberliegende Zeile eingesetzt.

Regel: Anzahl der Lösungen

Ein lineares Gleichungssystem kann eine, unendlich viele oder keine Lösung haben. Diese Unterscheidung kann schon nach der Vorwärtselimination getroffen werden. Das System besitzt:

  • genau eine eindeutige Lösung, wenn kein Element der Diagonalen Null ist.
  • keine oder keine eindeutige Lösungen, wenn ein Element der Diagonalen Null ist.
    Befindet sich die einzige Null auf der Diagonalen in der letzten Zeile , so besitzt das System
    • keine Lösungen, wenn auf der rechten Seite () eine Zahl ungleich Null steht, da es sich dann um eine falsche (unerfüllbare) Aussage handelt (z. B. ).
    • unendlich viele Lösungen und ist nicht eindeutig lösbar, wenn dort eine Null steht, da es sich um eine wahre Aussage () handelt.