В 10 классе был такой геометрический сюжет.

Дан остроугольный неравнобедренный треугольник ABC и на его биссектрисах BE и CF, которые
пересекаются в точке I, выбрали такие точки B_1 и C_1, соответственно, что ∠BAB_1 = ∠CAC_1 = 90.

1.1. Оказалось, что ∠A = 60. Докажите, что прямая, соединяющая центры описанных окружностей
треугольников ABC_1 и ACB_1, проходит через I.

1.2. Докажите, что B_1C_1 ⩾ AB + AC − BC.

Вывод

1.3. Описанные окружности треугольников AB_1F и AC_1E повторно пересекаются в точке S. Докажите,
что описанная окружность треугольника AIS проходит через основание перпендикуляра из I на BC.

1.4. Точка X выбрана на отрезке B_1C_1 так, что AX ⊥ BC. Докажите, что вневписанные окружности
треугольников AXB_1 и AXC_1, касающиеся отрезка AX, имеют равные радиусы.