A = (0.8938750648282668, -0.2606339663166554)
B = Point(xAxis)
α'_1 = Line(A, B)
C = (0.8191776604706855, 0.165639221217275)
α''_2 = Line(B, C)
D = (0.9376975420513811, 0.1427320172142834)
β''_2 = Line(D, xAxis)
H''_2 = Intersect(α''_2, β''_2)
g = OrthogonalLine(H''_2, xAxis)
H''_1 = Intersect(g, xAxis)
h_1 = Line(H''_1, α'_1)