Да, верно. Обозначим O как пересечение внешних биссектрис углов B и C треугольника ABC. Тогда O является A‑внешним центром (A‑эксцентром). Совпадение расстояний следует из свойств биссектрис.
Доказательство
- Так как O лежит на внешней биссектрисе угла B, точки на этой биссектрисе равноудалены от линий AB и BC. Следовательно d(O, AB) = d(O, BC).
- Так как O лежит на внешней биссектрисе угла C, точки на этой биссектрисе равноудалены от линий BC и CA. Следовательно d(O, BC) = d(O, CA).
- Из двух равенств выводимd(O, AB) = d(O, BC) = d(O, CA).
- Значит O равноудалён и от прямых AB, BC и CA. Радиус этой общей дистанции равен radius эксцентрического круга, касающегося всех трёх сторон.
Чертёж (пошаговая инструкция)
- Постройте треугольник ABC.
- Через вершину B постройте внешнюю биссектрису угла ABC:
- возьмите внешний угол за B (между продолжением BA за B и линией BC);
- проведите его биссектор. Эта прямая называется внешней биссекторой угла B.
- Через вершину C постройте внешнюю биссектрису угла ACB аналогично.
- Найдите точку O = их пересечение. Это A‑эксцентр.
- Опустите перпендикуляры из O к линиям AB, BC и CA. Отрезки OA1, OB1, OC1 будут равны между собой (пометьте их как r).
- Обозначьте радиус r и отметьте на чертеже, что d(O, AB) = d(O, BC) = d(O, CA) = r.
Дополнение
- O является центром окружности, которая касается прямых AB, BC и CA внешне к треугольнику ABC (эксцентр противоположный вершине A).
- Пункт O и равные расстояния на чертеже наглядно показывают свойство: равноудалённость от трёх сторон.
Если нужно, могу привести координатный или векторный вариант доказательства или помочь с построением конструкции в геометрическом ПО.