IMO 2023 Shortlist G1

Let ABCDE be a convex pentagon such that =ABC “ =AED “ 90˝ . Suppose that the midpoint of CD is the circumcentre of tria...

IMO 2023 Shortlist G1

Category: Geometry

Problem

Let ABCDE be a convex pentagon such that =ABC “ =AED “ 90˝ . Suppose that the midpoint of CD is the circumcentre of triangle ABE. Let O be the circumcentre of triangle ACD. Prove that line AO passes through the midpoint of segment BE. (Slovakia)