В остроугольном разностороннем треугольнике , со сторонами , — центр описанной окружности, — точка пересечения высот, а точка — основание высоты из вершины . Пусть — точка прямой , отличная от , такая, что , и пусть — середина . Прямые и пересекаются в точке , прямые и в точке , а прямые и — в точке . Докажите, что точки лежат на одной окружности.