MathDB
2015 Geometry #3

Source:

December 23, 2016

Problem Statement

Let ABCDABCD be a quadrilateral with BAD=ABC=90\angle BAD = \angle ABC = 90^{\circ}, and suppose AB=BC=1AB=BC=1, AD=2AD=2. The circumcircle of ABCABC meets AD\overline{AD} and BD\overline{BD} at point EE and FF, respectively. If lines AFAF and CDCD meet at KK, compute EKEK.