Herleitung für die Berechnung des Winkels zwischen zwei Vektoren

Die beiden Vektoren und schließen den Winkel a ein. Der Cosinus-Satz lautet dann für das dargestellte Dreieck in seiner vektoriellen Form.