In the figure below,
ABCD is a square and E is any point on AD.
The bisector of angle EBC meets CD at F.
FG is perpendicular to BE (G on BE), AG and BF extended meet at H. Prove that angle
AHB = 45 degrees. This entry contributed by Sumith Peiris, Moratuwa, Sri Lanka.