WikiSort.ru - Не сортированное

Эту страницу предлагается объединить со страницей Теорема Мансиона. Пояснение причин и обсуждение — на странице Википедия:К объединению/26 августа 2017. Обсуждение длится не менее недели (подробнее). Не удаляйте шаблон до подведения итога обсуждения.

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

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

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

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

В наиболее общем случае теорема гласит, что, если биссектриса к стороне ${\displaystyle BC}$ пересекает описанную окружность в точке ${\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 BH_{c}HH_{a}}$ , ${\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}$ лежат на окружности, описанной около ортотреугольника.

См. также

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

Примечания

Литература

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

Для улучшения этой статьи желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное.