Geometry Problem 1366: Square, Angle Bisector, Perpendicular, Concyclic Points, Circle, Sketch, iPad Apps.

Proposition

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 the points A, B, C, H, and D are concyclic (they lie on a common circle).
 


Geometry Problem 1366: Square, Angle Bisector, Perpendicular, Concyclic Points, Circle, Sketch, iPad Apps
 


Sketch and Typography of problem 1366 using iPad Apps


Sketch and typography of Geometry Problem 1366 using iPad Apps, Tutor, Square, Angle Bisector, Perpendicular, Concyclic Points, Circle