MathDB
concyclic wanted, starting with right triangle

Source: OLCOMA Costa Rica National Olympiad, Final Round, 2013 3.3

September 25, 2021
geometryright triangleConcyclic

Problem Statement

Let ABCABC be a triangle, right-angled at point A A and with AB>ACAB>AC. The tangent through A A of the circumcircle GG of ABCABC cuts BCBC at DD. EE is the reflection of A A over line BCBC. XX is the foot of the perpendicular from A A over BEBE. YY is the midpoint of AXAX, ZZ is the intersection of BYBY and GG other than B B, and FF is the intersection of AEAE and BCBC. Prove D,Z,F,ED, Z, F, E are concyclic.