Биссектриса как ГМТ: равноудалённость от сторон угла

Биссектриса угла делит его ровно пополам - это определение, которое знают все. Но куда полезнее другое её свойство: биссектриса является геометрическим местом точек (ГМТ), равноудалённых от обеих сторон угла. Именно это свойство объясняет, почему три биссектрисы треугольника пересекаются в одной точке, почему эта точка является центром вписанной окружности и как строить касательные к двум прямым сразу. Чтобы почувствовать суть до формул, подвигайте ползунки в калькуляторе ниже: точка P мгновенно показывает расстояния до обеих сторон угла, а при попадании на биссектрису они уравниваются.

Что такое ГМТ и почему биссектриса - это ГМТ

Геометрическое место точек - это множество всех точек плоскости, обладающих заданным свойством, причём только они. Сказать «биссектриса угла является ГМТ точек, равноудалённых от его сторон» - значит утверждать сразу две вещи:

1. Прямое свойство: если точка P лежит на биссектрисе, то расстояние от неё до одной стороны угла равно расстоянию до другой.
2. Обратное свойство: если расстояния от точки P до обеих сторон равны, то P лежит на биссектрисе (или на биссектрисе смежного угла).

Оба пункта нужно доказывать отдельно - только вместе они дают ГМТ.

Рассчитать для своей задачи

Доказательство прямого свойства

Пусть угол BAC с вершиной A, биссектриса - луч AM. Возьмём произвольную точку P на AM. Опустим из P перпендикуляры PD на сторону AB и PE на сторону AC.

Рассмотрим прямоугольные треугольники APD и APE:

• Гипотенуза AP - общая.
• Угол PAD = угол PAE, так как AM - биссектриса.
• Прямые углы: $\angle PDA = \angle PEA = 90°$.

По признаку равенства прямоугольных треугольников «гипотенуза и острый угол» получаем $\triangle APD = \triangle APE$. Значит, $PD = PE$, то есть расстояния от P до обеих сторон равны. Прямое свойство доказано.

$PD = AP \cdot \sin(\angle DAP) = AP \cdot \sin\frac{\angle BAC}{2} = PE$

Доказательство обратного свойства

Теперь предположим, что точка P равноудалена от обеих сторон угла: $PD = PE$, где D и E - основания перпендикуляров из P на AB и AC.

Треугольники APD и APE снова прямоугольные с общей гипотенузой AP и равными катетами PD = PE. По признаку «гипотенуза и катет» $\triangle APD = \triangle APE$, откуда $\angle PAD = \angle PAE$. Значит, AP делит угол BAC пополам - точка P лежит на биссектрисе.

Рассчитать для своей задачи

Важный нюанс: если P находится вне угла (между продолжениями его сторон), равноудалённость от прямых AB и AC обеспечивает биссектриса смежного угла. Поэтому полное ГМТ точек, равноудалённых от двух данных прямых, - это пара взаимно перпендикулярных биссектрис (угла и смежного с ним).

Формула расстояния от точки до прямой

В координатах расстояние от точки $P(x_0, y_0)$ до прямой $ax + by + c = 0$ равно:

$d = \frac{|ax_0 + by_0 + c|}{\sqrt{a^2 + b^2}}$

Для угла с вершиной в начале координат, стороны которого идут под углами $+\alpha$ и $-\alpha$ к оси $x$ (биссектриса совпадает с $Ox$), стороны задаются прямыми $y - x\tan\alpha = 0$ и $y + x\tan\alpha = 0$. Расстояния от точки $P(x_0, y_0)$ до них:

$d_1 = \frac{|y_0 - x_0 \tan\alpha|}{\sqrt{1 + \tan^2\alpha}} = |y_0\cos\alpha - x_0\sin\alpha|$

$d_2 = \frac{|y_0 + x_0 \tan\alpha|}{\sqrt{1 + \tan^2\alpha}} = |y_0\cos\alpha + x_0\sin\alpha|$

Условие $d_1 = d_2$ упрощается до $|y_0\cos\alpha - x_0\sin\alpha| = |y_0\cos\alpha + x_0\sin\alpha|$, откуда $y_0\sin\alpha = 0$. При $\alpha \neq 0$ получаем $y_0 = 0$, то есть биссектриса - это ось $x$. Именно это и проверяет калькулятор выше.

Вписанная окружность и инцентр треугольника

Самое красивое следствие свойства ГМТ - объяснение вписанной окружности треугольника. Центр вписанной окружности (инцентр I) должен быть одинаково удалён от всех трёх сторон треугольника. Значит:

