Математика · Геометрия

Полюс и поляра

Поляра точки и полюс прямой, гармонические четвёрки, теорема Брокара и двойственность Паскаля и Брианшона

У каждой точки относительно окружности есть своя прямая, у каждой прямой — своя точка. Соответствие взаимно: если поляра одной точки проходит через другую, то и поляра второй проходит через первую. Это соответствие строится через гармоническую четвёрку, даёт теорему Брокара и доводится до двойственности, в которой Паскаль и Брианшон оказываются одной теоремой.

  • геометрия
  • поляра
  • двойственность
  • олимпиады
  • Арцгольд Максим Дмитриевичфизик, главный редактор, руководитель "Академии"
  • Ребрикова Мария Максимовнавыпускающий редактор

Листай вниз

01гармония

Четвёрка со значением минус один

Двойное отношение четырёх точек прямой разбиралось в пятой статье серии. Определение в координатах:

(A,B;C,D)=(c−a)(b−d)(b−c)(d−a).(A,B;C,D)=\frac{(c-a)(b-d)}{(b-c)(d-a)}.

Четвёрку называют гармонической, если это число равно −1-1. Знак минус означает, что одна из точек CC, DD лежит внутри отрезка ABAB, а другая снаружи; единица по модулю — что делят они его в одном и том же отношении.

По трём точкам четвёртая восстанавливается однозначно: условие даёт линейное уравнение,

d=ac+bc−2ab2c−a−b.d=\frac{ac+bc-2ab}{2c-a-b}.
———

Подведи C к середине AB — и D уедет в бесконечность. Это тот самый предельный случай.

Знаменатель обращается в ноль ровно тогда, когда CC — середина ABAB. Тогда четвёртая точка бесконечно удалённая; это тот случай, ради которого в пятой статье к прямой добавлялась ещё одна точка.

Соотношение, давшее название:

2AB=1AC+1AD,\frac{2}{AB}=\frac{1}{AC}+\frac{1}{AD},

где все отрезки направленные; ABAB — среднее гармоническое двух других.

Гармоничность сохраняется при проекциях: двойное отношение при них не меняется, а значит, не меняется и равенство −1-1. Гармоническую четвёрку можно переносить с прямой на прямую, как любое значение двойного отношения.

02построение

Полный четырёхсторонник

Возьмём четыре точки общего положения AA, BB, CC, DD и проведём все шесть прямых через пары из них. Получится полный четырёхсторонник. У него три диагональные точки:

P=AB∩CD,Q=AD∩BC,R=AC∩BD.P=AB\cap CD,\qquad Q=AD\cap BC,\qquad R=AC\cap BD.

Пусть прямая PQPQ пересекает ACAC в точке MM. Тогда четвёрка (A,C;R,M)(A,C;R,M) гармоническая.

——

Прямая PQ высекает на диагоналях точки M и N; обе четвёрки остаются равными −1 при любом положении вершин. Точки, уехавшие за край, не показываются.

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

Теперь PP и QQ бесконечно удалены, то есть AB∥CDAB\parallel CD и AD∥BCAD\parallel BC. Четырёхугольник ABCDABCD стал параллелограммом, а RR — точкой пересечения его диагоналей, то есть серединой ACAC. Точка MM лежит на прямой PQPQ, ушедшей в бесконечность, поэтому она бесконечно удалена. По пятой статье

(A,C;середина,∞)=−1.(A,C;\text{середина},\infty)=-1.

Построение четвёртой гармонической точки одной линейкой: даны три точки на прямой; достраиваем чертёж до полного четырёхсторонника, и пересечение даёт нужную точку. Ни циркуль, ни деления на линейке не нужны.

То же верно для второй диагонали: если PQPQ пересекает BDBD в точке NN, то четвёрка (B,D;R,N)(B,D;R,N) гармоническая. Доказательство то же.

03определение

Поляра точки

Возьмём окружность с центром OO и радиусом RR и точку P≠OP\ne O. Будем считать все точки векторами из центра. Полярой точки PP называется множество

⟨X,P⟩=R2\langle X,P\rangle=R^{2}

