a

O = Point(yAxis)
I = (1, 0)
c = Circle(O, I)
J = Intersect(c, yAxis, 2)
M = Point(c)
α = Angle(I, O, M)
a = Segment(O, M)
b = Line(J, M)
A = Intersect(b, xAxis)