MathDB
concyclic, starting with an inscribed pentagon

Source: KJMO 2012 p2

May 3, 2019
geometrypentagonConcyclic

Problem Statement

A pentagon ABCDEABCDE is inscribed in a circle OO, and satis fies A=90o,AB=CD\angle A = 90^o, AB = CD. Let FF be a point on segment AEAE. Let BFBF hit OO again at J(B)J(\ne B), CEDJ=KCE \cap DJ = K, BDFK=LBD\cap FK = L. Prove that B,L,E,FB,L,E,F are cyclic.