Construction: tangent to a circle from an external point.