standard_description: Know precise definitions of angle, circle, perpendicular line, parallel line, and line segment, based on the undefined notions of point, line, distance along a line, and distance around a circular arc.
problem_activity: Task
Consider a circle with center $O$ and let $P\,$ be a point on the circle. Suppose $L$ is a tangent line to the circle at $P$,  that is $L$  meets the circle only at $P$.
[IMG]
Show that $\overline{OP}\,$ is perpendicular to $L$.


aligns: yes