S_1 = (16.88, -4.24)
B_{1} = (11.9, -0.72)
k_1 = Circle(S_1, B_{1})
A = (16.362487209759927, -8.380338449429356)
B = (18.095820543093257, -6.380338449429357)
a = 0 (slider from 0 to 6, step 1)
f = LineBisector(A, B)
g = Line(A, B)
C = Point(f)
c = Circle(C, B)
D = Intersect(k_1, c, 2)
E = Intersect(k_1, c, 1)
h = Line(D, E)
P = Intersect(g, h)
i, j = Tangent(P, k_1)
T_1 = Intersect(k_1, j)
T_2 = Intersect(k_1, i)
k_2 = Circle(T_1, A, B)
k_3 = Circle(T_2, B, A)
S_2 = Center(k_2)
S_3 = Center(k_3)
m = OrthogonalLine(T_1, j)
k = OrthogonalLine(T_2, i)