HS.G.17(+).b: Construct a tangent line from a point outside a given circle to the circle.