Szkicujemy trójkąt.
Korzystając z twierdzenia sinusów możemy zamienić długości odcinków na sinusy odpowiednich kątów. Dokładniej
Musimy zatem wykazać, że
Przekształcamy prawą stronę tej równości (korzystamy ze wzoru na sumę sinusów)
Zauważmy teraz, że
, więc
, czyli
. W takim razie rzeczywiście