I can derive and use the theorem: the tangent at any point on a circle is perpendicular to the radius at that point.