MathDB
Length Condition on Circumcenter Implies Tangency

Source: ISL 2022/G4

July 9, 2023
geometryIMO ShortistIMO Shortlist 2022

Problem Statement

Let ABCABC be an acute-angled triangle with AC>ABAC > AB, let OO be its circumcentre, and let DD be a point on the segment BCBC. The line through DD perpendicular to BCBC intersects the lines AO,AC,AO, AC, and ABAB at W,X,W, X, and Y,Y, respectively. The circumcircles of triangles AXYAXY and ABCABC intersect again at ZAZ \ne A. Prove that if WDW \ne D and OW=OD,OW = OD, then DZDZ is tangent to the circle AXY.AXY.