Dazu müssen a und b lin. unabh. sein.
Zwei linear unabhängige bilden immer eine
Basis der 2-dim VR K^2 .
Also Ansatz x*a + y*b = 0-Vektor
gibt das Gl. System
λx + μy = 0
μx +λy = 0
lin. unabh. sind a und b, wenn das
die einzige Lösung x=y=0 hat, das ist der
Fall, wenn die Det.. des Systems nicht 0 ist,
also λ^2 - μ^2 ≠ 0
<=> ( λ - μ )*( λ + μ ) ≠ 0
<=> λ ≠ μ und λ ≠ -μ