Problem

Source: Greece JBMO TST 2017, Problem 2

Tags: geometry, Greece



Let ABC be an acute-angled triangle inscribed in a circle C(O,R) and F a point on the side AB such that AF<AB/2. The circle c1(F,FA) intersects the line OA at the point A and the circle C at K. Prove that the quadrilateral BKFA is cyclic and its circumcircle contains point O.