x - a·y = 1
b·y + z = 1
b·x - a·z = 1
a·x + (b^2 - a^2)·y - a·b·z = 1
II ; III - b*I ; IV - a*I
b·y + z = 1
a·b·y - a·z = 1 - b
b^2·y - a·b·z = 1 - a
II - a*I ; III - b*I
- 2·a·z = -a - b + 1
- b·z·(a + 1) = -a - b + 1
Beide Gleichungen mal nach z auflösen:
z = (a + b - 1)/(2·a)
z = (a + b - 1)/(b·(a + 1))
Könnte man jetzt aus diesen Gleichungen die Bedingungen herleiten?