Der Öffnungswinkel
zwischen zwei Vektoren
und
eines Vektorraums ist definiert als
Für die Definition des Öffnungswinkels muss der Cosinus immer definiert sein. Wir müssen beweisen, dass folgendes gilt:
Dies ist Inhalt der Cauchy-Schwarzschen-Ungleichung.