• I равноудалён от AB и BC - лежит на биссектрисе угла B.
• I равноудалён от AB и AC - лежит на биссектрисе угла A.
• I равноудалён от BC и AC - лежит на биссектрисе угла C.

Точка, лежащая одновременно на трёх биссектрисах, - это их общая точка пересечения. Из свойства ГМТ немедленно следует, что три биссектрисы треугольника пересекаются в одной точке, и эта точка является центром вписанной окружности. Радиус вписанной окружности равен расстоянию от инцентра до любой из сторон:

$r = \frac{S}{s}$

где $S$ - площадь треугольника, $s = (a + b + c)/2$ - полупериметр.

Рассчитать для своей задачи

Применение в задачах на построение

Свойство биссектрисы как ГМТ лежит в основе многих геометрических построений:

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

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

Задача о биссектрисе и высоте. В прямоугольном треугольнике биссектриса прямого угла делит гипотенузу на отрезки, пропорциональные катетам. Из свойства ГМТ следует, что основание биссектрисы равноудалено от обоих катетов, что упрощает доказательство.

Биссектриса в аналитической геометрии

Уравнения биссектрис двух прямых $l_1: a_1 x + b_1 y + c_1 = 0$ и $l_2: a_2 x + b_2 y + c_2 = 0$ получаются из условия равноудалённости:

$\frac{a_1 x + b_1 y + c_1}{\sqrt{a_1^2 + b_1^2}} = \pm\frac{a_2 x + b_2 y + c_2}{\sqrt{a_2^2 + b_2^2}}$

Знак «плюс» даёт биссектрису одной пары вертикальных углов, знак «минус» - перпендикулярную биссектрису другой пары. Чтобы понять, какая из двух является биссектрисой острого угла, достаточно проверить знак произведения $a_1 a_2 + b_1 b_2$: если оно отрицательно, биссектриса острого угла - та, что получается со знаком «минус».

Частые ошибки

• Расстояние до луча, а не до прямой. В определении ГМТ расстояние берётся до прямой (содержащей сторону угла), а не только до луча. Поэтому точки «за вершиной» тоже могут быть равноудалены - они попадают на продолжение биссектрисы или на биссектрису смежного угла.
• Путаница ГМТ и свойства. «Биссектриса делит угол пополам» - это определение. «Биссектриса является ГМТ равноудалённых точек» - это теорема, требующая доказательства прямого и обратного утверждений.
• Забытое обратное. Доказать только прямое («если на биссектрисе, то равноудалена») недостаточно для ГМТ: нужно ещё обратное.
• Измерение расстояния не по перпендикуляру. Расстояние от точки до прямой - это кратчайшее расстояние, то есть длина перпендикуляра. Измерять отрезок до произвольной точки на прямой - ошибка.
• Ошибка при вписанной окружности. Центр вписанной окружности лежит на биссектрисах углов треугольника, а не на серединных перпендикулярах сторон (это центр описанной окружности).

FAQ

Почему биссектриса - это именно ГМТ, а не просто набор точек с нужным свойством? ГМТ означает «все и только». Если бы равноудалённые от сторон точки были ещё и вне биссектрисы, биссектриса не являлась бы ГМТ. Обратное утверждение (каждая равноудалённая точка лежит на биссектрисе) закрывает этот вопрос.

Как найти уравнение биссектрисы по уравнениям двух прямых? Используйте формулу $\frac{a_1 x + b_1 y + c_1}{\sqrt{a_1^2+b_1^2}} = \pm\frac{a_2 x + b_2 y + c_2}{\sqrt{a_2^2+b_2^2}}$. Знак выбирается в зависимости от того, какой угол (острый или тупой) нужна биссектриса; проверьте пробной точкой.

Связана ли биссектриса угла треугольника и биссектриса как ГМТ? Да, напрямую. Биссектриса угла треугольника из вершины A - это одновременно ГМТ точек внутри треугольника, равноудалённых от сторон AB и AC. Именно поэтому пересечение трёх биссектрис (инцентр) равноудалено от всех трёх сторон и служит центром вписанной окружности.

Коротко

Биссектриса угла является геометрическим местом точек плоскости, равноудалённых от обеих сторон угла. Доказательство опирается на конгруэнтность прямоугольных треугольников APD и APE с общей гипотенузой и равными перпендикулярами. Из этого свойства сразу следует, что три биссектрисы треугольника пересекаются в одной точке - инцентре, центре вписанной окружности. В аналитической геометрии ГМТ задаётся уравнением с модулем расстояний от точки до двух прямых.