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