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