Okrąg podzielono na cztery, nie zachodzące na siebie, luki
,
,
i
. Dowieść, że odcinek, który łączy środki łuków
i
jest prostopadły do odcinka łączącego środki łuków
i
.
Niech
,
,
,
oznaczają odpowiednio środki łuków
,
,
,
(rys. 12).
Twierdzenie będzie dowiedzione, gdy wykażemy, że suma kątów wpisanych
i
wynosi
. Kąt
opiera się na łuku
równym sumie łuków
i
, a kąt wpisany
jest oparty na łuku
równym sumie łuków
i
. Ponieważ kąty wpisane w ten sam okrąg i oparte na równych łukach są równe, więc suma kątów wpisanych
i
równa się kątowi wpisanemu w dany okrąg i opartemu na łuku równym sumie łuków
,
,
,
. Otóż łuk
= łuk
, łuk
= łuk
, łuk
= łuk
, łuk
= łuk
, zatem suma łuków
,
,
,
równa się sumie łuków
,
,
,
, wobec czego każda z tych sum równa się półokręgowi. Suma kątów wpisanych
i
równa się kątowi wpisanemu opartemu na półokręgu, tzn. kątowi prostemu.