Доказать что у четырехугольника описанного около окружности суммы противолежащих сторон равны
Описанные четырехугольники
AH = AE, BF = BE, CF = CG, DH = DG,
Складывая эти равенства, получим:
AH + BF + CF + DH =
= AD + BC,
AE + BE + CG + DG =
= AB + CD,
то справедливо равенство
что и требовалось доказать.
Следовательно, справедливы равенства
Окружность касается касается стороны BC (рис.4).
В этом случае четырёхугольник ABCD описан около окружности, и теорема доказана.
Рассмотрим случай 2а и приведём его к противоречию. В этом случае в силу того, что четырёхугольник ABKD является описанным, а также по условию теоремы справедливы равенства:
Совершенно аналогичные рассуждения позволяют заключить, что случай 2b также невозможен.
Итак, возможен и реализуется лишь случай 1.
Из доказательства теоремы 2 непосредственно вытекает
В следующей таблице приводятся примеры четырёхугольников, в которые можно вписать окружность. Доказательства утверждений непосредственно вытекают из теорем 1 и 2 и предоставляются читателю в качестве несложных упражнений.
Примеры описанных четырёхугольников
| Фигура | Рисунок | Утверждение |
| Ромб |  | В любой ромб можно вписать окружность |
| Квадрат |  | В любой квадрат можно вписать окружность |
| Прямоугольник |  | В прямоугольник можно вписать окружность тогда и только тогда, когда он является квадратом |
| Параллелограмм |  | В параллелограмм можно вписать окружность тогда и только тогда, когда он является ромбом |
| Дельтоид |  | В любой дельтоид можно вписать окружность |
| Трапеция |  | В трапецию можно вписать окружность тогда и только тогда, когда у трапеции сумма длин боковых сторон рана сумме длин оснований |
В любой квадрат можно вписать окружность
В прямоугольник можно вписать окружность тогда и только тогда, когда он является квадратом
В параллелограмм можно вписать окружность тогда и только тогда, когда он является ромбом
В трапецию можно вписать окружность тогда и только тогда, когда у трапеции сумма длин боковых сторон рана сумме длин оснований