Koło opisane
Z Wikipedii
Koło opisane na wielokącie to koło, którego brzeg zawiera wszystkie wierzchołki wielokąta. Czasem mówi się o okręgu opisanym.
Na wielokącie można opisać okrąg wtedy i tylko wtedy, gdy symetralne jego wszystkich boków przecinają się w jednym punkcie. Punkt ten jest środkiem okręgu opisanego. Wynika stąd, że na żadnym wielokącie niewypukłym nie da się opisać okręgu. Również nie na każdym wielokącie wypukłym można go opisać. Można to jednak zrobić dla każdego trójkąta oraz każdego wielokąta foremnego.
[edytuj] Twierdzenie o okręgu opisanym na czworokącie
Twierdzenie. Okrąg można opisać na czworokącie wtedy i tylko wtedy, gdy sumy przeciwległych kątów są sobie równe i wynoszą π.
[edytuj] Dowód

Kąty α i α' oraz β i β' są parami kątów opartych na tym samym łuku. Na mocy twierdzenia o kącie wpisanym i kącie środkowym opartych na tym samym łuku otrzymujemy następujące zależności:
Jednocześnie kąty α' i β' tworzą razem kąt pełny. Zatem:
Analogicznie postępujemy dla drugiej pary kątów.