Kąty CAD i CBE to kąty przyległe odpowiednio do kątów BAC i ABC trójkąta ABC, więc

Trójkąty CAD i CBE są równoramienne, więc

oraz

Zatem miara kąta ECD jest równa

Stąd

Z twierdzenia sinusów dla trójkąta ECD wynika, że

gdzie R to promień okręgu opisanego na trójkącie ECD.

Ponieważ

i

więc

Stąd, co kończy dowód.