F - C

L

L

F_0 - F''

x

F'

x

w

y

Resultado 3

Convergencia de Ortogonales

G'

x

I

z

Elección de F'

B = Intersect(xAxis, yAxis)
F = Point(Ray[B, Vector[(1, 0)]])
D = Point(Ray[B, Vector[(-1, 0)]])
polígono1, f, L, h_1, i, G, C = Polygon(B, F, 4)
j = OrthogonalLine(D, xAxis)
A = Point(Ray[D, Vector[(0, 1)]])
k = Segment(A, F)
l = Segment(A, G)
d = Segment(D, B)
h = Segment(D, A)
G'' = Intersect(yAxis, l)
F'' = Intersect(yAxis, k)
g = Segment(G'', F'')
m_2 = OrthogonalLine(F'', yAxis)
F'_1 = Point(m_2)
c = Circle(F'_1, g)
G' = Intersect(c, m_2, 1)
n = Segment(B, F'_1)
q = Segment(F'_1, G')
r = Segment(G', F)
s = Segment(F, B)
p = Segment(F'', F'_1)
t = Line(B, F'_1)
a = Line(F, G')
I = Intersect(t, a)
b = OrthogonalLine(I, xAxis)
E_1 = Intersect(xAxis, b)
e = Segment(A, I)
f_1 = Segment(I, E_1)
g_1 = Segment(B, I)
i_1 = Segment(I, F)
j_1 = Segment(B, F'')
o = false
u = false
M = Point(Ray[D, Vector[(0, 1)]])
k_1 = Segment(M, F)
E = Intersect(k_1, i)
c_1 = Circle(F'', Segment[E, B])
F' = Intersect(c_1, m_2, 1)
d_1 = Circle(F', Segment[F'', G''])
H = Intersect(d_1, m_2, 1)
l_1 = Line(B, F')
m_1 = Line(H, F)
n_1 = Segment(B, F')
p_1 = Segment(F', H)
q_1 = Segment(H, F)
r_1 = Segment(F, B)
J = Intersect(l_1, m_1)
s_1 = Segment(F', J)
t_1 = Segment(J, H)
a_1 = Segment(A, J)
b_1 = Segment(F'', F')
m = Segment(D, M)
f_2 = Segment(D, A)
e_1 = Segment(E, B)
v = false
g_2 = Segment(B, E_1)