A_1 = (8.401439728481595, -2.1586983830274695)
B_1 = (29.173935315386203, -2.0474668136196805)
B = (13.22102224196786, 5.354180240936425)
A = (13.22102224196786, -3.1374005455606357)
a = Segment(B, A)
b = OrthogonalLine(A, a)
C = Point(b)
c = Segment(A, C)
I = Midpoint(a)
K = Midpoint(c)
d = LineBisector(a)
e = LineBisector(c)
D = Intersect(d, e)
f = Segment(I, D)
g = Segment(D, K)
α = Angle(C, K, D)
β = Angle(C, A, B)
γ = Angle(A, I, D)
h = Segment(B, I)
i = Segment(I, A)
j = Segment(A, K)
k = Segment(K, C)