A_1 = (3, 0)
c = Circle(A_1, 5)
A, B_1 = Intersect(c, xAxis)
D_1 = (-0.54, 3.94)
a = Line(B_1, D_1)
B, C = Intersect(c, a)
b = Segment(C, A)
d_1 = Segment(C, B_1)
e = Segment(A, B_1)
α = Angle(A, C, B_1)
f = OrthogonalLine(C, e)
g = AngularBisector(A, C, B_1)
D = Intersect(f, e)
E = Intersect(g, e)
h = Segment(C, D)
d = Segment(C, E)