MathDB
concyclic wanted, orthocenter and circumcircle related

Source: 2017 Saudi Arabia JBMO Training Tests p7

May 28, 2020
geometrycircumcircleorthocenterConcyclic

Problem Statement

Let ABCABC be a triangle inscribed in the circle (O)(O), with orthocenter HH. Let d be an arbitrary line which passes through HH and intersects (O)(O) at PP and QQ. Draw diameter AAAA' of circle (O)(O). Lines APA'P and AQA'Q meet BCBC at KK and LL, respectively. Prove that O,K,LO, K, L and AA' are concyclic.