α

A = Point(xAxis)
B = Point(yAxis)
c_2 = Semicircle(A, B)
C = Point(c_2)
c = Segment(A, B)
g = OrthogonalLine(C, c)
D = Intersect(g, c)
E = Point(g)
d1, c_1, a, b = Polygon(A, B, C)
γ = Angle(A, C, B)
h = Segment(C, D)
i = Segment(D, E)
p = Segment(A, D)
q = Segment(D, B)
α = Angle(B, A, C)
β = Angle(D, C, B)