где ⟨ ⋅ ,⋅ ⟩\langle\,\cdot\,,\cdot\,\rangle — скалярное произведение векторов, отложенных из центра окружности.

Условие линейно по XX, значит, поляра — прямая. Она перпендикулярна OPOP: скалярное произведение с PP постоянно ровно на прямых, перпендикулярных PP. Расстояние от центра до неё находится подстановкой точки X=λPX=\lambda P:

λ∣P∣2=R2 ⟹ d(O,поляра)=R2OP.\lambda|P|^2=R^2\ \Longrightarrow\ d(O,\text{поляра})=\frac{R^2}{OP}.

Это расстояние даёт инверсия из четвёртой статьи: поляра проходит через образ PP при инверсии относительно окружности и перпендикулярна OPOP. Это первое описание.

——
—

Заведи P внутрь круга — поляра уйдёт наружу, а касательных не останется. Подведи Q к поляре P: два расстояния обнулятся одновременно.

Второе описание: гармоническое сопряжение

Проведём через PP секущую, пересекающую окружность в точках XX и YY, и возьмём точку ZZ, гармонически сопряжённую PP относительно XX и YY. Утверждение: все такие ZZ лежат на поляре.

——

Поворачивай секущую: точка Z с (X, Y; P, Z) = −1 всё время остаётся на красной прямой — поляре точки P. Это верно и для внутренней точки P.

Доказательство. Пусть MM — середина хорды XYXY, а uu — единичный вектор вдоль секущей. Из определения гармонической четвёрки в координатах на этой прямой получается равенство

MP‾⋅MZ‾=MX2=R2−∣M∣2,\overline{MP}\cdot\overline{MZ}=MX^2=R^2-|M|^2,

где вектор MM перпендикулярен uu, поскольку радиус в середину хорды перпендикулярен ей. Запишем P=M+tuP=M+tu и Z=M+suZ=M+su, где ts=R2−∣M∣2ts=R^2-|M|^2. Тогда

⟨Z,P⟩=⟨M+su,  M+tu⟩=∣M∣2+st=∣M∣2+R2−∣M∣2=R2.\langle Z,P\rangle=\langle M+su,\;M+tu\rangle=|M|^2+st=|M|^2+R^2-|M|^2=R^2.

Скалярное произведение равно R2R^2, то есть ZZ лежит на поляре PP. Оба описания совпали. Выражение ⟨Z,P⟩\langle Z,P\rangle симметрично, поэтому утверждение «ZZ на поляре PP» равносильно утверждению «PP на поляре ZZ»; этому посвящён пятый раздел.

04частные случаи

Точка снаружи и на окружности

Определение поляры одно, но вид её зависит от положения точки.

——

Снаружи поляра — хорда касания T₁T₂; на окружности — касательная; внутри — прямая вне круга, тем дальше, чем ближе P к центру.

Точка снаружи

Пусть OP>ROP>R. Из PP к окружности проводятся две касательные; обозначим точки касания T1T_1 и T2T_2. Радиус перпендикулярен касательной, поэтому ⟨T, P−T⟩=0\langle T,\,P-T\rangle=0, а значит,

⟨T,P⟩=∣T∣2=R2.\langle T,P\rangle=|T|^2=R^2.

Обе точки касания удовлетворяют уравнению поляры. Через две точки проходит одна прямая, поэтому поляра внешней точки — хорда, соединяющая точки касания.

Точка на окружности

Если OP=ROP=R, сама точка удовлетворяет уравнению: ⟨P,P⟩=R2\langle P,P\rangle=R^2. Поляра проходит через PP и перпендикулярна OPOP — это касательная в точке PP.

Точка внутри

Если OP<ROP<R, расстояние от центра до поляры равно R2/OP>RR^2/OP>R, и прямая проходит вне круга. Касательных из внутренней точки нет, хорды касания тоже; остаётся определение через гармоническое сопряжение.

Когда точка приближается к окружности снаружи, две точки касания сближаются, и хорда стягивается в касательную. Когда точка уходит внутрь, поляра удаляется от круга тем дальше, чем ближе точка к центру. У самого центра поляра бесконечно удалена.

05взаимность

Теорема Брокара

Уравнение поляры симметрично относительно двух точек:

