Пусть F - точка пересечения AB и CD. R - середина EF. Тогда точки M, N, R лежат на прямой Гаусса. Она перпендикулярна прямой Обера, проходящей через ортоцентры X и Y треугольников АВЕ и CDE. Окружность

с диаметром ЕF содержит точки K и L. EL/EY=EK/EX в силу подобия треугольников АВЕ и CDE. Поэтому XY параллельно KL, следовательно KL перпендикулярна MN. Также, МN- перепендикуляр к хорде KL Окружности

, проходящий через ее центр R. Поэтому он делит пополам эту хорду.