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

Proposition

In square ABCD, point E is on side AD. The angle bisector of EBC meets CD at F, and a perpendicular from F to BE meets BE at G. Extending AG and BF, they intersect at H. Prove that A, B, C, D, and H are concyclic. (See figure).

 

See solution below

 

---

Flyer of problem 1366 using iPad Apps

Sketch and Typography of problem 1366 using iPad Apps

See solution below

---