Dowieść, że jeżeli w czworokącie
zachodzi równość
, to okręgi wpisane w trójkąty
i
są styczne.
Jeżeli okręgi wpisane w trójkąty
i
stykają się z ich wspólnym bokiem
odpowiednio w punktach
i
(rys. 20), to według znanych wzorów mamy
![]() |
skąd
![]() |
Jeśli
, to z powyższej równości wynika, że
, tzn. że punkty
i
pokrywają się; oba okręgi są styczne do prostej
w tym samym punkcie, więc okręgi te są do siebie styczne.
Uwaga. Z równości (1) wynika również twierdzenie odwrotne: jeśli okręgi wpisane w trójkąty
i
są styczne, to
, zatem
.