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