MathDB
tangent (ART) , (PEF) wanted

Source: 2023 IGO Adcanced P5

January 18, 2024
geometrytangent circles

Problem Statement

In triangle ABCABC points MM and NN are the midpoints of sides ACAC and ABAB, respectively and DD is the projection of AA into BCBC. Point OO is the circumcenter of ABCABC and circumcircles of BOCBOC, DMNDMN intersect at points R,TR, T. Lines DTDT, DRDR intersect line MNMN at EE and FF, respectively. Lines CTCT, BRBR intersect at KK. A point PP lies on KDKD such that PKPK is the angle bisector of BPC\angle BPC. Prove that the circumcircles of ARTART and PEFPEF are tangent.
Proposed by Mehran Talaei - Iran