Произведение отрезков секущей
Возьмём окружность с центром и радиусом и точку вне её. Проведём через прямую, пересекающую окружность в точках и . Покажем, что произведение не зависит от выбора прямой.
Пусть — середина хорды . Отрезок , соединяющий центр с серединой хорды, перпендикулярен ей. Точки и отстоят от на одно расстояние , а лежит на той же прямой вне отрезка , поэтому
и произведение равно разности квадратов:
Голубой треугольник — OMP, оранжевый — OMA, оба прямоугольные при M. Произведение PA · PB равно PM² − MA² и совпадает с d² − R².
Оба квадрата выражаются через . Треугольник прямоугольный с прямым углом при , поэтому . Треугольник тоже прямоугольный, его гипотенуза — радиус: . Подставим:
Длина сократилась. От выбора прямой зависела только она, а в правой части остались и . Значит, для любой другой секущей через произведение то же:
Поворачивай секущие — произведения не меняются. Заведи P внутрь круга: величина d² − R² становится отрицательной.
Точка внутри окружности
Пусть теперь лежит внутри круга. Проведём через хорду и снова выразим через и .
Счёт тот же. — середина хорды, , но теперь лежит между и , поэтому
и
Голубой треугольник — OMP, оранжевый — OMA, оба прямоугольные. Произведение PA · PB равно MA² − PM² и совпадает с R² − d².
Ответ снова выражается через , но с противоположным знаком: снаружи произведение равно , внутри — .
Различие исчезает, если считать отрезки направленными. Выберем на прямой направление и будем писать со знаком: плюс, если от к идём по направлению прямой, минус, если против. Для внешней точки и лежат по одну сторону от , знаки совпадают, и произведение положительно. Для внутренней они по разные стороны, знаки разные, и произведение отрицательно. В обоих случаях
направление прямой выбираем как угодно: при его смене оба знака меняются разом, а произведение остаётся
Для точки на окружности выражение равно нулю: одна из точек , совпадает с , и один из отрезков нулевой.
Степень точки через расстояние
У получившейся величины есть своё название. Степенью точки относительно окружности с центром и радиусом называют число
где . Снаружи она положительна, внутри отрицательна, на окружности равна нулю.
Разность двух полей обращается в ноль вдоль прямой. Двигай радиусы — прямая едет, но остаётся перпендикулярной линии центров.
В определении секущих нет. Секущая — один из способов вычислить степень; есть и другие.
Проще всего — через касательную. Будем поворачивать секущую из внешней точки, пока и не сольются в точку касания . Произведение перейдёт в , поэтому
То же даёт теорема Пифагора для треугольника . Радиус перпендикулярен касательной, угол при прямой, гипотенуза , катет :
Угол при T прямой, гипотенуза OP = d, катет OT = R. Двигай P: квадрат касательной равен d² − R².
Для внутренней точки касательной нет, и степень отрицательна.
Если записать окружность уравнением , то степень точки — левая часть, в которую подставлены координаты точки: раскрытие скобок в даёт именно такой многочлен. Степень определена во всех точках плоскости, а окружность — множество точек, где она равна нулю.
Где две степени равны
Возьмём две окружности и найдём точки , у которых степени относительно обеих равны:
В координатах слева и справа стоят многочлены второй степени с одинаковыми старшими членами . После переноса в одну сторону они сокращаются, и остаётся уравнение первой степени:
Это уравнение прямой. Её называют радикальной осью двух окружностей. Коэффициенты при и пропорциональны координатам вектора , поэтому ось перпендикулярна линии центров.
радикальная ось перпендикулярна линии центров
Найдём, где ось пересекает линию центров. Пусть — расстояние между центрами, а — расстояние от до точки пересечения. Приравняем степени этой точки:
Ось перпендикулярна линии центров и пересекает её в точке F. Для любой точки X на оси степени равны, а касательные к обеим окружностям — одной длины.
Положение оси зависит от расположения окружностей. Если они пересекаются, ось проходит через обе точки пересечения: в них обе степени равны нулю. Если окружности касаются, ось — общая касательная в точке касания. Если общих точек нет, ось существует, но её приходится строить.
Последний случай — основной. С осью непересекающихся окружностей работают так же, как с общей хордой пересекающихся.
Три окружности и одна точка
Возьмём три окружности, центры которых не лежат на одной прямой. У каждой пары есть своя радикальная ось — всего три прямые. Они пересекаются в одной точке.
Доказательство короткое. Пусть — точка пересечения первых двух осей. На первой оси , на второй . Значит,
а это условие того, что лежит и на третьей оси. Точку называют радикальным центром трёх окружностей.
Если центры лежат на одной прямой, все три оси ей перпендикулярны и параллельны между собой. Общей точки тогда нет; это единственное исключение.
Три касательные из отмеченной точки равны между собой — это одна и та же степень. Поставь центры на одну прямую — точка уходит, и оси становятся параллельными.
Применения
Во-первых, так строят радикальную ось двух непересекающихся окружностей. Проведём любую третью окружность, пересекающую обе. Её оси с первой и со второй — общие хорды, они видны на чертеже. Точка пересечения хорд лежит на искомой оси. Вторая вспомогательная окружность даёт вторую точку, а через две точки проводится прямая.
Во-вторых, радикальный центр даёт признак того, что три прямые пересекаются в одной точке. Если каждая из трёх прямых — общая хорда какой-то пары из трёх окружностей, то все три прямые — радикальные оси, и они проходят через радикальный центр.
В-третьих, если радикальный центр лежит вне всех трёх окружностей, касательные из него к трём окружностям равны: их длины — корень из одной и той же степени. Окружность с центром в этой точке и таким радиусом пересекает все три окружности под прямым углом.
Семейство с общей осью
Зафиксируем прямую и соберём все окружности, для которых она служит радикальной осью. Такое семейство называют коаксиальным пучком. Центры всех его окружностей лежат на одном перпендикуляре к оси: ось перпендикулярна линии центров любой пары.
Пусть ось вертикальна, а линия центров горизонтальна. Окружность с центром на расстоянии от оси принадлежит пучку, если её степень в точках оси не зависит от . Запишем степень точки оси, отстоящей от линии центров на :
где — одно и то же число для всего пучка. Вид пучка зависит от знака .
Ось у всего семейства одна. Во втором режиме радиус обращается в ноль — окружность сжимается в предельную точку.
При радиус определён для любого ; при получается окружность с центром на оси. Все окружности пучка проходят через две общие точки — они лежат на оси на расстоянии от линии центров.
При радиус существует только при . Общих точек у окружностей нет, а при радиус обращается в ноль. Две такие точки называют предельными точками пучка: это окружности нулевого радиуса.
Оба вида пучка переходят друг в друга при инверсии, которая разбирается в четвёртой статье серии. Инверсия с центром в предельной точке переводит пучок в семейство концентрических окружностей.
Применение в задачах
Степень точки применяется в задачах тремя способами: как признак того, что четыре точки лежат на одной окружности, как способ вычислить длину отрезка и как радикальная ось, которую можно провести на любом чертеже с двумя окружностями.
Признак четырёх точек
Равенство верно и в обратную сторону. Если прямые и пересекаются в точке , а произведения направленных отрезков совпадают, то , , , лежат на одной окружности. Доказательство от противного: окружность через , , пересекает прямую вторично в единственной точке, и её положение определяется произведением однозначно.
Точка D взята на прямой PC так, что PC · PD = PA · PB (со знаком). Окружность через A, B, C проходит через D; заведи P внутрь — равенство работает и там.
Это второй признак того, что четыре точки лежат на одной окружности, после равенства углов из первой статьи серии. Признак выбирают по данным условия: если даны отрезки — степень точки, если углы — ориентированные углы.
Длина касательной
Из внешней точки к окружности проведены касательная и секущая. Если известны два отрезка секущей, длина касательной равна
Так же считается общая касательная двух окружностей. Для внешней касательной перенесём её параллельно на меньший радиус: получится прямоугольный треугольник с катетом и гипотенузой , откуда .
Радикальная ось на чертеже
Если в условии есть две окружности, у них есть радикальная ось. Часто прямая, о которой спрашивают в задаче, — общая хорда, общая касательная, прямая через три данные точки — совпадает с ней. Чтобы это проверить, достаточно сравнить степени.
Задачи на радикальную ось
Рассмотрим две задачи с реальных олимпиад, где прямая из условия оказывается радикальной осью, и это сразу даёт решение.
Проверь себя
Посчитай, впиши ответ и нажми «Проверить». Разбор открывается кнопкой под задачей. Всё нужное для решения собрано в трёх формулах.
У двух окружностей всегда есть общая прямая, даже когда общих точек нет.
В Компендиуме разбираем приёмы, которые дают на чертеже больше линий, чем в условии.
залетай в Академию→