№895 ГДЗ Атанасян 7-9 класс по геометрии (Геометрия)

Ниже вариант решения задания из учебника Атанасян, Бутузов 9 класс, Просвещение:

Для неравностороннего треугольника ABC точка О является центром описанной окружности, Н — точка пересечения прямых, содержащих высоты AA1, ВВ1 и СС1, точки А2, В2, С2 — середины отрезков АН, ВН, СН, а точки А3, В3, С3 — середины сторон треугольника ABC. Докажите, что точки A1, B1, C1, А2, В2, С2, А3, В3, С3 лежат на одной окружности (окружность Эйлера).