⟨Q,P⟩=R2 ⟺ ⟨P,Q⟩=R2.\langle Q,P\rangle=R^2\ \Longleftrightarrow\ \langle P,Q\rangle=R^2.

Левая часть означает, что QQ лежит на поляре PP, правая — что PP лежит на поляре QQ. Утверждения равносильны.

Следствие. Если точка XX пробегает прямую ℓ\ell, то поляры всех таких точек проходят через одну точку — полюс прямой ℓ\ell, то есть точку LL, полярой которой служит ℓ\ell. Действительно, XX на поляре LL равносильно тому, что LL на поляре XX.

—

Пока X движется по ℓ, её поляра (красная) поворачивается вокруг полюса L; бледный пунктир — поляры других точек той же прямой.

Самополярный треугольник

Возьмём четыре точки на окружности и достроим полный четырёхсторонник, как во втором разделе. Его диагональный треугольник PQRPQR обладает свойством: поляра каждой вершины — противоположная сторона. Такой треугольник называют самополярным.

—
—

Пунктирные прямые — поляры вершин P, Q, R; каждая совпадает с противоположной стороной красного треугольника. Серые отрезки из O перпендикулярны сторонам: O — ортоцентр.

Доказательство. Из второго раздела четвёрка (A,C;R,M)(A,C;R,M) гармоническая, где MM — пересечение ACAC с прямой PQPQ. Точки AA и CC лежат на окружности, а ACAC — секущая через RR; по второму описанию поляры точка MM лежит на поляре RR.

Для секущей BDBD так же получаем, что точка N=BD∩PQN=BD\cap PQ лежит на поляре RR. Через MM и NN проходит прямая PQPQ, следовательно, поляра RR — это прямая PQPQ. Для двух других вершин рассуждение то же.

Поляра перпендикулярна прямой, соединяющей центр с полюсом, поэтому OR⊥PQOR\perp PQ, OP⊥QROP\perp QR, OQ⊥RPOQ\perp RP: центр окружности — ортоцентр диагонального треугольника. В этом виде утверждение и называют теоремой Брокара.

06двойственность

Точка и прямая меняются местами

Соответствие «точка — её поляра» переводит точки плоскости в прямые, а прямые — в точки. Взаимность из предыдущего раздела означает, что оно переводит и отношения между ними: если точка лежит на прямой, то полюс этой прямой лежит на поляре точки.

Словарь перевода утверждений:

былостало
точкапрямая
прямая через две точкиточка пересечения двух прямых
три точки на одной прямойтри прямые через одну точку
точка на окружностикасательная к окружности

Верное утверждение, записанное в этих терминах, после перевода остаётся верным: доказательство переводится вместе с формулировкой.

Паскаль и Брианшон

Теорема Паскаля: если шесть точек лежат на окружности, то три точки пересечения противоположных сторон шестиугольника лежат на одной прямой.

—

Порядок точек на окружности можно менять как угодно — шестиугольник станет самопересекающимся, а прямая Паскаля останется.

Переведём её по словарю. Шесть точек окружности станут шестью касательными, то есть описанным шестиугольником. Стороны, соединяющие соседние точки, станут вершинами описанного шестиугольника. Точка пересечения противоположных сторон станет прямой, соединяющей противоположные вершины, то есть диагональю. «Три точки на одной прямой» станет «три прямые через одну точку».

Получилось: у описанного шестиугольника три главные диагонали пересекаются в одной точке. Это теорема Брианшона.

—

Стороны шестиугольника — касательные в шести точках. Диагонали V₁V₄, V₂V₅, V₃V₆ проходят через одну точку.

Оговорка: двойственность работает относительно фиксированной окружности, и все объекты задачи должны быть связаны с ней. Если в условии две окружности, переводить можно только относительно одной, а вторая при этом превращается в кривую второго порядка, вообще говоря, не окружность.

07применение

Разбор задачи

Из точки PP вне окружности проведены две секущие: первая пересекает окружность в точках AA и BB, вторая — в точках CC и DD. Докажем, что точки

Q=AD∩BC,R=AC∩BDQ=AD\cap BC,\qquad R=AC\cap BD

