Лемма о трезубце или теорема трилистника, или лемма Мансиона (жарг. лемма о куриной лапке) — теорема в геометрии треугольника.

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

Формулировка

В зависимости от названия имеется в виду какое-то её частное свойство, см. иллюстрации.

В наиболее общем случае теорема гласит, что, если биссектриса к стороне ${\displaystyle AB}$ пересекает описанную окружность в точке ${\displaystyle L}$, то выполняется равенство: ${\displaystyle LB=LI=LC=LI_{a}}$, где ${\displaystyle I}$ — инцентр, ${\displaystyle I_{a}}$ — центр вневписанной окружности, касающейся стороны ${\displaystyle BC}$.

Доказательство

Пусть ${\displaystyle I}$ — центр вписанной окружности. Под ${\displaystyle \angle A,\angle B}$ будем понимать углы ${\displaystyle \angle BAC,\angle ABC}$ соответственно. Если луч ${\displaystyle AI}$ пересекает описанную окружность в точке ${\displaystyle L}$, то ${\displaystyle L}$ является средней точкой дуги ${\displaystyle BC}$, отрезок ${\displaystyle AL}$ является биссектрисой угла ${\displaystyle \angle A}$. Проведя отрезок ${\displaystyle BI}$, заметим, что

${\displaystyle \angle BIL=\angle A/2+\angle B/2,}$

потому что ${\displaystyle \angle BIL}$ внешний к треугольнику ${\displaystyle \triangle AIB}$, а также

${\displaystyle \angle LBI=\angle LBC+\angle CBI=\angle A/2+\angle B/2,}$ потому что ${\displaystyle \angle LBC}$ и ${\displaystyle \angle LAC=\angle A/2}$ равны, так как опираются на одну дугу ${\displaystyle LC}$.

Значит, треугольник ${\displaystyle \triangle BLI}$ равнобедренный, т.е, ${\displaystyle BL=LI.}$ Равенство ${\displaystyle CL=BL}$ следует из того, что на обе эти хорды опирается одинаковый угол ${\displaystyle \angle A/2.}$ Таким образом, ${\displaystyle BL=LI=LC.}$

Мы показали, что ${\displaystyle BL=LI=LC}$. Теперь докажем что «ручка» трезубца ${\displaystyle LI_{a}}$ равна этой же величине.

Продлим сторону ${\displaystyle AB}$ за точку ${\displaystyle B}$ и возьмём где-нибудь на этом продолжении точку ${\displaystyle E}$. Под ${\displaystyle \angle A}$ будем понимать ${\displaystyle \angle BAC,}$ под ${\displaystyle \angle B}$ будем иметь в виду угол ${\displaystyle \angle EBC=180^{\circ }-\angle ABC.}$

Тогда нам нужно понять, что треугольник ${\displaystyle \triangle BLI_{a}}$ равнобедренный, то есть, что ${\displaystyle \angle LBI_{a}=\angle LI_{a}B}$.

С одной стороны,

${\displaystyle \angle LBI_{a}=\angle B/2-\angle A/2}$

и

${\displaystyle \angle EBI_{a}=\angle A/2+\angle BI_{a}A}$ так как ${\displaystyle \angle EBI_{a}}$ внешний в треугольнике :${\displaystyle \triangle BI_{a}A,}$ т.е, ${\displaystyle \angle B/2-\angle A/2=\angle BI_{a}A}$

Связь с окружностью Эйлера

Через лемму о трезубце можно изящно доказать окружность Эйлера.

Рассмотрим остроугольный треугольник ABC. Заметим, что четырёхугольники ${\displaystyle AH_{c}HH_{b}}$, ${\displaystyle AH_{c}H_{a}C}$, ${\displaystyle H_{b}HH_{a}C}$ вписаны (рис. 1). Поэтому равны углы ${\displaystyle \measuredangle HH_{b}H_{c}=\measuredangle HAH_{c}=\measuredangle HCH_{a}=\measuredangle HH_{b}H_{a}}$ (рис 2).

Из этого следует, что ${\displaystyle H_{b}H}$ — биссектриса в треугольнике ${\displaystyle \triangle H_{c}H_{b}H_{a}}$. По совершенно аналогичным причинам ${\displaystyle H_{a}H}$ и ${\displaystyle H_{c}H}$ тоже биссектрисы в этом треугольнике (рис 3). Также можно заметить, что ${\displaystyle AB,}$ ${\displaystyle BC,}$ ${\displaystyle CA}$ — внешние биссектрисы к треугольнику ${\displaystyle \triangle H_{c}H_{b}H_{a}}$ (потому что каждая из них перпендикулярна своей внутренней биссектрисе). Поэтому можно применить лемму о трезубце трижды, для каждой из сторон (рис 4).

Из этого получим, что середины отрезков ${\displaystyle HA,HB,HC}$ лежат на окружности, описанной около ортотреугольника. Теперь трижды применим внешнюю лемму о трезубце (рис 5).

Получим, что середины сторон ${\displaystyle AB,BC,CA}$ лежат на окружности, описанной около ортотреугольника.

Замечание

Для того, чтоб доказать окружность Эйлера для тупоугольного треугольника ${\displaystyle ABC}$ c тупым углом ${\displaystyle A}$, достаточно рассмотреть остроугольный треугольник ${\displaystyle BCH}$ с ортоцентром ${\displaystyle H}$, и применить к нему те же рассуждения.

Вариации и обобщения

• Лемма о трезубце для двух центров вневписанных окружностей («внешняя» лемма о трезубце)

См. также

• Формула Эйлера
• Теорема Мансиона
• Вписанная окружность
• Вневписанная окружность
• Инцентр
• Окружность
• Описанная окружность
• Конфигурация Джонсона
• Fuss Theorem

Примечания

Литература

• [1]Р. Н. Карасёв. Задачи для школьного математического кружка / Р. Н. Карасёв, В. Л. Дольников, И. И. Богданов, А. В. Акопян. — С. 4.
• http://www.mccme.ru/free-books/akopyan/Akopyan.pdf