Challenge Your Geometry Skills with Problem 934: Square, Circle, Center, Perpendicular, and Metric Relations. Suitable for High School, College, and Mathematics Education

Consider the square ABCD in the figure
below, with AE perpendicular to EC. Let the circle with center E
and radius EC intersect AE at F. If DE = 1, find the length of
AF.