Here is a line [i]m[/i] and a point C [i]not[/i] on the line. Use straightedge and compass tools to construct a line perpendicular [i]m[/i] to line that goes through point [i]C[/i].
How do you know the line you constructed is perpendicular to line [i]m[/i]?