N

G

ControlRectaNP = Point(yAxis)
ControlRectaFG = Point(yAxis)
f = Line(ControlRectaFG, xAxis)
g = Line(ControlRectaNP, xAxis)
E = Point(g)
P = Point(g)
O = Point(f)
F = Point(Ray[O, Vector[(1, 0)]])
O' = Point(f)
c = Circle(O', Segment[O, F])
F' = Intersect(c, f, 2)
h = Line(E, O)
i = Line(P, F)
j = Line(P, F')
k = Line(E, O')
K = Intersect(j, k)
I = Intersect(h, i)
l = Line(K, I)
m = OrthogonalLine(K, l)
n = OrthogonalLine(I, l)
K_1 = Intersect(f, m)
L = Intersect(f, n)
p = Segment(K, P)
q = Segment(E, K)
r = Segment(E, I)
s = Segment(I, P)
h_4 = Segment(K_1, K)
h_2 = Segment(I, L)
M: (x(K) - 0.07, y(K))
b = OrthogonalLine(M, l)
N_1: (x(I) - 0.07, y(I))
d = OrthogonalLine(N_1, l)
O_1 = Intersect(g, b)
P_1 = Intersect(g, d)
h_3 = Segment(O_1, M)
h_1 = Segment(P_1, N_1)
g_1 = Segment(E, P)
h_5 = Segment(O', F')
i_1 = Segment(O, F)
t = Segment(E, O)
a = Segment(F, P)
e = Segment(P, F')
f_1 = Segment(E, O')