Сумма противолежащих углов вписанного четырёхугольника равна 180°.
Дано: ABCD вписан в окр. (O; R)
∠A — вписанный угол, опирающийся на дугу BCD.
∠C — вписанный угол, опирающийся на дугу DAB.
Так как вписанный угол равен половине дуги, на которую он опирается, то
Что и требовалось доказать.
Теорема (признак вписанного четырёхугольника)
Около четырёхугольника можно описать окружность, если сумма его противолежащих углов равна 180°.
Дано: ABCD — четырёхугольник,
Доказать: ABCD можно вписать в окружность
Опишем окружность около треугольника ABC и докажем, что точка D лежит на этой окружности.
Доказательство будем вести методом от противного.
Предположим, что точка D не лежит на описанной около треугольника ABD окружности. Тогда D лежит либо внутри этой окружности, либо вне её.
Пусть точка D лежит внутри окружности и луч AD пересекает окружность в точке E.
В этом случае четырёхугольник ABCE — вписанный, и сумма его противолежащих углов равна 180°: ∠B+∠E=180°.
По условию, ∠B+∠D=180°. Отсюда следует, что ∠D=∠E.
Но угол D — внешний угол треугольника DCE при вершине D.
Так как внешний угол треугольника равен сумме двух внутренних не смежных с ним углов, то
∠ADC=∠DEC+∠DCE, то есть угол D не может быть равным углу E. Пришли к противоречию. А значит, точка D не может лежать внутри окружности, описанной около треугольника ABC.
Предположим, что точка D лежит вне описанной около треугольника ABC окружности.
Луч AD пересекает окружность в точке E.
Тогда ABCE — вписанный четырёхугольник и ∠B+∠E=180°.
По условию, ∠B+∠D=180°. Получаем, что ∠D=∠E.
Но угол E — внешний угол треугольника ECD при вершине E. А значит,
∠AEC=∠EDC+∠DCE, то есть углы D и E не могут быть равными. Противоречие получили потому, что предположили, что точка D лежит вне окружности.
Так как точка D не может лежать внутри либо вне описанной около треугольника ABC окружности, то D лежит на этой окружности. Это значит, что около четырёхугольника ABCD можно описать окружность.
Что и требовалось доказать.
На основании свойства и признака вписанного четырёхугольника сформулируем необходимое и достаточное условие вписанного четырёхугольника.
Теорема(Необходимое и достаточное условие вписанного четырёхугольника)
Около четырёхугольника можно описать окружность тогда и только тогда, когда сумма уго противолежащих углов равна 180°.
AH + BF + CF + DH = = AD + BC, AE + BE + CG + DG = = AB + CD,
то справедливо равенство
что и требовалось доказать.
Следовательно, справедливы равенства
Окружность касается касается стороны BC (рис.4).
В этом случае четырёхугольник ABCD описан около окружности, и теорема доказана.
Рассмотрим случай 2а и приведём его к противоречию. В этом случае в силу того, что четырёхугольник ABKD является описанным, а также по условию теоремы справедливы равенства:
Совершенно аналогичные рассуждения позволяют заключить, что случай 2b также невозможен.
Итак, возможен и реализуется лишь случай 1.
Из доказательства теоремы 2 непосредственно вытекает
В следующей таблице приводятся примеры четырёхугольников, в которые можно вписать окружность. Доказательства утверждений непосредственно вытекают из теорем 1 и 2 и предоставляются читателю в качестве несложных упражнений.
Примеры описанных четырёхугольников
Фигура
Рисунок
Утверждение
Ромб
В любой ромб можно вписать окружность
Квадрат
В любой квадрат можно вписать окружность
Прямоугольник
В прямоугольник можно вписать окружность тогда и только тогда, когда он является квадратом
Параллелограмм
В параллелограмм можно вписать окружность тогда и только тогда, когда он является ромбом
Дельтоид
В любой дельтоид можно вписать окружность
Трапеция
В трапецию можно вписать окружность тогда и только тогда, когда у трапеции сумма длин боковых сторон рана сумме длин оснований
Квадрат
В любой квадрат можно вписать окружность
Прямоугольник
В прямоугольник можно вписать окружность тогда и только тогда, когда он является квадратом
Параллелограмм
В параллелограмм можно вписать окружность тогда и только тогда, когда он является ромбом
Дельтоид
Трапеция
В трапецию можно вписать окружность тогда и только тогда, когда у трапеции сумма длин боковых сторон рана сумме длин оснований
Около любого треугольника можно описать окружность.
Доказательство
Дано:произвольный АВС.
Доказать: около АВСможно описать окружность.
Доказательство:
1. Проведем серединные перпендикуляры к сторонам АВС, которые пересекутся в точке О (по свойству серединных перпендикуляров треугольника). Соединим точкуО с точками А, В иС (Рис. 2).
Точка Оравноудалена от вершин АВС (по теореме о серединном перпендикуляре), поэтому ОА = ОВ =ОС. Следовательно, окружность с центром О радиуса ОА проходит через все три вершины треугольника, значит, является описанной около АВС. Теорема доказана.
Замечание 1
Около треугольника можно описать только одну окружность.
Доказательство
Предположим, что около треугольника можно описать две окружности. Тогда центр каждой из них равноудален от его вершин и поэтому совпадает с точкой Опересечения серединных перпендикуляров к сторонам треугольника, а радиус равен расстоянию от точки О до вершин треугольника. Следовательно, эти окружности совпадают, т.е. около треугольника можно описать только одну окружность. Что и требовалось доказать.
Замечание 2
Около четырехугольника не всегда можно описать окружность.
Доказательство
Рассмотрим, например, ромб, не являющийся квадратом. Такой ромб можно «поместить» в окружность так, что две его вершины будут лежать на этой окружности (Рис. 3), но нельзя «поместить» ромб в окружность так, чтобы все его вершины лежали на окружности, т.к. диаметр окружности, равный одной из диагоналей ромба, будет больше (меньше) второй диагонали, т.е. нельзяописать окружность. Что и требовалось доказать.
Если же около четырехугольника можно описать окружность, то его углы обладают следующим замечательным свойством:
Доказательство
Рассмотрим четырехугольник АВСD, вписанный в окружность (Рис. 4).
Верно и обратное утверждение:
Доказательство
Доказать:около АВСD можно описать окружность.
Доказательство:
Предположим, что это не так. Тогда вершина С лежит либо внутри круга, либо вне его.
Рассмотрим первый случай, когда точка С лежит внутри круга (Рис. 6).
BАD— вписанный, тогда по теореме о вписанном угле BАD= ВЕD, тогда BАD + BСD(ВЕD + ВАD).
Рассмотрим второй случай, когда точка Слежит вне круга (Рис. 7).