A = (0.8999999999999995, 4.1)
B = (3.836666666666667, 4.7333333333333325)
b = Segment(A, B)
c = Circle(B, A)
d = Circle(A, B)
H = Intersect(c, d, 1)
e = Circle(H, B)
D = Intersect(c, e, 1)
f = Circle(D, B)
C = Intersect(c, f, 1)
g = Circle(C, A)
I_1 = Intersect(d, g, 1)
h = Circle(I_1, A)
I_2 = Intersect(d, g, 2)
k = Circle(I_2, A)
M = Intersect(h, k, 1)
a = Segment(A, M)
T1: " \overline{ AB } =" + b
T2: "\overline{ AM }=\overline{ MB }=" + a