Пусть IA, IB и IC – центры вневписанных окружностей треугольника ABC, касающихся сторон BC, AC и AB соответственно. Точки IA, IС и B лежат на одной прямой – биссектрисе внешнего
угла при вершине B треугольника ABC. Аналогично точки A и B лежат на отрезках ICIB и IAIB соответственно.
Обозначим через
Oточку пересечения продолжений радиусов
IAA'и
ICC'. В прямоугольных треугольниках
IAA'Bи
ICC'Bравны острые углы при общей вершине
B, значит, равны и другие острые углы, то есть ∠
BIAA'= ∠BI
CC'. Поскольку углы, прилежащие к стороне треугольника
IAOIC , равны, то этот треугольник равнобедренный. Если
OP– его высота, то
P– середина
IAIC.
Заметим, что точки
A', C'и
Pлежат на окружности с диаметром
OB.
AIA⊥
AIC (и
СIA⊥
СIC) как биссектрисы
смежных углов. Значит, точки
Aи
Cлежат на окружности с диаметром
IAIC, а
P– центр этой окружности. Центральный угол
CPIAэтой окружности вдвое больше вписанного угла
CAIA, равного половине угла
A(так как
AIA– биссектриса этого угла). Значит,
∠
CPIA= ∠
A. Поскольку ∠
PBC= 180° – ∠
CPIA= 180° –
A, то четырёхугольник
APBC– вписанный, следовательно, точка
Pлежит на описанной окружности треугольника
ABCи, в то же время, – на описанной окружности треугольника
A'BC', то есть совпадает с точкой
B1.
Аналогично точки
A1и
C1– середины сторон соответственно
IBICи
IAIBтреугольника
IAIBIC. Значит, стороны треугольника
A1B1C1соответственно параллельны сторонам треугольника
IAIBIC.
Пусть
A'', B''и
C''– точки касания вписанной окружности треугольника
ABCсо сторонами
BC, ACи
ABсоответственно. Поскольку
B1A'' = B1C'' (как отрезки касательных, проведённых к окружности из одной точки), то треугольник
B1A''C''– равнобедренный. Биссектриса
B1IAего внешнего угла при вершине параллельна основанию
A''C''. Следовательно,
A''C'' || IAIC. Аналогично
A''B'' || IAIB и
B''C'' || IBIC.
Ранее было доказано, что стороны треугольника
A1B1C1соответственно параллельны сторонам треугольника
IAIBIC. Значит, стороны треугольника
A1B1C1соответственно параллельны сторонам треугольника
A''B''C''.
Следовательно, треугольник
IAIBICподобен треугольнику
A''B''C''.