U trokutu vrijedi α+β+γ=180∘, odnosno γ=180∘−(α+β), pa je cosγ=−cos(α+β). Zbog toga iz dane jednakosti redom slijedi
cos(α+β)+2sinαsinβcosαcosβ−sinαsinβ+2sinαsinβcosαcosβ+sinαsinβcos(α−β)=1,=1,=1,=1.
Posljednja jednakost vrijedi ako i samo ako je α−β=360∘⋅k, gdje je k∈Z. Budući da su α i β kutovi trokuta, mora biti k=0, odnosno α=β. Time smo dokazali da je trokut jednakokračan.