Теорема Чевы
Чевианой называют отрезок от вершины треугольника до точки на противоположной стороне. Пусть в треугольнике проведены три чевианы , , . Они пересекаются в одной точке тогда и только тогда, когда
Отрезки считаются направленными, поэтому теорема годится и для точки вне треугольника, когда основания чевиан лежат на продолжениях сторон.
У трёх чевиан произведение равно единице, у секущей — минус единице. Отношения считаются со знаком, поэтому обе теоремы выглядят одинаково.
Доказательство в одну сторону. Пусть чевианы пересекаются в точке . Треугольники и имеют общую высоту из , а треугольники и — общую высоту из . Значит,
где последнее равенство — свойство пропорции: разности числителей и знаменателей относятся так же. Записав то же для двух других сторон и перемножив, получаем три площади в числителях и те же три в знаменателях.
Тригонометрическая форма
Ту же площадь можно записать через синус угла при вершине: . Тогда
Подставим это и два аналогичных выражения в теорему Чевы. Стороны сократятся: в произведении встретятся , и , а это единица. Остаётся
В этой записи участвуют только углы, на которые чевианы делят углы треугольника; с ней и работает следующий раздел.
Теорема Менелая: если три точки на сторонах лежат на одной прямой, то же произведение направленных отрезков равно .
Отражение чевиан
Возьмём точку внутри треугольника и проведём три чевианы , , . Отразим каждую относительно биссектрисы того угла, из которого она выходит. Две прямые, симметричные относительно биссектрисы угла, называют изогоналями.
Три отражённые чевианы снова проходят через одну точку
Её называют изогонально сопряжённой точке и обозначают .
Тёплые чевианы принадлежат P, фиолетовые — их отражения. Кнопки ставят P в знаменитые точки: подпись показывает, что получается в паре.
Доказательство — тригонометрическая Чева из предыдущего раздела. Отражение относительно биссектрисы меняет местами два угла, на которые чевиана делит угол треугольника: если для это были и , то для отражённой прямой они становятся и .
Значит, каждая дробь в произведении заменяется на обратную:
Условие Чевы выполнено, следовательно, три отражённые чевианы пересекаются в одной точке. Заодно видно, что соответствие взаимно: отразив чевианы , получим обратно чевианы .
Оговорки две. Во-первых, точка на описанной окружности сопряжённой не имеет: отражённые чевианы становятся параллельными, и точка пересечения уходит в бесконечность. Во-вторых, вершины треугольника выпадают из определения — из вершины чевиана не проводится.
На языке ориентированных углов из первой статьи серии изогональность записывается одним равенством: . В таком виде она удобна для длинных цепочек.
Кто с кем сопряжён
Сопряжение переставляет знаменитые точки треугольника парами. Разберём три пары.
Центр вписанной окружности сопряжён сам себе
Чевианы центра вписанной окружности — биссектрисы. Отражение биссектрисы относительно самой себя ничего не меняет, поэтому переходит в себя.
Центр описанной окружности и ортоцентр
Голубая дуга — угол OAB, красная — угол HAC; они равны 90° − γ, поэтому AO и AH симметричны относительно биссектрисы угла A.
Проверим, что прямые и изогональны. Треугольник равнобедренный: . Центральный угол опирается на ту же дугу, что вписанный , поэтому он равен , а углы при основании равны
Высота из перпендикулярна , и в прямоугольном треугольнике с углом при вершине получаем . Значит,
а это и есть изогональность. То же верно для двух других вершин, поэтому и сопряжены.
Точка пересечения медиан и точка Лемуана
Сопряжённую точке пересечения медиан называют точкой Лемуана и обозначают . Отражения медиан называют симедианами; им посвящён следующий раздел.
Сумма углов при сопряжённых точках
Для точки внутри треугольника и её сопряжённой выполняется
Действительно, , а , где и . Сложив, получаем .
Красный треугольник — BPC, фиолетовый — BQC. Пока P внутри треугольника, сумма углов при P и Q равна 180° + ∠A.
Пары есть и у менее известных точек: точка Торричелли, из которой все три стороны видны под углом , сопряжена первой изодинамической точке. Проверяются такие пары тем же способом — счётом углов, на которые чевианы делят углы треугольника.
Три определения одной прямой
Симедианой из вершины называют прямую, симметричную медиане относительно биссектрисы угла . У неё есть ещё два описания, и все три задают одну и ту же прямую.
Пунктир — медиана, тёплая прямая — симедиана, оранжевые — касательные в B и C. Точка T всегда лежит на симедиане, а произведения сторон совпадают.
В каком отношении она делит сторону
Для медианы , а по формуле из первого раздела
У симедианы те же два угла стоят в обратном порядке, поэтому отношение синусов переворачивается, и для точки пересечения симедианы со стороной
Касательные к описанной окружности
Проведём касательные к описанной окружности в точках и и обозначим их пересечение через . Прямая — симедиана.
Точки , , лежат на одной прямой, поэтому отношение, в котором делит , равно отношению площадей:
Касательные из одной точки равны, . Угол между касательной и хордой равен вписанному углу, опирающемуся на эту хорду с другой стороны: и . Значит,
По теореме синусов , поэтому отношение равно — то же самое, что у симедианы. Прямые совпали.
Гармонический четырёхугольник
Пусть симедиана вторично пересекает описанную окружность в точке . Точка — полюс прямой : по четвёртому разделу шестой статьи поляра внешней точки есть хорда касания. Прямая проходит через , поэтому точка её пересечения с полярой, то есть , гармонически сопряжена относительно и .
Значит, четвёрка гармоническая, и то же верно для четвёрки точек , , , на окружности. По формуле из восьмого раздела пятой статьи двойное отношение на окружности выражается через хорды, и условие превращается в равенство
Четырёхугольник с таким свойством называют гармоническим, а симедиана оказывается его диагональю. Это третье описание, и в задачах оно встречается чаще двух первых.
Где сходятся симедианы
Три симедианы пересекаются в одной точке: они изогональны медианам, а медианы пересекаются в одной точке. Точку их пересечения обозначают и называют точкой Лемуана.
Её основное свойство — расстояния до сторон. Пусть лежит на симедиане из , а и — расстояния от неё до сторон и . Тогда
Последнее равенство — перевёрнутое отношение синусов из предыдущего раздела. Записав то же для двух других симедиан и применив всё к точке , получаем
В точке Лемуана K три отношения под чертежом равны, а сумма квадратов расстояний до сторон минимальна: двигай P и сравнивай.
Отсюда экстремальное свойство. Площадь треугольника связывает расстояния со сторонами:
Правая часть фиксирована, а левая — скалярное произведение двух наборов. По неравенству Коши
причём равенство достигается ровно тогда, когда наборы пропорциональны. Значит, — единственная точка, для которой сумма квадратов расстояний до сторон минимальна.
Барицентрические координаты точки Лемуана равны ; в этом виде она встретится в восьмой статье серии. Пропорциональность расстояний сторонам — то же утверждение без координат.
Общая окружность двух точек
Опустим из точки перпендикуляры на три стороны треугольника. Три основания образуют педальный треугольник точки . Сделаем то же для сопряжённой точки . Все шесть оснований лежат на одной окружности.
Тёплые основания принадлежат P, фиолетовые — сопряжённой точке. Все шесть лежат на одной окружности; при P в центре описанной получается окружность девяти точек.
Доказательство разбивается на две части. Сначала покажем, что четыре основания, связанные с вершиной , лежат на одной окружности.
Обозначим и . Изогональность означает, что и . Основание перпендикуляра из на отстоит от на , и так же считаются остальные три. Перемножим накрест:
Равные произведения означают равные степени точки , а по признаку из второй статьи серии это и есть условие того, что четыре точки лежат на одной окружности.
Теперь найдём её центр. Пусть — середина отрезка . Проекция середины на прямую — середина проекций, поэтому проекция на лежит посередине между и , а значит . То же верно для каждой стороны.
Центр окружности, проходящей через четыре точки при вершине , лежит на серединных перпендикулярах к и , и обе эти прямые проходят через . Значит, центр — это . То же рассуждение для вершин и даёт окружности с тем же центром и тем же радиусом . Все три окружности совпали, и на ней лежат все шесть оснований.
Окружность девяти точек
Возьмём , тогда . Педальный треугольник центра описанной окружности — это треугольник середин сторон, а педальный треугольник ортоцентра — треугольник оснований высот. По доказанному они вписаны в одну окружность.
Её и называют окружностью девяти точек: кроме этих шести, на ней лежат ещё три середины отрезков от вершин до ортоцентра. Центр окружности — середина , что согласуется с общим утверждением, а радиус равен половине радиуса описанной окружности.
Задача на изогональное сопряжение
Рассмотрим задачу Международной олимпиады, где условие переводится на сопряжённую точку, а дальше работают теорема синусов и свойство биссектрисы.
Заодно получилось описание всех таких точек : равенство задаёт окружность Аполлония точек , , проходящую через ; на чертеже она показана пунктиром.
Проверь себя
Посчитай, впиши ответ и нажми «Проверить». Разбор открывается кнопкой под задачей. Всё нужное для решения собрано в трёх формулах.
Знаменитые точки треугольника складываются в пары, и это заметно упрощает чертёж.
В Компендиуме разбираем конструкции, которые связывают разрозненные факты в одну систему.
залетай в Академию→