MathDB
Arc Midpoints Form Cyclic Quadrilateral

Source: ISL 2022/G2

July 9, 2023
geometryarc midpointcyclic quadrilateralISL 2022

Problem Statement

In the acute-angled triangle ABCABC, the point FF is the foot of the altitude from AA, and PP is a point on the segment AFAF. The lines through PP parallel to ACAC and ABAB meet BCBC at DD and EE, respectively. Points XAX \ne A and YAY \ne A lie on the circles ABDABD and ACEACE, respectively, such that DA=DXDA = DX and EA=EYEA = EY. Prove that B,C,X,B, C, X, and YY are concyclic.