Für von verschiedene Vektoren
und
in einem
euklidischen Vektorraum
folgt aus der
der Ungleichung von Cauchy-Schwarz,
dass
-
ist. Damit kann man mit Hilfe der trigonometrischen Funktion
Kosinus
(als bijektive Abbildung
)
bzw. der Umkehrfunktion den Winkel zwischen den beiden Vektoren definieren, nämlich durch
-
Der Winkel ist also eine reelle Zahl zwischen
und .
Für
mit dem reellen Standardskalarprodukt ist
-
und somit ist der Winkel zwischen
und
gleich
-