In the figure below, ABC is an
isosceles triangle, the measure of angle BAD is 45 degrees (D on
BC extended), DE is perpendicular to AB (E on AB extended).
Altitude BF extended and bisector of angle BDE meet at G. If GH
is perpendicular to AE, prove that CD = 2GH.
