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