Beim COS-Satz hast du ja eine Gleichung für die Seite, die dem Winkel gegenüberliegt,
das wäre in diesem Fall die Länge von a-b (oder bia), das hat nur die Spitze am
anderen Ende) und du hast die beiden an dem Winkel liegenden
Seiten, das sind Länge von a und Länge von b.
Also ist die erste Gleichung nur der COS-Satz.
Dann werden so Sachen benutzt, wie
Länge eines Vektors zum Quadrat ist das gleiche wie
Skalarürodukt mit sich selbst.
Der Rest ist doch nur Umformerei.
