W czworokącie wypukłym
na, bokach przyległych
i
obrano odpowiednie punkty
i
oraz oznaczono przez 0 punkt przecięcia odcinków
i
. Dowieść, że jeżeli w czworokąty
oraz
można wpisać koła, to w czworokąt
też można wpisać koło.
Niech
,
,
,
będą punktami styczności koła wpisanego w czworokąt
z bokami
,
,
,
odpowiednio i podobnie
,
,
,
- punktami styczności koła wpisanego w czworokąt
z bokami
,
,
,
odpowiednio (rys. 9). Korzystając z twierdzenia: odcinki stycznych do koła poprowadzonych z punktu poza kołem mają równe długości, otrzymujemy kolejno:
![]() |
czyli
. Analogicznie dowodzimy, że
. Dodając dwie ostatnie równości stronami otrzymujemy
. Wynika stąd, jak wiadomo, że w czworokąt
można wpisać koło.