B = (1.9000000000000001, -1.28)
C = (10.200000000000001, -1.22)
a_1 = Segment(B, C)
C_1 = Midpoint(B, C)
c_1 = Circle(C_1, C)
A = Point(c_1)
c = Segment(B, A)
b = Segment(A, C)
e = OrthogonalLine(A, a_1)
H = Intersect(e, a_1)
h = Segment(A, H)
α = Angle(B, A, C)
c' = Segment(B, H)
b' = Segment(H, C)
d = OrthogonalLine(B, a_1)
f = OrthogonalLine(C, a_1)
D = Point(d)
g = OrthogonalLine(D, d)
E = Intersect(f, g)
i = Ray(C, E)
j = Ray(B, D)
a = Segment(D, E)
k = Segment(C, E)
l = Segment(B, D)
β = Angle(C, H, A)