Math
Geometry Problem 1017: Square, Center, Midpoints,
Circle, Concyclic Points, Cyclic Quadrilateral

The figure below shows a square ABCD
of center O. If E, F, G, and H are the midpoints of BC, OB,
OA, and AD, respectively, prove that points C,E,F,G,H,D are concyclic.