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.