The figure shows
a right triangle ABC with the square ABDE. Line FAG is
perpendicular to AC so that AF = AG. Line BHK is perpendicular
to AC and angle GKH = 90 degrees. Prove that the area of
rectangle AHKG is equal to the area of quadrilateral AFDC.
See also:
Isolines of the problem 1198.