Wiesz, że:
Stąd:
Z sumy miar kątów w czworokącie wynika:
Zatem na czworokącie EBFD można opisać okrąg.
Rysunek poglądowy:
Jeśli sumy przeciwległych kątów czworokąta są równe (i wynoszą po
), to można na tym czworokącie opisać okrąg.