Algebraische Form
Geometrische Form
Rechengesetze
Kommutativgesetz
Es gilt
Assoziativgesetz
Es gilt
Da die Klammerung die Deutung der Operationszeichen verfälscht (
Distributivgesetz
Es gilt
Verträglichkeit mit der Skalarmultiplikation (“Bilinearität”)
Es gilt
Beweis der Äquivalenz¹
Das Skalarprodukt mit sich Selbst entspricht dem Betrag des Vektors im Quadrat:
Wir erkennen dass
Wir erkennen dass hier zwei Vektoren skalar multipliziert werden. Wir wissen (anhand der algebraischen Definition) dass das Skalarprodukt distributiv ist; wir multiplizieren aus.
Wir wissen das Skalarprodukt ist kommutativ:
Das Skalarprodukt ist [[#verträglichkeit-mit-der-skalarmultiplikation-bilinearität|verträglich mit der Skalarmultiplikation]]:
Wir erkennen das Binome auch für das Skalarprodukt gültig sind.
Wir erinnern uns and den Cosinussatz (
Wir setzen gleich:
Wir formen um:
Wir haben anhand der algebraischen Definition die geometrische Definition hergeleitet; sie sind äquivalent.