Hard geometry with concurrency on OI
Source: IMEO Problem 6
July 15, 2020
IMEOgeometryconcurrency
Problem Statement
Let , , and be the circumcenter, the incenter, and the incircle of nonequilateral . Let be the unique circle tangent to and , such that the common chord of and passes through the center of . Let be the center of . Define similarly. If touches , , at , , respectively, prove that the perpendiculars from , , to are concurrent on the line .Pitchayut Saengrungkongka