S = (3.735848126232741, 14.931311637080874)
r = 7.7 (slider from 0 to 30, step 0.1)
k = Circle(S, r)
O = (-13.821252465483235, 9.699063116370816)
R = 9 (slider from 0 to 30, step 0.1)
c = Circle(O, R)
a = Line(O, S)
b, d = Tangent(O, k)
E = Intersect(k, b)
F = Intersect(k, d)
G = Intersect(k, a, 1)
H = Intersect(k, a, 2)
e = Polar(H, c)
f = Polar(G, c)
I = Intersect(a, e)
J = Intersect(a, f)
K = Midpoint(I, J)
k' = Circle(K, I)