the length of tangent from an external point on a circle is