A_1 = (-1.7706946051815533, -0.7896654990478568)
B_1 = (3.184611138427666, -0.7799301243059918)
a = Line(A_1, B_1)
A = (-0.729009507802012, 0.4175209689433873)
C = (3.009374393074099, 3.0071306502794433)
c = Segment(A, C)
e = Line(A, a)
f = OrthogonalLine(C, a)
D = Intersect(f, e)
H = Intersect(f, a)
g = Segment(A, D)
h = OrthogonalLine(A, a)
H_1 = Intersect(h, a)
i = Segment(A, H_1)
α = Angle(D, A, C)
j = Segment(C, H)
B = Point(f)
b = Segment(B, C)
d = Segment(B, A)
β = Angle(D, A, B)