MathDB
2020 EGMO P5: P is the incentre of CDE

Source: 2020 EGMO P5

April 18, 2020
geometryincenterEGMO 2020EGMO

Problem Statement

Consider the triangle ABCABC with BCA>90\angle BCA > 90^{\circ}. The circumcircle Γ\Gamma of ABCABC has radius RR. There is a point PP in the interior of the line segment ABAB such that PB=PCPB = PC and the length of PAPA is RR. The perpendicular bisector of PBPB intersects Γ\Gamma at the points DD and EE.
Prove PP is the incentre of triangle CDECDE.