standard_description: Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; points on a perpendicular bisector of a line segment are exactly those equidistant from the segment’s endpoints.
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