W czworokącie
miara kąta wewnętrznego przy wierzchołku
jest większa od
oraz zachodzi równość
![]() |
Punkt
jest symetryczny do punktu
względem prostej
Udowodnić, że
.
Jeśli
, to z danej równości wynika, że
. Wtedy punkty
i
leżą na dwusiecznej kąta
,
skąd bezpośrednio wnioskujemy, że
.
Przyjmijmy więc w dalszej części rozwiązania, że
oraz niech dla ustalenia uwagi
(rys. 5).
Załóżmy, że dwusieczna kąta
przecina odcinek
w punkcie
. Wówczas na mocy twierdzenia o dwusiecznej otrzymujemy
![]() |
skąd wynika, że punkt
leży również na dwusiecznej kąta
. Innymi słowy, dwusieczne kątów
i
przecinają
się w punkcie
leżącym na prostej
. Analogicznie, korzystając z twierdzenia o dwusiecznej kąta zewnętrznego dowodzimy,
że dwusieczne kątów zewnętrznych
i
przecinają się w punkcie
, który leży na prostej
. Ponadto
![]() |

Stąd wynika, że punkty
i
leżą na okręgu
o średnicy
. Punkt
— symetryczny do punktu
względem prostej
— również leży na okręgu
. Ponadto łuki
i
okręgu
(nie zawierające punktu
) są równej długości,
a więc
. Stąd
![]() |
co należało wykazać.