Why it works:
Points E and D are equidistant from C, so C is on the perpendicular bisector of DE. And F is
constructed equidistant from D and E, so it is also on the perpendicular bisector. So CF is the
perpendicular bisector of DE, and thus the line through C perpendicular to AB.
|