Geometric Artwork of Problem 458. Square and Circle. PicSketch for iPad

The figure shows a square ABCD of side a.
The semicircle of diameter AB and the circular sector of center D are
tangent at E. If FG is the internal common tangent, prove that
.
See also: Problem
458.