лежат на поляре точки PP, то есть прямая QRQR и есть эта поляра.

—

Оранжевые прямые дают Q = AD ∩ BC, фиолетовые — R = AC ∩ BD; обе точки лежат на красной поляре. Заведи P внутрь круга: построение работает и там.

Четыре точки AA, BB, CC, DD задают полный четырёхсторонник, и PP — одна из его диагональных точек: пересечение ABAB и CDCD. Две другие диагональные точки — QQ и RR.

По второму разделу прямая QRQR высекает на секущей ABAB точку, которая вместе с PP гармонически сопряжена относительно AA и BB. По второму описанию поляры такая точка лежит на поляре PP. То же для второй секущей: прямая QRQR высекает на CDCD ещё одну точку поляры.

Две точки поляры найдены, обе лежат на QRQR. Значит, QRQR — поляра PP, и QQ, RR лежат на ней.

Следствия

Построение поляры одной линейкой: провести две секущие, соединить накрест, провести прямую через две полученные точки. Касательные строить не нужно, и построение работает для внутренней точки, у которой касательных нет.

Если прямая оказывается полярой точки, неподвижной по условию, то и прямая неподвижна. Обратно: если семейство прямых проходит через одну точку, их полюсы лежат на одной прямой.

Точки касания из PP — пересечения поляры с окружностью, поэтому построенная линейкой прямая QRQR даёт и обе точки касания.

08задачи

Задачи на полюс и поляру

Рассмотрим две классические задачи, где перевод на язык полюсов и поляр упрощает подход к решению.

1

Лемма о симедиане

Касательные к описанной окружности треугольника ABCABC в точках BB и CC пересекаются в точке DD. Докажите, что прямая ADAD — симедиана треугольника, то есть прямая, симметричная медиане из AA относительно биссектрисы угла AA.

——

D — полюс прямой BC. Красная прямая AD симметрична медиане AM (пунктир) относительно биссектрисы, а ABA′C — гармонический четырёхугольник.

Решение

