MathDB
Geometry

Source: Polish MO

February 25, 2017
geometrycircumcircle

Problem Statement

Incircle of a triangle ABCABC touches ABAB and ACAC at DD and EE, respectively. Point JJ is the excenter of AA. Points MM and NN are midpoints of JDJD and JEJE. Lines BMBM and CNCN cross at point PP. Prove that PP lies on the circumcircle of ABCABC.