Wiemy, że:

Mamy wykazać, że trójkąt w którym zachodzi podana zależność jest równoramienny. 

Zauważmy, że cosinusy kątów znajdujących się w mianowniku, to cosinusy kątów znajdujące