Vektor u = [a, b, c]
Vektor v = [d, e, f]
Normalenvektor n = [x, y, z]
[a, b, c]·[x, y, z] = 0
a·x + b·y + c·z = 0
[d, e, f]·[x, y, z] = 0
d·x + e·y + f·z = 0
Das sind jetzt nur 2 Bedingungen. Nehmen wir als dritte Bedingung mal x = 1 und Löse das LGS, dann erhalte ich
x = 1 ∧ y = (a·f - c·d)/(c·e - b·f) ∧ z = (a·e - b·d)/(b·f - c·e)
Da wir diesen Vektor sicher mit einem Skalar multiplizieren dürfen wäre es geschickt mit (b·f - c·e) durchzu multiplizieren.
x = (b·f - c·e) ∧ y = (c·d - a·f) ∧ z = (a·e - b·d)
Das Ganze als Vektor geschrieben
[b·f - c·e, c·d - a·f, a·e - b·d]
Jetzt definiere ich nur noch das ich das das Kreuzprodukt nennen möchte.