Complete the justification of the construction of the line perpendicular to a given line at a point on that line. Given: Line $m,$ with point $P$
Given: Line $m,$ with point $P$
$$egin{array}{l}frac{ ext { on } m}{P Q} cong overline{P R} ext { (by } \ ext { construction) } \overline{Q S} cong overline{R S} ext { (by }end{array}$$construction) Prove: $overleftrightarrow{S P} perp m$