Udowodnić, że dwusieczne kątów utworzonych przez proste zawierające przeciwległe boki czworokąta wypukłego wpisanego w okrąg są odpowiednio równoległe do dwusiecznych kątów utworzonych przez proste zawierające przekątne tego czworokąta.
Niech
,
,
,
będą kolejnymi wierzchołkami czworokąta wpisanego w okrąg. Niech
będzie punktem przecięcia prostych
i
, a
niech będzie dwusieczną kąta
(rys. 12). Jeżeli
i
są obrazami punktów
i
odpowiednio w symetrii względem prostej
, to proste
i
są równoległe. Mamy bowiem
(jako kąty wpisane oparte na tym samym łuku) oraz
(symetria zachowuje miary kątów). Zatem odpowiednie dwusieczne kątów wyznaczonych przez proste
i
oraz
i
są równoległe. Tą ostatnią dwusieczną jest prosta
.