MathDB
fixed point wanted, point on circumcircle, reflection wrt angle bisector

Source: 2020 Dutch IMO TST 3.2

November 22, 2020
geometryreflectionFixed pointfixedcircumcircleangle bisector

Problem Statement

Given is a triangle ABCABC with its circumscribed circle and AC<AB| AC | <| AB |. On the short arc ACAC, there is a variable point DAD\ne A. Let EE be the reflection of AA wrt the inner bisector of BDC\angle BDC. Prove that the line DEDE passes through a fixed point, regardless of point DD.