Circle theorem: Radius to tangent