O ile na każdym trójkącie da się opisać okrąg (tzn. dla każdego trójkąta istnieje okrąg - i to dokładnie jeden - który przechodzi przez wszystkie jego wierzchołki), o tyle istnieją czworokąty, na których okręgu opisać się nie da. Przykładem takiego czworokąta jest romb, który nie jest kwadratem. Charakteryzację takich czworokątów, na których da się opisać okrąg opisują następujące dwa twierdzenia.
Twierdzenie 1: |
Dany jest czworokąt wypukły ABCD. Wówczas jeśli na czworokącie ABCD można opisać okrąg, to suma miar kątów DAB i BCD wynosi 180 stopni. Również odwrotnie: jeśli w czworokącie wypukłym ABCD suma miar kątów DAB i BCD wynosi 180 stopni, to na tym czworokącie da się opisać okrąg. |
Czasami warunek suma miar kątów DAB i BCD w czworokącie ABCD wynosi 180 stopni wygodnie jest wysłowić w następujący sposób: kąt wewnętrzny przy wierzchołku A czworokąta ABCD jest równy kątowi zewnętrznemu przy wierzchołku C tego czworokąta.
Twierdzenie 2: |
Dany jest czworokąt wypukły ABCD. Wówczas jeśli na czworokącie ABCD można opisać okrąg, to miary kątów ACB i ADB są równe. Również odwrotnie: jeśli w czworokącie wypukłym ABCD miary kątów ACB i ADB są równe, to na tym czworokącie da się opisać okrąg. |