Wykonaj rysunek pomocniczy:
Z tego, że czworokąt ADBC jest wpisany w okrąg, wynika, że:
Z podobieństwa odpowiednich trójkątów i z tego, że suma miar kątów w czworokącie wynosi
dowodzisz, że na czworokącie EFGD można opisać okrąg.
Na czworokącie można opisać okrąg, jeśli suma miar jego przeciwległych kątów wynosi
. Trójkąty APC oraz EPG są podobne (analogicznie dla pozostałych trójkątów), gdzie skala podobieństwa wynosi:
