MathDB
B', A', O are collinear

Source: European Mathematical Cup, 2015, Junior, P4

December 30, 2016
geometry

Problem Statement

Let ABCABC be an acute angled triangle. Let B,AB' , A' be points on the perpendicular bisectors of AC,BCAC, BC respectively such that BAABB'A \perp AB and ABABA'B \perp AB. Let PP be a point on the segment ABAB and OO the circumcenter of the triangle ABCABC. Let D,ED, E be points on BC,ACBC, AC respectively such that DPBODP \perp BO and EPAOEP \perp AO. Let OO' be the circumcenter of the triangle CDECDE. Prove that B,AB', A' and OO' are collinear.
Steve Dinh