Problem 465: Square, Arc, Angle, 90 Degrees,
Measurement

Problem 465. The figure shows a
square ABCD. It contains arcs AEC and BFD drawn with centers at
D and A, respectively. The measure of angle AEF is 90 degrees,
AE = a, EF = b, and DF = x. Prove that