Deine beiden Vektoren a1;2 mögen die Ebene =: E aufspannen; in der Tat stehen sie ja schon senkrecht aufeinander. Also suchen wir die Ebene F := (E)T ( " T " wie " transversal " oder senkrecht ) aller Vektoren, die senkrecht auf E stehen:
a1=(1 -2 0 1) ( 1a )
a2=(1 0 3 -1) ( 1b )
Mein LGS lautet also
x - 2 y + w = 0 ( 2a )
x + 3 z - w = 0 ( 2b )
Von Vorn herein haben wir eine gewisse Zweideutigkeit; wir erwarten ja zwei Basisvektoren. Versuchen wir dochmal den Ansatz w = 0, ob das schon Eindeutigkeit erzwingt. Offenbar ja.
x = 2 y = - 3 z ( 3a )
Basisvektoren sollten ===> primitiv notiert werden; in ( 3a ) ist 6 das kgv von 2 und 3:
a3 = ( 6 | 3 | - 2 | 0 ) ( 3b )
Auf die Frage nach einer Basis gubt es zwar nie eine eindeutige Antwort, aber ich peile doch eine möglichst unkomplizierte Lösung an. Wenn es uns gelingt, in F einen Vektor mit x = 0 zu finden, dann ist dieser tot sicher linear unabhängig von a3 . x = 0 setzen in ( 2ab )
w = 2 y = 3 z ( 4a )
a4 = ( 0 | 3 | 2 | 6 ) ( 4b )