Двойные отношения и гармонические четвёрки
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Докажите, что гармонический четырехугольник однозначно задается тремя своими вершинами (порядок обхода вершин также известен).
Пусть у нас есть треугольник и мы хотим достроить его до гармонического так, что его четвёртая вершина
лежит на дуге
Пусть
— биссектриса треугольника
Тогда знаем, что
(последнее равенство верно в силу
гармоничности). То есть
является биссектрисой угла
Давайте докажем, что
единственная такая точка. Для этого просто
приведём её построение. Пусть
— середина дуги
описанной окружности треугольника
Тогда точка
является повторной точкой пересечения прямой
с описанной окружностью треугольника
Откуда следует её
единственность.
Ошибка.
Попробуйте повторить позже
(a) Пусть — гармонический четырехугольник,
— точка пересечения его диагоналей,
— точка пересечения касательной к
его описанной окружности в точке
и прямой
Докажите, что
(b) Докажите, что вписанный четырехугольник является гармоническим тогда и только тогда, когда касательные к его
описанной окружности в точках
и
пересекаются на прямой
либо параллельны этой прямой.
(a) Знаем, что Проецируя из
с окружности на прямую
получаем, что
что и
требовалось.
_________________________________________________________________________________________________________________________________________________________________________________
(b) Сначала докажем, что если четырёхугольник гармонический, то касательные пересекаются. Заметим, что каждая из этих
касательных в пересечение с достраивает
до гармонической четверки, но такая точка единственна (Параллельность
касательных достигается, когда
дельтоид). Теперь пусть касательные пересекаются на
и хотим доказать гармоничность.
Давайте просто построим точку
так, что
— гармонический. Тогда касательные в
и
пересекаются на
откуда
Ошибка.
Попробуйте повторить позже
(a) Достаточно доказать, что
Заметим, что треугольники и
подобны, а значит,
Аналогично получаем
Перепишем равенство, которое нужно доказать следующим образом:
После подстановки легко убедиться, что оно верно.
(b) Заметим, что все подобия из прошлого пункта будут верны и в пункте если считать что точки
перешли при
инверсии в точки
а значит, решение из пункта
также работает и тут (в случае если все точки
лежат на одной прямой, проходящей через центр инверсии, подобия “вырожденные”, и очевидно, что наши соотношения
выполняются).
Ошибка.
Попробуйте повторить позже
Теорема о бабочке. Хорды и
окружности проходят через середину хорды
Отрезки
и
пересекают отрезок
в точках
и
Докажите, что
Пусть — середина отрезка
Заметим, что
Если расписать эти двойные отношения по определению, то всё сократиться и останется
Ошибка.
Попробуйте повторить позже
Высоты остроугольного треугольника пересекаются в точке
и пересекают его описанную окружность
в точках
— середина
Луч
пересекает
в точке
В треугольники
и
вписаны окружности с центрами
и
Докажите, что
Заметим, что углы и
равны
Следовательно, точка
является серединой дуги
описанной окружности
треугольника
Откуда точки
лежат на одной прямой, а по лемме о трезубце
Аналогично точки
лежат на одной прямой и
По теореме Фалеса достаточно доказать, что То есть хотим понять, что четырёхугольник
— гармонический.
Для этого достаточно заметить, что точки
и
симметричны относительно
а значит,
что является
известным признаком гармонического четырёхугольника.
Ошибка.
Попробуйте повторить позже
и
— основания внутренней и внешней биссектрис треугольника
проведенных из вершины
Касательные, отличные от
прямой
проведенные из
и
к вписанной окружности, касаются её в точках
и
Докажите, что
и
лежат
на одной прямой.
Лемма. Пусть дана окружность и четыре точки
на ней. Возьмём произвольную точку
на окружности и проведём в ней
касательную. Теперь проведём касательную в точке
Обозначим точку пересечения двух проведённых касательных через
Аналогично определим точки
Утверждается, что
Доказательство. Рассмотрим окружность, касающуюся внутренним образом в точке
с два раза меньшим радиусом, чем у
Пусть
пересекает вторую окружность в
По построению окружности
Также нетрудно заметить, что точки
лежат на одной прямой, потому что
и
симметричны относительно
Аналогично определим точки
C
одной стороны,
потому что окружности гомотетичны. С другой стороны, через точку
можно
спроецировать
на
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Теперь применим её к задаче. По лемме Четвёрка
— гармоническая. Значит,
четырёхугольник
— гармонический. Отсюда получаем, что касательные в
и диагональ
пересекаются в одной точке,
что и требовалось.
Ошибка.
Попробуйте повторить позже
Докажите обобщение теоремы Дроз-Фарни: Если середины отрезков ,
,
заменить на точки
,
,
, делящие эти
отрезки в одном и том же отношении
, то точки
,
,
остаются коллинеарными.
Обозначим через прямые
через
прямые, проходящие через ортоцентр параллельно
соответственно. Далее обозначим через
прямые, проходящие через вершину
параллельно прямым
и пусть
— точки пересечения боковой стороны
с
и
соответственно.
Так как пучок является образом пучка
при повороте на прямой угол с центром в
ортоцентре,
тогда и только тогда, когда
Умножая на получаем:
С другой стороны, поскольку
следует, что
Что есть равенство двойных отношений и
Пересекая
с
и
с
заключаем:
Для точки обозначим через
вектор
где
— фиксированная точка в плоскости треугольника
Так как
существуют действительные числа
с
такие что:
Кроме того, поскольку делят отрезки
и
в одинаковом отношении, существуют
с
такие что:
Следовательно,
Учитывая, что это означает, что
лежит на прямой
Ошибка.
Попробуйте повторить позже
Четырёхугольник вписан в окружность
Касательная в точке
к окружности
пересекает луч
в точке
Прямая,
проходящая через точку
пересекает отрезок
в точке
отрезок
— в точке
отрезок
— в точке
а
окружность
— в точках
и
Оказалось, что
— середина отрезка
Докажите, что
— середина отрезка
Пусть — прямая, параллельная
и проходящая через
Обозначим за
вторую точку пересечения
и
Заметим, что
так как — середина
Проецируя эту четвёрку на окружность
из точки
получаем
Но тогда четырёхугольник — гармонический, а значит, касательная в точке
к
проходит через пересечение
и
касательной в
к
то есть через
Но теперь видим, что четырёхугольник — гармонический, так как касательные в
и
к
пересекают
в одной и той
же точке. Значит,
Проецируя эту четвёрку на прямую из точки
получаем, что
а отсюда и следует, что — середина
Ошибка.
Попробуйте повторить позже
Докажите, что вписанный четырехугольник является гармоническим тогда и только тогда, когда
Лемма. Пусть — точки на окружности. Тогда
Доказательство. Выберем на окружности точку и перепишем определение двойного отношение через синусы углов:
Из теоремы синусов известно, что
где — радиус описанной окружности. Тогда
______________________________________________________________________________________________________________________________________________________
Пусть тогда в силу леммы
следовательно,
то есть четырёхугольник гармонический.
В обратную сторону, если
то
Предположим, что Для точки
на окружности верно, что
но если двойное отношение четверки прямых равно то две из них совпадают, что неверно, поскольку точки
различны,
следовательно,
Ошибка.
Попробуйте повторить позже
Дан остроугольный треугольник Перпендикуляр из
к прямой
пересекает окружность, построенную на
как на
диаметре, в точках
и
(
ближе к
, чем
Аналогично перпендикуляр из
к прямой
пересекает окружность,
построенню на
как на диаметре, в точках
и
ближе к
чем
Докажите, что прямые
и
пересекаются в
одной точке либо параллельны.
Подсказка 1
У вас есть две прямые проходящие через ортоцентр, на них взяли по 3 точки, просят доказать, что прямые через них проходящие конкурентны. Какие способы доказательства подобного рода утверждений вы знаете?
Подсказка 2
Можно доказать, что двойные отношения на каждой прямой будут равны -1, тогда прямые пересекутся в одной точке(почему?).
Воспользуемся без доказательства следующим известным утверждением:
Лемма. Пусть — вписанный в окружность
четырехугольник. Прямые
и
пересекаются в точке
и
— в
точке
Прямая
пересекает
в точках
и
Тогда
______________________________________________________________________________________________________________________________________________________
Вернемся к доказательству задачи. Пусть — основания высот из вершин
соответственно,
— ортоцентр треугольника
Точки и
лежат на окружности с диаметром
кроме этого
и
точки пересечения соответственно пар прямых
и
следовательно, в силу леммы,
Аналогично,
Таким образом, соответствующие четверки
имеют равные двойные отношения и общую точку, что влечет конкурентность прямых, проведенных между соответствующими точками
указанных четверок.
Ошибка.
Попробуйте повторить позже
Чему равно двойное отношение если
— бесконечно удалённая?
Точка является бесконечно удаленной, следовательно,
Тогда по определению двойного отношения
Ошибка.
Попробуйте повторить позже
Докажите, что по трём точкам и двойному отношению
однозначно восстанавливается точка
По определению двойного отношения имеем
следовательно, значение
дано и равно числу
Если то векторы
противоположно направлены, т.е. точка
лежит на отрезке
Имеем
следовательно,
и точка определена однозначно.
Случай разбирается аналогично.
Ошибка.
Попробуйте повторить позже
Пусть прямые пересекаются в одной точке
а прямая
пересекает эти прямые в точках
соответственно. Докажите,
что
По теореме синусов для треугольников и
соответственно имеем
следовательно,
тогда поделив первое уравнение на второе, получим треуемое.
Ошибка.
Попробуйте повторить позже
Докажите, что следующие четверки гармонические.
(a) (
где
— середина отрезка
а
— бесконечно удаленная точка вдоль прямой
(b) На вещественной прямой отметим точки
Докажите, что
тогда и только
тогда, когда координата
равна среднему гармоническому чисел
и
(Отсюда и взялось название гармоническая
четверка).
Ошибка.
Попробуйте повторить позже
Пусть — различные точки, и
Тогда
Пусть
тогда
следовательно или
В первом случае, получим, что
что влечет противоречие, во втором же
Ошибка.
Попробуйте повторить позже
Теорема о полном четырёхстороннике. Продолжения сторон и
четырехугольника
пересекаются в точке
продолжения
и
— в точке
прямые
и
пересекают
в точках
и
Докажите, что
По теореме Чевы для треугольника и точки
имеем
По теореме Менелая для того же треугольника и прямой имеем
поделив первое из полученных равенств на второе и сократив обратные множители, получим требуемое.
Ошибка.
Попробуйте повторить позже
Постройте с помощью одной линейки к трем данным прямым, проходящим через одну точку, четвертую так, чтобы эти прямые образовывали гармоническую четверку.
Подсказка 1.
Если мы не знаем, что делать, то надо делать хоть что-то, что мы умеем! Проведём любую прямую, пересекающую исходные три в точках A, B, C. Хочется получить на этой прямой точку Y, чтобы (A, C; B, Y) = −1, тогда прямая, проходящая через Y, будет искомой.
Пусть все прямые проходят через точку Отметим на каждой прямой по точке. Обозначим их
Пусть прямая
пересекает
в точке
прямая
пересекает
в точке
прямая
пересекает
в точке
Пусть прямые
и
пересекаются в точке
Тогда мы знаем
Следовательно, прямая
является искомой. Все эти построения можно
сделать с помощью линейки, поэтому задача решена.
Ошибка.
Попробуйте повторить позже
Дан угол с вершиной и внутри него точка
Рассмотрим такие точки
на разных сторонах данного угла, что углы
и
равны. Докажите, что все прямые
проходят через одну точку (или параллельны).
Подсказка 1.
Для доказательства утверждения задачи достаточно понять, что если взять три положения точек (M,N), (M',N'), (M'', N"), то прямые MN, M'N', M''N'' пересекутся в одной точке. Это доказать легче, ведь не приходится работать со всеми положениями точек M и N, а всего с тремя. Как это можно доказать?
Отметим еще точки и
удовлетворяющие тому же условию. Достаточно доказать, что прямые
пересекаются в одной точке. Для этого достаточно проверить, что
что
равносильно равенству
которое верно в силу того, что двойное отношение
прямых определяется через синусы углов между ними, а у этих четверок прямых все соответственные углы между ними
равны.
Ошибка.
Попробуйте повторить позже
Лемма об изогоналях. Внутри угла проведены лучи
и
симметричные относительно биссектрисы этого угла. Если
—
точка пересечения
и
а
— точка пересечения
и
то лучи
и
также симметричны относительно
биссектрисы угла
Пусть прямые и
пересекают прямую
в точках
и
соответственно. Тогда заметим, что
а с другой стороны
Следовательно, верно равенство но в нем все соответственные прямые (кроме вторых)
совмещаются симметрией относительно биссектрисы угла
а значит, прямые
и
тоже ей совмещаются так, как двойное
отношение прямых зависит только от синусов углов между прямыми.
Ошибка.
Попробуйте повторить позже
В треугольнике высоты
и
пересекаются в точке
точка
— середина стороны
а
— точка пересечения
внутренних касательных к окружностям, вписанным в треугольники
и
Докажите, что точки
и
лежат на одной
прямой.
Источники:
Подсказка 1
Пока не совсем понятно, как доказывать вопрос задачи. Углы тут совсем никак не помогут, потому что к ним не подобраться... Давайте попробуем пока в принципе отметить факты на картинке, может быть, что-нибудь в дальнейшем увидим. Например, поймём, где у нас лежат центры вписанных окружностей? Какое дополнительное построение хорошо бы сделать, когда отмечена середина стороны?
Подсказка 2
Верно, центры окружностей лежат на серединном перпендикуляре к сторонам BF и CE, так как треугольники у нас равнобедренные. К тому же если у нас уже есть по средней линии в треугольниках, то давайте проведём ещё по одной параллельно сторонам BF и CE. Значит, у нас уже есть биссектрисы углов B и C, соотношения для которых мы уже можем записать. И попробуем поделить одно соотношение на другое, хуже нам от этого не станет, к тому же у них есть одинаковый отрезок. Давайте немного подумаем. Мы работаем только с отрезками... А как с помощью них можно доказать принадлежность трёх точек одной прямой?
Подсказка 3
Точно, можно доказать, что точка X переводится гомотетией в точку H. Но... Доказывать это через треугольники точно не хочется. Это нужно продлевать серперы до пересечения с линией, параллельной отрезку, проходящего через центры окружностей... Так мы ничего добьёмся. Давайте попробуем доказать утверждение через равенство отношения расстояний от точек X и H до серперов. Одно большое соотношение мы уже получили. Тогда давайте и попробуем выйти через него на отношение расстояний. Давайте взглянем ещё раз внимательно на условие. Чем мы ещё не пользовались?
Подсказка 4
Верно, мы совсем забыли про точку X, а она является центром гомотетии двух окружностей! То есть можем ещё записать отношения с радиусами и двумя отрезками, нужными нам. Остаются только некоторые технические преобразования с отношениями, и победа!
Первое решение.
Пусть
- середины высот
и
а
- середины отрезков
и
Обозначим окружности, вписанные в
треугольники
через
а их центры - через
и
соответственно. Треугольники
и
-
равнобедренные, поэтому точки
и
лежат на соответствующих высотах
и
этих треугольников. Отрезки
и
являются биссектрисами треугольников
и
поэтому, записывая для них основное свойство биссектрисы, получаем
соотношения
Разделив первое на второе и учитывая равенство
получаем, что
Поскольку
- центр гомотетии, переводящей
в
то
лежит на линии
и верно равенство:
Но
тогда
где обозначает расстояние от точки
до прямой
С другой стороны, по свойству средней линии
и
то есть
и
Значит
и
- прямоугольники, то есть
и
Тогда выполнены
равенства
где последнее равенство выполнено, поскольку и
есть в точности общие перпендикуляры к парам параллельных прямых
и
Собирая все доказанные равенства вместе, получаем, что
откуда следует, что точки
и
лежат на одной прямой.
Второе решение.
Как и в первом решении обозначим окружности, вписанные в треугольники и
через
их центры через
и
соответственно, а середины отрезков
и
— через
и
Пусть также
— точка пересечения внешних касательных к
Заметим, что четвёрка точек — гармоническая, то есть двойное отношение
равно
Спроецируем эту
четвёрку точек на прямую
с центром в точке
Точка
лежит на прямой
поскольку эта прямая является одной из внешних
касательных к
и
поэтому
перейдёт в
Точка
перейдёт в точку
пересечения прямых
и
которая является
серединой
поскольку в треугольнике
отрезок
— средняя линия. Точка
перейдёт в бесконечно удалённую точку
прямой
поскольку
Но при центральной проекции сохраняется двойное отношение четвёрки точек, а четвёрка — гармоническая. Значит,
образом точки
при данной проекции является точка
что и требовалось доказать.