W czworokącie wypukłym
zachodzi równość
. Punkty
i
są rzutami prostokątnymi punktu
odpowiednio na proste
i
. Załóżmy, że punkt
leży między
i
, punkt
leży między
i
, zaś prosta
przechodzi przez środek odcinka
. Dowieść, że na czworokącie
można opisać okrąg.
Trójkąt
jest prostokątny (gdyż
), zatem jeżeli prosta
, zawierająca wierzchołek kąta prostego tego trójkąta, przechodzi przez środek odcinka
- przeciwprostokątnej w tym trójkącie, to ma miejsce równość kątów
(rys. 6). Proste
i
są równoległe, więc
. Wobec tego otrzymujemy
.

Z drugiej strony, kąty
i
są kątami prostymi, zatem punkty
,
,
,
leżą w tej kolejności na jednym okręgu i zachodzą równości
![]() |
Łącząc to z wcześniej uzyskaną zależnością
widzimy, że
, a to oznacza, że na czworokącie
można opisać okrąg.