1. Точка О лежит на биссектрисе внешнего угла при вершине В, значит, она равноудалена от прямых АВ и ВС.
2. Точка О лежит на биссектрисе внешнего угла при вершине С, значит, она равноудалена от прямых ВС и АС.
3. Следовательно, точка О равноудалена от прямых АВ, ВС и СА. Доказано.