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