Line tangent to a circle is perpendicular to the radius