Y:(x(K), cosα)

cosα

cosα

A = Point(xAxis)
c = Circle(A, 1)
B = Point(c)
r = Segment(A, B)
C, D = Intersect(c, xAxis)
α = Angle(D, A, B)
kaar = Arc(c, D, B)
K: (kaar, 0)
Y: (x(K), cos(α))
O = Point(xAxis)
h = Segment(O, K)
f = OrthogonalLine(B, xAxis)
E = Intersect(f, xAxis)
g = Segment(A, E)
i = Segment(B, E)
j = Segment(K, Y)