B = (3, 0)
A = (0, 0)
k = Circle(A, Distance[A, B] + 1)
c = Circle(A, B)
C = Point(c)
f = Tangent(C, c)
g = OrthogonalLine(C, f)
d = Circle(C, 1)
D = Point(k)
e = Circle(D, 1)
a = Circumference(e)
b = Circumference(c)
h: a / b
C' = Rotate(C, ((-2 * pi) * h), A)
E = (-5.157661106232798, -0.7968242636021862)
F = (-3.164309517770036, -1.1139483799485312)
i = Distance(E, F)
p = Circle(E, i)