A tangent at any point of a circle is perpendicular to the radius through the point of tangency.
A line drawn through the end of a radius and perpendicular to it is a tangent to the circle.
The lengths of two tangents drawn from an external point to a circle are equal.