MathDB
Prove vertical

Source: 2017 Western Mathematics Olympiad of China

August 13, 2017
geometryCircumcenter

Problem Statement

D is the a point on BC,I1 is the heart of a triangle ABD, I2 is the heart of a triangle ACD,O1 is the Circumcenter of triangle AI1D, O2 is the Circumcenter of the triangle AI2D,P is the intersection point of O1I2 and O2I1,Prove: PD is perpendicular to BC.