R = 3.2 (slider from 0 to 5, step 0.1)
B = (5.272364000000001, 6.161143999999998)
C = (8.308364000000001, -0.3948560000000021)
a = Segment(B, C)
O = (14.314364000000003, 3.7851439999999985)
c = Circle(O, R)
A = Point(c)
b = Segment(B, A)
d = Segment(A, C)
I = Midpoint(a)
e = Segment(A, I)
f = Circle(A, 2.0 * e / 3.0)
G = Intersect(f, e, 1.0)
g = Segment(O, I)
h = Segment(A, O)
i = Line(G, h)
O' = Intersect(i, g)
j = Segment(G, O')
k = Circle(O', G)