MathDB
Show that a quadrilateral is a square (2015 OMCS #4)

Source:

May 16, 2015
geometryQuadrilaterals

Problem Statement

Let ABCDABCD be a convex quadrilateral such that BAD=90\angle{BAD} = 90^{\circ} and its diagonals ACAC and BDBD are perpendicular. Let MM be the midpoint of side CDCD, and EE be the intersection of BMBM and ACAC. Let FF be a point on side ADAD such that BMBM and EFEF are perpendicular. If CE=AF2CE = AF\sqrt{2} and FD=CE2FD = CE\sqrt{2}, show that ABCDABCD is a square.