Ist das x das Kreuzprodukt (bzw. Vektorprodukt) von Vektoren aus K3 und so definiert:
mit v = (v1,v2,v3) und w=(w1,w2,w3) ist
w x v = ( w2*v3-w3*v2 ; w3*v1 - w1*v3 ; w1*v22 - w2* v1 )
dann machst du das gleiche mit -v x w und siehst: gleiche Ergebnisse, also fertig.
Bei nimmst du von ( w2*v3-w3*v2 ; w3*v1 - w1*v3 ; w1*v22 - w2* v1 ) das
SKALARprodukt mit (a*w1+b*v1, a*w2+bv2 , a*w3 + b*v3 ) (a,b statt alpha beta)
das sieht so aus
( w2*v3-w3*v2 )* (a*w1+b*v1) + ( )*(........) + ( .......)( .........)
alles ausrechnen und zusammenfassen gibt am Ende Null.
Und Skalarprodukt = 0 heißt senkrecht !
du kannst nachrechnen det(u,v,w) = (u x v ) * w ( * ist das Skalarprodukt )
nun ist ja u x v senkrecht auf u und auf v und wegen Skalarprodukt = 0
ist w dann senkrecht zu u x v also eine Linearkombination von u und v