Dowieść, że jeżeli czworokąt jest opisany na kole, to można na nim opisać koło wtedy i tylko wtedy gdy cięciwy łączące punkty styczności przeciwległych boków czworokąta z kołem są prostopadłe.
Niech
będzie czworokątem opisanym na pewnym kole i niech
,
,
,
oznaczają odpowiednio punkty styczności boków
,
,
,
z kołem wpisanym a
- punkt przecięcia odcinków
i
(rys. 16).
Ponieważ styczne do koła poprowadzone w końcach pewnej cięciwy tworzą z tą cięciwą równe kąty, więc oznaczając
,
mamy
,
, zatem
,
. Niech
.
W czworokącie 
![]() |
a w czworokącie 
![]() |
Dodając te równości otrzymujemy
![]() |
Na czworokącie
można opisać koło wtedy i tylko wtedy, gdy sumy dwóch kątów przeciwległych wynoszą po
. Otóż z ostatniej równości wynika, że
wtedy i tylko wtedy, gdy
, tzn. gdy cięciwy
i
są prostopadłe c.n.d.