[1, 0, 1, 0]
[1, a, 1, 1]
[2, 0, 2, b]
[a, 0, 0, b]
II - I ; III - 2*I ; IV - a*I
[1, 0, 1, 0]
[0, a, 0, 1]
[0, 0, 0, b]
[0, 0, -a, b]
--> für a ≠ 0 und b ≠ 0 erhält man die Zeilenstufenform.
Man hätte auch die Determinante ungleich Null setzen können.
DET([a, 0, 0, b; 1, 0, 1, 0; 1, a, 1, 1; 2, 0, 2, b]) = - a^2·b ≠ 0 --> a ≠ 0 ∧ b ≠ 0