Республиканская олимпиада по математике 2021 года за 11 класс | Казахстанские олимпиады

Остроугольный треугольник ABCABC вписан в окружность Ω\Omega. В этом треугольнике проведены высоты AD,BEAD, BE и CFCF. Прямая ADAD пересекает Ω\Omega вторично в точке P,P, а прямые PFPF и PEPE пересекают Ω\Omega вторично в точках RR и QQ соответственно. Пусть O1O_1 и O2O_2 — центры описанных окружностей треугольников BFRBFR и CEQCEQ соответственно. Докажите, что прямая O1O2O_1O_2 делит отрезок EFEF пополам.