E:(x(D), sinα)

sinα

sinα

A = Point(xAxis)
c = Circle(A, 1)
B = Intersect(c, xAxis, 2)
C = Point(c)
r = Segment(A, C)
kaar = Arc(c, B, C)
O = Point(yAxis)
D: (kaar, 0)
α = Angle(B, A, C)
E: (x(D), sin(α))
g = Segment(O, D)
i = Segment(E, D)
h = OrthogonalLine(C, xAxis)
F = Intersect(h, xAxis)
j = Segment(F, C)
k = Segment(C, E)