Author note — to cover
Construct the perpendicular from an external point to a line with compasses, and state G2's fact that this perpendicular distance is the shortest distance from the point to the line. Distinguish from the perpendicular at a point on the line, the sibling construction. Both tiers. (G2)
Introduction
—coming soon—