MathDB
Cyclic quad with orthocenter

Source: Canada Repêchage 2015/4

June 18, 2016
geometrycyclic quadrilateral

Problem Statement

Given an acute-angled triangle ABCABC whose altitudes from BB and CC intersect at HH, let PP be any point on side BCBC and X,YX, Y be points on AB,ACAB, AC, respectively, such that PB=PXPB = PX and PC=PYPC = PY. Prove that the points A,H,X,YA, H, X, Y lie on a common circle.