Lineares Gleichungssystem/Eliminationslemma/Fakt/Beweis

Beweis

Durch Umnummerieren kann man  ${}x=x_{1}$  erreichen. Es sei ${}G$ die Gleichung

${}ax_{1}+\sum _{i=2}^{n}a_{i}x_{i}=b\,$

(mit $a\neq 0$) und ${}H$ die Gleichung

${}cx_{1}+\sum _{i=2}^{n}c_{i}x_{i}=d\,.$

Dann hat die Gleichung

${}H'=H-{\frac {c}{a}}G\,$

die Gestalt

${}\sum _{i=2}^{n}{\left(c_{i}-{\frac {c}{a}}a_{i}\right)}x_{i}=d-{\frac {c}{a}}b\,,$

in der ${}x_{1}$ nicht mehr vorkommt. Wegen  ${}H=H'+{\frac {c}{a}}G$  sind die Gleichungssysteme äquivalent.

Zur bewiesenen Aussage