Четвёрка со значением минус один
Двойное отношение четырёх точек прямой разбиралось в пятой статье серии. Определение в координатах:
Четвёрку называют гармонической, если это число равно . Знак минус означает, что одна из точек , лежит внутри отрезка , а другая снаружи; единица по модулю — что делят они его в одном и том же отношении.
По трём точкам четвёртая восстанавливается однозначно: условие даёт линейное уравнение,
Подведи C к середине AB — и D уедет в бесконечность. Это тот самый предельный случай.
Знаменатель обращается в ноль ровно тогда, когда — середина . Тогда четвёртая точка бесконечно удалённая; это тот случай, ради которого в пятой статье к прямой добавлялась ещё одна точка.
Соотношение, давшее название:
где все отрезки направленные; — среднее гармоническое двух других.
Гармоничность сохраняется при проекциях: двойное отношение при них не меняется, а значит, не меняется и равенство . Гармоническую четвёрку можно переносить с прямой на прямую, как любое значение двойного отношения.
Полный четырёхсторонник
Возьмём четыре точки общего положения , , , и проведём все шесть прямых через пары из них. Получится полный четырёхсторонник. У него три диагональные точки:
Пусть прямая пересекает в точке . Тогда четвёрка гармоническая.
Прямая PQ высекает на диагоналях точки M и N; обе четвёрки остаются равными −1 при любом положении вершин. Точки, уехавшие за край, не показываются.
Доказательство. Применим проективное преобразование, уводящее прямую в бесконечность. Двойное отношение при этом не меняется, поэтому достаточно доказать утверждение в новом положении.
Теперь и бесконечно удалены, то есть и . Четырёхугольник стал параллелограммом, а — точкой пересечения его диагоналей, то есть серединой . Точка лежит на прямой , ушедшей в бесконечность, поэтому она бесконечно удалена. По пятой статье
Построение четвёртой гармонической точки одной линейкой: даны три точки на прямой; достраиваем чертёж до полного четырёхсторонника, и пересечение даёт нужную точку. Ни циркуль, ни деления на линейке не нужны.
То же верно для второй диагонали: если пересекает в точке , то четвёрка гармоническая. Доказательство то же.
Поляра точки
Возьмём окружность с центром и радиусом и точку . Будем считать все точки векторами из центра. Полярой точки называется множество
где — скалярное произведение векторов, отложенных из центра окружности.
Условие линейно по , значит, поляра — прямая. Она перпендикулярна : скалярное произведение с постоянно ровно на прямых, перпендикулярных . Расстояние от центра до неё находится подстановкой точки :
Это расстояние даёт инверсия из четвёртой статьи: поляра проходит через образ при инверсии относительно окружности и перпендикулярна . Это первое описание.
Заведи P внутрь круга — поляра уйдёт наружу, а касательных не останется. Подведи Q к поляре P: два расстояния обнулятся одновременно.
Второе описание: гармоническое сопряжение
Проведём через секущую, пересекающую окружность в точках и , и возьмём точку , гармонически сопряжённую относительно и . Утверждение: все такие лежат на поляре.
Поворачивай секущую: точка Z с (X, Y; P, Z) = −1 всё время остаётся на красной прямой — поляре точки P. Это верно и для внутренней точки P.
Доказательство. Пусть — середина хорды , а — единичный вектор вдоль секущей. Из определения гармонической четвёрки в координатах на этой прямой получается равенство
где вектор перпендикулярен , поскольку радиус в середину хорды перпендикулярен ей. Запишем и , где . Тогда
Скалярное произведение равно , то есть лежит на поляре . Оба описания совпали. Выражение симметрично, поэтому утверждение « на поляре » равносильно утверждению « на поляре »; этому посвящён пятый раздел.
Точка снаружи и на окружности
Определение поляры одно, но вид её зависит от положения точки.
Снаружи поляра — хорда касания T₁T₂; на окружности — касательная; внутри — прямая вне круга, тем дальше, чем ближе P к центру.
Точка снаружи
Пусть . Из к окружности проводятся две касательные; обозначим точки касания и . Радиус перпендикулярен касательной, поэтому , а значит,
Обе точки касания удовлетворяют уравнению поляры. Через две точки проходит одна прямая, поэтому поляра внешней точки — хорда, соединяющая точки касания.
Точка на окружности
Если , сама точка удовлетворяет уравнению: . Поляра проходит через и перпендикулярна — это касательная в точке .
Точка внутри
Если , расстояние от центра до поляры равно , и прямая проходит вне круга. Касательных из внутренней точки нет, хорды касания тоже; остаётся определение через гармоническое сопряжение.
Когда точка приближается к окружности снаружи, две точки касания сближаются, и хорда стягивается в касательную. Когда точка уходит внутрь, поляра удаляется от круга тем дальше, чем ближе точка к центру. У самого центра поляра бесконечно удалена.
Теорема Брокара
Уравнение поляры симметрично относительно двух точек:
Левая часть означает, что лежит на поляре , правая — что лежит на поляре . Утверждения равносильны.
Следствие. Если точка пробегает прямую , то поляры всех таких точек проходят через одну точку — полюс прямой , то есть точку , полярой которой служит . Действительно, на поляре равносильно тому, что на поляре .
Пока X движется по ℓ, её поляра (красная) поворачивается вокруг полюса L; бледный пунктир — поляры других точек той же прямой.
Самополярный треугольник
Возьмём четыре точки на окружности и достроим полный четырёхсторонник, как во втором разделе. Его диагональный треугольник обладает свойством: поляра каждой вершины — противоположная сторона. Такой треугольник называют самополярным.
Пунктирные прямые — поляры вершин P, Q, R; каждая совпадает с противоположной стороной красного треугольника. Серые отрезки из O перпендикулярны сторонам: O — ортоцентр.
Доказательство. Из второго раздела четвёрка гармоническая, где — пересечение с прямой . Точки и лежат на окружности, а — секущая через ; по второму описанию поляры точка лежит на поляре .
Для секущей так же получаем, что точка лежит на поляре . Через и проходит прямая , следовательно, поляра — это прямая . Для двух других вершин рассуждение то же.
Поляра перпендикулярна прямой, соединяющей центр с полюсом, поэтому , , : центр окружности — ортоцентр диагонального треугольника. В этом виде утверждение и называют теоремой Брокара.
Точка и прямая меняются местами
Соответствие «точка — её поляра» переводит точки плоскости в прямые, а прямые — в точки. Взаимность из предыдущего раздела означает, что оно переводит и отношения между ними: если точка лежит на прямой, то полюс этой прямой лежит на поляре точки.
Словарь перевода утверждений:
| было | стало |
|---|---|
| точка | прямая |
| прямая через две точки | точка пересечения двух прямых |
| три точки на одной прямой | три прямые через одну точку |
| точка на окружности | касательная к окружности |
Верное утверждение, записанное в этих терминах, после перевода остаётся верным: доказательство переводится вместе с формулировкой.
Паскаль и Брианшон
Теорема Паскаля: если шесть точек лежат на окружности, то три точки пересечения противоположных сторон шестиугольника лежат на одной прямой.
Порядок точек на окружности можно менять как угодно — шестиугольник станет самопересекающимся, а прямая Паскаля останется.
Переведём её по словарю. Шесть точек окружности станут шестью касательными, то есть описанным шестиугольником. Стороны, соединяющие соседние точки, станут вершинами описанного шестиугольника. Точка пересечения противоположных сторон станет прямой, соединяющей противоположные вершины, то есть диагональю. «Три точки на одной прямой» станет «три прямые через одну точку».
Получилось: у описанного шестиугольника три главные диагонали пересекаются в одной точке. Это теорема Брианшона.
Стороны шестиугольника — касательные в шести точках. Диагонали V₁V₄, V₂V₅, V₃V₆ проходят через одну точку.
Оговорка: двойственность работает относительно фиксированной окружности, и все объекты задачи должны быть связаны с ней. Если в условии две окружности, переводить можно только относительно одной, а вторая при этом превращается в кривую второго порядка, вообще говоря, не окружность.
Разбор задачи
Из точки вне окружности проведены две секущие: первая пересекает окружность в точках и , вторая — в точках и . Докажем, что точки
лежат на поляре точки , то есть прямая и есть эта поляра.
Оранжевые прямые дают Q = AD ∩ BC, фиолетовые — R = AC ∩ BD; обе точки лежат на красной поляре. Заведи P внутрь круга: построение работает и там.
Четыре точки , , , задают полный четырёхсторонник, и — одна из его диагональных точек: пересечение и . Две другие диагональные точки — и .
По второму разделу прямая высекает на секущей точку, которая вместе с гармонически сопряжена относительно и . По второму описанию поляры такая точка лежит на поляре . То же для второй секущей: прямая высекает на ещё одну точку поляры.
Две точки поляры найдены, обе лежат на . Значит, — поляра , и , лежат на ней.
Следствия
Построение поляры одной линейкой: провести две секущие, соединить накрест, провести прямую через две полученные точки. Касательные строить не нужно, и построение работает для внутренней точки, у которой касательных нет.
Если прямая оказывается полярой точки, неподвижной по условию, то и прямая неподвижна. Обратно: если семейство прямых проходит через одну точку, их полюсы лежат на одной прямой.
Точки касания из — пересечения поляры с окружностью, поэтому построенная линейкой прямая даёт и обе точки касания.
Задачи на полюс и поляру
Рассмотрим две классические задачи, где перевод на язык полюсов и поляр упрощает подход к решению.
Проверь себя
Посчитай, впиши ответ и нажми «Проверить». Разбор открывается кнопкой под задачей. Всё нужное для решения собрано в трёх формулах.
У каждой точки есть своя прямая, и это соответствие работает в обе стороны.
В Компендиуме разбираем конструкции, которые превращают одну теорему в две.
залетай в Академию→