In a triangle ABC with circumcentre O and centroid M, lines OM and AM are perpendicular. Let AM intersect the circumcircle of ABC again at A′. Let lines BA′ and AC intersect at D and let lines CA′ and AB intersect at E. Prove that the circumcentre of triangle ADE lies on the circumcircle of ABC.
Problem
Source: Final Round Grade 11 Pro 4
Tags: geometry, circumcircle, geometric transformation, homothety, ratio, geometry unsolved