2016 JBMO Shortlist G5
Source: 2016 JBMO Shortlist G5
October 8, 2017
geometryJBMO
Problem Statement
Let be an acute angled triangle with orthocenter and circumcenter . Assume the circumcenter of lies on the circumcircle of . Reflect across to obtain , and let the lines and meet at . Let and be the midpoints of and , respectively. Prove that the points and are concyclic.