MathDB
Prove that BFO is right if AEDC is cyclic

Source: All-Russian MO 1999

December 31, 2012
radical axisgeometry

Problem Statement

A circle through vertices AA and BB of triangle ABCABC meets side BCBC again at DD. A circle through BB and CC meets side ABAB at EE and the first circle again at FF. Prove that if points AA, EE, DD, CC lie on a circle with center OO then BFO\angle BFO is right.