Dowód:

Okrąg ma środek w punkcie D, natomiast R jest promieniem okręgu. Stąd mamy zależności:
|AD| = |BD| = |CD| = R
Na podstawie tego wiemy, że trójkąt ADC jest równoramienny. Stąd:

Wiadomo, że suma kątów w trójkącie wynosi 1800, więc:

Podobną operację możemy przeprowadzić dla trójkąta BDC:


Ponieważ

Po przekształceniu otrzymamy

