DET([1 + a, 3, 0; a, a, 1; -1, 0, 1]) ≠ 0 --> a ≠ 3 ∧ a ≠ -1
Es sollte also für a ≠ 3 ∧ a ≠ -1 eine eindeutige Lösung geben
[x; y; z] = [1 + a, 3, 0; a, a, 1; -1, 0, 1]^(-1)·[1; 0; 1] = [(a + 3)/((a + 1)·(a - 3)); 2/(3 - a); a·(a - 1)/((a + 1)·(a - 3))]