Suppose there’s exactly two intersections D and E and F(D) = E. Then AB is the perpendicular bisector of DE.

Suppose there’s exactly two intersections D and E and F(D) = E. Then AB is the perpendicular bisector of DE.

(see the argument in example 1, page 10).

Previous slide

Next slide

Back to first slide

View graphic version