tangent (ART) , (PEF) wanted
Source: 2023 IGO Adcanced P5
January 18, 2024
geometrytangent circles
Problem Statement
In triangle points and are the midpoints of sides and , respectively and is the projection of into . Point is the circumcenter of and circumcircles of , intersect at points . Lines , intersect line at and , respectively. Lines , intersect at . A point lies on such that is the angle bisector of . Prove that the circumcircles of and are tangent.Proposed by Mehran Talaei - Iran