MathDB
circumcircle configuration, prove parallel lines

Source: Slovenia 1998 2nd Grade P3

April 28, 2021
geometrycircumcircle

Problem Statement

A point AA is outside a circle K\mathcal K with center OO. Line AOAO intersects the circle at BB and CC, and a tangent through AA touches the circle in DD. Let EE be an arbitrary point on the line BDBD such that DD lies between BB and EE. The circumcircle of the triangle DCEDCE meets line AOAO at CC and FF and line ADAD at DD and GG. Prove that the lines BDBD and FGFG are parallel.