In the figure below, the circles of centers O and A are tangent at B, the circles O and F are tangent at G. A chord CD of the circle O is tangent to the circle A at E and tangent to the circle F at H. GH and BE meet at a point M. Prove that M is the midpoint of arc CD. Solution / comment.

  Hints: See Problem 53

I have used Geometry Expressions to visualize these geometric forms and check out a variety of conjectures. Geometry Expressions is the world's first Interactive Symbolic Geometry System. This means: Geometric figures can be defined by either Symbolic Constraints or numeric locations.

You can download Geometry Expressions 2 Free Trial. It is a fully featured 30 day evaluation copy of the software. All constraints, constructions and measurements are available for you to use.