Точка DD — полюс прямой BCBC. Пусть прямая ADAD вторично пересекает окружность в A′A', а BCBC — в точке XX. Прямая BCBC — поляра DD, поэтому по второму описанию поляры четвёрка (A,A′;D,X)(A,A';D,X) гармоническая. Спроектируем её из BB на окружность: A→AA\to A, A′→A′A'\to A', D→BD\to B (касательная), X→CX\to C. Значит, (A,A′;B,C)ω=−1(A,A';B,C)_\omega=-1: четырёхугольник ABA′CABA'C гармонический.

По формуле через хорды из пятой статьи модуль двойного отношения равен AB⋅A′CBA′⋅AC\dfrac{AB\cdot A'C}{BA'\cdot AC}, поэтому

ABAC=A′BA′C=sin⁡∠BAA′sin⁡∠CAA′,\frac{AB}{AC}=\frac{A'B}{A'C}=\frac{\sin\angle BAA'}{\sin\angle CAA'},

где последнее равенство — теорема синусов: хорды A′BA'B и A′CA'C пропорциональны синусам вписанных углов при AA. Для медианы AMAM из равенства площадей треугольников ABMABM и ACMACM получаем sin⁡∠BAMsin⁡∠CAM=ACAB\dfrac{\sin\angle BAM}{\sin\angle CAM}=\dfrac{AC}{AB}. Отношения синусов для AA′AA' и AMAM обратны друг другу, то есть углы ∠BAA′=∠CAM\angle BAA'=\angle CAM и ∠CAA′=∠BAM\angle CAA'=\angle BAM: прямые AA′AA' и AMAM симметричны относительно биссектрисы.

2

Описанный четырёхугольник

Окружность вписана в четырёхугольник ABCDABCD и касается сторон ABAB, BCBC, CDCD, DADA в точках KK, LL, MM, NN. Докажите, что прямые ACAC, BDBD, KMKM и LNLN проходят через одну точку.

—

Красные диагонали и голубые хорды KM, LN проходят через одну точку при любом положении точек касания.

Решение

Стороны четырёхугольника — касательные, поэтому вершины — полюсы хорд: AA — полюс NKNK, BB — полюс KLKL, CC — полюс LMLM, DD — полюс MNMN.

Рассмотрим вписанный четырёхугольник KLMNKLMN и его диагональные точки X=KM∩LNX=KM\cap LN, Y=KL∩MNY=KL\cap MN, Z=KN∩LMZ=KN\cap LM. По теореме Брокара поляра точки XX — прямая YZYZ.

Полюс прямой ACAC — точка пересечения поляр AA и CC, то есть NK∩LM=ZNK\cap LM=Z. Точка ZZ лежит на поляре XX, значит, по взаимности XX лежит на поляре ZZ, а это прямая ACAC. Так же полюс BDBD — точка KL∩MN=YKL\cap MN=Y, она лежит на поляре XX, и XX лежит на BDBD. Итак, XX — общая точка всех четырёх прямых.

09задачи

Проверь себя

Посчитай, впиши ответ и нажми «Проверить». Разбор открывается кнопкой под задачей. Всё нужное для решения собрано в трёх формулах.

⟨X,P⟩=R2d(O,поляра)=R2OP2AB=1AC+1AD.\begin{gathered} \langle X,P\rangle=R^2 \\[8pt] d(O,\text{поляра})=\frac{R^2}{OP} \\[8pt] \frac{2}{AB}=\frac{1}{AC}+\frac{1}{AD}. \end{gathered}
1
Радиус окружности равен 66, точка удалена от центра на 99. Найди расстояние от центра до поляры этой точки.
d=d =
Разбор

Решение

d=R2OP=369=4.d=\frac{R^2}{OP}=\frac{36}{9}=4.

Точка была снаружи, поляра прошла внутри круга — это хорда касания.

Ответ: 44
2
Чем является поляра точки, лежащей на самой окружности?
Разбор

Решение

Условие ⟨P,P⟩=R2\langle P,P\rangle=R^2 выполнено, поэтому точка лежит на своей поляре. Прямая перпендикулярна радиусу и проходит через точку окружности — это касательная.

Ответ: касательной в этой точке
3
Четвёрка (A,B;C,D)(A,B;C,D) гармоническая, AB=2AB=2, AD=6AD=6. Найди ACAC.
AC=AC =
Разбор

Решение

Подставим в соотношение со средним гармоническим:

22=1AC+16 ⟹ 1AC=56 ⟹ AC=1,2.\frac{2}{2}=\frac{1}{AC}+\frac{1}{6}\ \Longrightarrow\ \frac{1}{AC}=\frac56\ \Longrightarrow\ AC=1{,}2.

Точка CC лежит внутри отрезка, точка DD — снаружи.

Ответ: 1,21{,}2
4
Верно ли, что поляра точки, лежащей строго внутри окружности, не имеет с окружностью общих точек?
Разбор

Решение

Расстояние от центра до поляры равно R2/OPR^2/OP. При OP<ROP<R оно больше RR, значит прямая целиком вне круга.

Ответ: верно
5
Радиус равен 55, точка удалена от центра на 1313. Найди длину хорды касания.
длина хорды ==
Разбор

Решение

Половина хорды — катет прямоугольного треугольника с гипотенузой RR и вторым катетом R2/OPR^2/OP. Проще посчитать через площадь треугольника OTPOTP: длина касательной равна 1212, и

хорда2=R⋅PTOP=5⋅1213=6013.\frac{\text{хорда}}{2}=\frac{R\cdot PT}{OP}=\frac{5\cdot12}{13}=\frac{60}{13}.

Значит, вся хорда равна 120/13≈9,23120/13\approx9{,}23.

Ответ: 120/13≈9,23120/13 \approx 9{,}23
6
Радиус равен 66. Точка QQ лежит на поляре точки PP, причём OQ=9OQ=9. Найди расстояние от центра до поляры QQ.
d=d =
Разбор

Решение

Расстояние считается по той же формуле: R2/OQ=36/9=4R^2/OQ=36/9=4. По теореме Брокара поляра QQ проходит через PP, но на ответ это не влияет.

Ответ: 44

У каждой точки есть своя прямая, и это соответствие работает в обе стороны.

В Компендиуме разбираем конструкции, которые превращают одну теорему в две.

залетай в Академию→