1

i

-i

U = (1, 0)
I = (0, 1)
s = Segment(U, I)
J: -I
O = (0, 0)
P = Point(s)
OP = Line(O, P)
c = Circle(O, U)
b = OrthogonalLine(J, OP)
B = Intersect(OP, b)
N = Midpoint(O, J)
BN = Line(N, B)
M = Midpoint(O, I)
a = OrthogonalLine(I, OP)
A = Intersect(OP, a)
AM = Line(A, M)
I' = Mirror(I, AM)
I'' = Midpoint(I', M)
I''' = Midpoint(I'', M)
J' = Mirror(J, BN)
J'' = Midpoint(N, J')
J''' = Midpoint(N, J'')
MI''' = Segment(M, I''')
NJ''' = Segment(N, J''')
II = Mirror(I, OP)
AII = Segment(A, II)
JJ = Mirror(J, OP)
BJJ = Segment(B, JJ)
I'I''' = Segment(I', I''')
J'J''' = Segment(J', J''')