In the figure below, the circles of
centers O and A are tangent at B. A chord CD of the circle O is
tangent to the circle A at E. Prove that BE is the angle
bisector of angle CBD.
Solution / comment.
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.
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.