Midpoint of bisector; prove that B, E, F, C cyclic
Source: Taiwan 2014 TST1, Problem 4
July 18, 2014
geometry proposedgeometry
Problem Statement
Let be an acute triangle and let be the foot of the -bisector. Moreover, let be the midpoint of . The circle with diameter meets at , while the circle with diameter meets at . Assume that and lie inside . Prove that , , , are concyclic.