Угол, опирающийся на дугу
Возьмём окружность с центром и две её точки и . Хорда делит окружность на две дуги. Отметим на одной из них точку и проведём лучи и . Угол называется вписанным, а угол при центре — центральным.
Закрашенные треугольники OPA и OPB равнобедренные. Диаметр PD разбивает угол при P на два (или даёт разность двух), и к каждой части применяется первый случай.
Вписанный угол равен половине центрального, опирающегося на ту же дугу. Докажем это в три шага, начав со случая, когда центр лежит на стороне угла.
Пусть лежит на луче . Тогда , треугольник равнобедренный, и углы при его основании равны: . Угол — внешний угол этого треугольника при вершине , поэтому он равен сумме двух не смежных с ним внутренних:
Если центр лежит внутри угла , проведём через диаметр . Он разбивает угол на два, и , и к каждому применим первый случай; центральные углы при этом складываются. Если центр лежит вне угла, тот же диаметр даёт разность двух углов, и центральные углы вычитаются.
Правая часть равенства не содержит точки . Значит, пока остаётся на своей дуге, угол не меняется:
Проведи P через хорду на другую дугу. В обычной записи угол меняется скачком, в ориентированной — остаётся тем же числом.
Когда переходит через хорду на другую дугу, угол опирается уже на дополняющую дугу. Сумма двух дуг равна , поэтому новый угол равен минус прежний. На графике это видно как скачок: значение меняется, хотя точка прошла через хорду непрерывно.
Откуда берутся случаи
Теорема о вписанном угле работает и в обратную сторону. Пусть даны четыре точки , , , , и требуется понять, лежат ли они на одной окружности. Хорда делит плоскость на две полуплоскости, и ответ зависит от того, как относительно неё стоят и .
Если и лежат по одну сторону от прямой , оба угла опираются на одну и ту же дугу, и признак выглядит так:
Если же они по разные стороны, дуги дополняют друг друга, и равенство заменяется другим:
Закрашена полуплоскость, в которой лежит C. Пока D в ней же, углы равны; когда D переходит через хорду, углы дают в сумме 180°.
Получилось одно сильное утверждение, записываемое двумя формулами. В задаче интересующие нас точки выбираются исходя из условия — как вторая точка пересечения двух окружностей, как основание высоты, как образ при отражении. От этого выбора и будет зависеть, какую из двух формул взять.
Так возникает несколько вариантов: провести решение для одной конфигурации, а остальные объявить аналогичными. Однако проверять это утверждение каждый раз занимает много времени, да и с увеличением числа разборов растёт шанс ошибиться. Поэтому вместо перебора случаев можно определить угол так, чтобы обе формулы перешли в одну. Для этого углы будут измеряться между прямыми, а не лучами.
Угол между прямыми
Возьмём две прямые и . Углом назовём угол, на который нужно повернуть против часовой стрелки, чтобы она совпала с . Поворот на переводит прямую в себя, поэтому такой угол определён с точностью до ; будем приводить его к промежутку от нуля до .
Прямая, в отличие от луча, не имеет направления. Поэтому запись не различает, куда смотрят лучи и : важны только прямые, на которых они лежат.
Из определения следуют два свойства. Первое: перестановка прямых меняет знак,
Второе: углы складываются, как повороты,
Засечка на дуге стоит на прямой, от которой отсчитывается угол, стрелка показывает конец поворота. Поворот от l к m плюс поворот от m к n равен повороту от l к n по модулю 180°.
Второе свойство — рабочий инструмент. Оно позволяет вставить между двумя прямыми любую третью и переписать угол через неё, потом ещё раз, и ещё. Все равенства при этом остаются равенствами чисел по модулю , и следить за расположением точек не нужно.
знак минус здесь тоже по модулю 180°: −40° и 140° — одно и то же
Связь с обычным углом: если в привычном смысле, то равен либо , либо — смотря в какую сторону идёт поворот. Обратно из ориентированного угла обычный не восстанавливается.
Одна формула вместо двух
Вернёмся к четырём точкам. Пусть , , , попарно различны.
Равенство выполнено тогда и только тогда, когда четыре точки лежат на одной окружности или на одной прямой.
Разность двух углов — это вся проверка. Пока она не ноль, окружность через четвёрку не проходит.
Проверим, что новая запись покрывает оба прежних случая. Пусть точки и лежат по одну сторону от прямой . Тогда обычные углы и равны, а повороты от к и от к идут в одну сторону. Значит, равны и ориентированные углы.
Пусть теперь и по разные стороны. Обычные углы дают в сумме , а повороты идут навстречу друг другу. Поэтому если один ориентированный угол равен , то второй равен , а это по модулю то же самое число:
Оба случая свелись к одному равенству. Если все четыре точки лежат на одной прямой, оба угла равны нулю, и равенство тоже выполнено; поэтому в формулировке стоит «или на одной прямой».
Разность двух углов как функция точки обращается в ноль ровно на окружности, проходящей через , и ; с какой стороны от хорды находится , значения не имеет.
Следствие для четырёхугольника: запись не зависит от порядка вершин и потому годится и для выпуклого четырёхугольника, и для самопересекающегося.
Практическая польза и удобный расчёт
Решение на ориентированных углах устроено как цепочка равенств. Каждое звено — это либо четыре точки на окружности, либо три точки на прямой, либо правило сложения.
Две окружности пересекаются в P и Q. Через P проведена прямая APC, через Q — прямая BQD.
Точки , , , лежат на первой окружности, поэтому
Точки , , лежат на одной прямой, значит и — одна и та же прямая:
Точки , , , лежат на второй окружности, поэтому
Соединим три равенства. Прямые и совпадают — это прямая, проведённая через ; обозначим её . Получается
а прямые, составляющие с третьей прямой равные ориентированные углы, параллельны.
В обычной записи это решение потребовало бы оговорок: с какой стороны от лежит , пересекает ли вторая прямая отрезок, не совпали ли и . Здесь каждое звено цепочки — равенство чисел, и оговорки не нужны.
Ортоцентр и описанная окружность
Возьмём треугольник и его ортоцентр — точку пересечения высот. Отразим относительно прямой и обозначим образ через . Докажем, что лежит на описанной окружности треугольника.
Двигай вершины: отражение H′ не сходит с окружности, а угол при нём равен углу при вершине A.
Начнём с угла при . Правило сложения позволяет вставить между прямыми и любые другие; вставим сразу две — и :
Прямая содержит высоту из и потому перпендикулярна ; прямая содержит высоту из и перпендикулярна . Оба крайних слагаемых равны , а вместе они дают , то есть ноль по модулю:
Теперь отражение. Отражение относительно прямой меняет направление всех поворотов, поэтому ориентированные углы меняют знак. Точки и при отражении в остаются на месте, а переходит в , значит
Справа стоит угол при вершине . По признаку из четвёртого раздела точки , , , лежат на одной окружности, а окружность через три вершины треугольника — описанная. Доказательство не использует, где лежит , и верно для тупоугольного треугольника, где ортоцентр снаружи.
Отражение относительно середины стороны
Отразим относительно середины стороны и обозначим образ . Четырёхугольник — параллелограмм, поэтому и . Углы и прямые, значит лежит на окружности с диаметром , и это описанная окружность. Отрезок — средняя линия треугольника :
A′ — отражение H относительно M; отрезок AA′ — диаметр, а OM — средняя линия треугольника AHA′, поэтому AH = 2 · OM.
Где ориентированные углы не работают
Приём работает, пока в решении нет действия, которое не согласуется с модулем . Таких действий четыре.
Деление пополам
Равенство по модулю не даёт : второе решение отличается на ,
У пары прямых две биссектрисы, перпендикулярные друг другу, и обе удовлетворяют равенству удвоенных углов. Поэтому биссектриса на языке ориентированных углов не задаётся, и рассуждение «половины углов равны, значит лучи совпали» неверно.
Обе пунктирные прямые дают удвоенный угол, равный ∠(l, m); они отличаются на 90°. Поэтому из 2α ≡ 2β не следует α ≡ β.
В задачах про вписанную окружность, середины дуг и биссектрисы биссектрису заменяют серединой дуги, а середину дуги — точкой на окружности, и дальше работают с точками.
Смешанная запись
В одном равенстве нельзя держать обычный угол слева и ориентированный справа. Обычный угол лежит в промежутке от нуля до и различает лучи; ориентированный не различает. Равенство не имеет смысла, даже если числа совпали.
Вопрос о расположении
Если требуется доказать, что точка лежит на отрезке, а не на его продолжении, или что четырёхугольник выпуклый, ориентированные углы ответа не дают: они видят прямые и окружности, но не порядок точек на них. Такие утверждения доказываются отдельно, обычно непрерывностью или неравенствами.
Совпадение точек
Запись теряет смысл, если совпала с или . В длинной цепочке такое совпадение легко не заметить: точка строится как пересечение и в вырожденной конфигурации садится на одну из старых. Проверка вырожденных положений входит в решение наравне с основной выкладкой.
Задачи на ориентированные углы
Рассмотрим три задачи с реальных олимпиад, где цепочка ориентированных углов упрощает подход к решению. Считаем, что все углы ниже по тексту — между прямыми, то есть по модулю .
Проверь себя
Посчитай, впиши ответ и нажми «Проверить». Разбор открывается кнопкой под задачей. Всё нужное для решения собрано в трёх формулах.
Одно равенство закрывает все расположения точек сразу.
В Компендиуме разбираем приёмы, которые убирают из решения перебор случаев.
залетай в Академию→