Теорема о вписанной окружности в параллелограмм

В планиметрии существует важная и элегантная теорема: если в параллелограмм можно вписать окружность, то этот параллелограмм является ромбом. Это утверждение устанавливает необходимое и достаточное условие того, что параллелограмм обладает свойством описанного четырёхугольника. Доказательство этой теоремы опирается на фундаментальное свойство описанных четырёхугольников и определение параллелограмма.

Необходимые определения и свойства

Прежде чем перейти к доказательству, вспомним ключевые понятия:

  • Параллелограмм — это четырёхугольник, у которого противоположные стороны попарно параллельны.
  • Ромб — это параллелограмм, у которого все стороны равны. Таким образом, любой ромб является частным случаем параллелограмма.
  • Вписанная (вписанная в многоугольник) окружность — это окружность, которая касается всех сторон многоугольника. Многоугольник в таком случае называется описанным вокруг окружности.

Критически важным для доказательства является следующее свойство: в четырёхугольник можно вписать окружность тогда и только тогда, когда суммы длин его противоположных сторон равны. То есть, если окружность касается сторон AB, BC, CD и DA в точках касания, то должно выполняться условие: AB + CD = BC + AD.

Это свойство является классическим признаком описанного четырёхугольника и доказывается через равенство отрезков касательных, проведённых из одной точки к окружности.

Пошаговое доказательство теоремы

Пусть дан параллелограмм ABCD, в который вписана окружность. Требуется доказать, что ABCD — ромб, то есть что AB = BC = CD = DA.

Шаг 1: Применяем свойство описанного четырёхугольника

Поскольку окружность вписана в четырёхугольник ABCD, для него выполняется условие равенства сумм противоположных сторон:

AB + CD = BC + AD. (Уравнение 1)

Шаг 2: Используем свойство параллелограмма

По определению параллелограмма, у него противоположные стороны не только параллельны, но и равны. Следовательно:

AB = CD и BC = AD. (Уравнение 2)

Шаг 3: Подставляем равенства из шага 2 в уравнение 1

Заменим в уравнении 1 сторону CD на AB (так как CD = AB), а сторону AD на BC (так как AD = BC). Получим:

AB + AB = BC + BC

2 * AB = 2 * BC

Шаг 4: Упрощаем и получаем ключевое равенство

Сокращаем обе части равенства на 2:

AB = BC.

Шаг 5: Делаем окончательный вывод

Мы доказали, что две соседние стороны параллелограмма AB и BC равны. Но в параллелограмме, если две соседние стороны равны, то, в силу равенства противоположных сторон, равны будут и все остальные:

  • Так как AB = CD (свойство параллелограмма) и AB = BC (доказано), то AB = BC = CD.
  • Так как BC = AD (свойство параллелограмма), то и AD равно всем остальным сторонам.

Таким образом, AB = BC = CD = DA. Это и есть определение ромба. Следовательно, параллелограмм ABCD, в который вписана окружность, является ромбом.

Обратное утверждение

Справедливо и обратное утверждение, которое доказывается ещё проще: в любой ромб можно вписать окружность. Центр этой вписанной окружности лежит в точке пересечения диагоналей ромба (которая также является центром его симметрии). Это следует из того, что у ромба суммы противоположных сторон заведомо равны (так как все четыре стороны равны: a + a = a + a), что и является критерием существования вписанной окружности.

Практическое значение и итог

Доказанная теорема является ярким примером взаимосвязи между алгебраическими условиями (равенство сумм сторон) и геометрическими свойствами фигур. Она часто используется в школьных курсах геометрии и олимпиадных задачах как классический факт. Итак, мы строго доказали, что:

  1. Условие вписанной окружности накладывает на параллелограмм дополнительное ограничение.
  2. Это ограничение (AB + CD = BC + AD) в сочетании со свойствами параллелограмма (AB = CD, BC = AD) неизбежно приводит к равенству всех сторон.
  3. Следовательно, единственным параллелограммом, допускающим вписанную окружность, является ромб.

Это доказательство — прекрасная иллюстрация логической строгости и красоты элементарной геометрии.