MathDB
concyclic wanted , 2 diameters, 3 circles related

Source: Indonesia INAMO Shortlist 2017 G8 https://artofproblemsolving.com/community/c1101409_indonesia_shortlist__geometry

November 15, 2021
Concyclicgeometry

Problem Statement

Given a circle centered at point OO, with ABAB as the diameter. Point CC lies on the extension of line ABAB so that BB lies between AA and CC, and the line through CC intersects the circle at points DD and EE (where DD lies between CC and EE). OFOF is the diameter of the circumcircle of triangle OBDOBD, and the extension of the line CFCF intersects the circumcircle of triangle OBDOBD at point GG. Prove that the points O,A,E,GO, A, E, G lie on a circle.