MathDB
ABCD must be cyclic (with diameter AC)

Source: Baltic Way 2007

November 30, 2010
geometrycircumcirclegeometry proposed

Problem Statement

In a convex quadrilateral ABCDABCD we have ADC=90∘ADC = 90^{\circ}. Let EE and FF be the projections of BB onto the lines ADAD and ACAC, respectively. Assume that FF lies between AA and CC, that AA lies between DD and EE, and that the line EFEF passes through the midpoint of the segment BDBD. Prove that the quadrilateral ABCDABCD is cyclic.