W czworokącie wypukłym
punkt
jest środkiem przekątnej
. Wykazać, że jeżeli
![]() |
to na czworokącie
można opisać okrąg.
Oznaczmy:
.
Jeśli
, to punkty
,
,
leżą na jednej prostej. Wtedy punkty
i
są symetryczne względem prostej
. Stąd
, czyli na czworokącie
można opisać okrąg.
W dalszym ciągu przyjmijmy, że
. Niech
będzie punktem symetrycznym do punktu
względem symetralnej odcinka
(rys. 1, 2). Wówczas
, skąd wynika, że punkty
,
,
leżą na jednej prostej. Proste
i
są równoległe. Zatem gdy
(rys. 1), to
![]() |
natomiast jeśli
(rys. 2), to
![]() |
W obu przypadkach otrzymana równość oznacza, że punkty
,
,
,
leżą na jednym okręgu. Ponadto czworokąt o wierzchołkach
,
,
,
jest trapezem równoramiennym, a więc również punkty
,
,
,
leżą na jednym okręgu. Zatem punkty
,
,
,
leżą na jednym okręgu, co należało wykazać.

