Tangency in nice configuration
Source: Serbia 2018 TST day 2 p5
May 28, 2018
geometryInversion
Problem Statement
Let be the orthocenter of , ,and let be a point on circumcircle of such that . is the symmetric point of wrt .Let be a point such that ,and is the foot of to .Prove that is tangent to tge circumcircle of .