Io posso "scriverti i passaggi completi per ottenere quel sistema finale", però iniziando dall'inizio "retta passante per A(1, 2, - 1) e per B(0, 1, 1)"; non dal tuo risultato intermedio "x=y-1= (z-1)/(-2)" perché se non lo spieghi io non posso sapere se sia corretto o no. Casomai, dopo.
------------------------------
PASSAGGI COMPLETI
Le coordinate del punto cursore P che percorre la retta AB congiungente A(1, 2, - 1) con B(0, 1, 1) costituiscono le equazioni parametriche di AB mentre "quel sistema finale", se ne è un equivalente corretto, è l'espressione cartesiana della medesima retta. Se così è allora resta da dimostrare solo l'equivalenza con "x=y-1= (z-1)/(-2)".
---------------
A) Costruire il cursore.
* P = A + k*(B - A) = (1, 2, - 1) + k*((0, 1, 1) - (1, 2, - 1)) = (1 - k, 2 - k, 2*k - 1)
---------------
B) Formare le equazioni parametriche di AB.
* (x = 1 - k) & (y = 2 - k) & (z = 2*k - 1)
---------------
C) Risolvere in k il sistema delle parametriche e massaggiare il risultato.
* (x = 1 - k) & (y = 2 - k) & (z = 2*k - 1) ≡
≡ (k = 1 - x) & (y = x + 1) & (z = 1 - 2*x) ≡
≡ (irrilevante) & (x - y + 1 = 0) & (2*x + z - 1 = 0) ≡
≡ (x - y + 1 = 0) & (2*x + z - 1 = 0)
e questo è "quel sistema finale", che risulta corretto.
------------------------------
Circa "x=y-1= (z-1)/(-2) —> { x-y+1=0, 2x+z-1=0", basta spezzare l'eguaglianza continua e massaggiare il risultato.
* "x=y-1= (z-1)/(-2)" ≡
≡ (x = y - 1) & (y - 1 = (z - 1)/(- 2)) ≡
≡ (x = y - 1) & ((- 2)*(y - 1) - (z - 1) = 0) ≡
≡ (x - y + 1 = 0) & ((- 2)*x - (z - 1) = 0) ≡
≡ (x - y + 1 = 0) & (- 2*x + 1 - z = 0) ≡
≡ (x - y + 1 = 0) & (2*x + z - 1 = 0)
e questo pure è "quel sistema finale".