İspat, kosinüs teoremi ve iki nokta arasındaki uzaklık formülüyle de yapılabilir.
Vektörlerin başlangıç noktaları arasındaki uzaklık bulunur. Aynı uzaklık; bir de köşeleri orijin ve iki vektörün bitim noktaları olan üçgende kosinüs teoremi yapılarak bulunur. Bu iki sonuç eşitlenir ve formül çıkar.
Bir başka yol da şudur:
Açılar şekildeki gibi bulunarak; üçgende sinüs teoremi yazılır. (Tabi sinüsler toplam formülüyle bulunur.) Biraz uzun olur; ama yine aynı sonuca ulaşılır.