A - A'

B - B'

Línea de Horizonte

Punto Central

G'

F'

E'

Primer ensayo Alberti 1:1

Segundo ensayo Alberti 2:3

ControlRectangulo1 = Point(Ray[(0, 0), Vector[(0, 1)]])
ControlRectangulo2 = Point(Ray[(0, 0), Vector[(1, 0)]])
f = OrthogonalLine(ControlRectangulo2, xAxis)
g = OrthogonalLine(ControlRectangulo1, yAxis)
C_1 = Intersect(f, g)
D_1 = Point(Segment[(0, 0), (0, y(ControlRectangulo1) / 3)])
E_3: (0, (2 * y(D_1)))
F_2: (0, (3 * y(D_1)))
h = OrthogonalLine(D_1, yAxis)
i = OrthogonalLine(E_3, yAxis)
j = OrthogonalLine(F_2, yAxis)
A: ((5 / 3 * x(ControlRectangulo2)), 0)
k = OrthogonalLine(A, xAxis)
H: (x(A) + x(ControlRectangulo2), 0)
G_2 = Intersect(f, j)
I = Intersect(f, i)
J = Intersect(f, h)
l = OrthogonalLine(H, xAxis)
K = Intersect(g, k)
M = Intersect(g, l)
C: (x(A), (-x(ControlRectangulo2)))
D: (x(H), (-x(ControlRectangulo2)))
m = Segment(C, D)
P = Intersect(xAxis, yAxis)
p = Segment(ControlRectangulo2, C_1)
q = Segment(C_1, ControlRectangulo1)
r = Segment(ControlRectangulo1, P)
s = Segment(D_1, J)
t = Segment(E_3, I)
a = Segment(F_2, G_2)
Q = Intersect(j, k)
R = Intersect(j, l)
b = Segment(Q, R)
c = LineBisector(A, C)
d = LineBisector(A, H)
n = 4 (slider from 0 to 10, step 1)
e = Segment(K, M)
Punto = Point(a)
N: (x(Q) + x(Punto), y(Q))
f_1 = Segment(P, ControlRectangulo2)
g_1 = Segment(K, A)
h_1 = Segment(M, H)
i_1 = Segment(N, A)
C' = Point(i_1)
j_1 = OrthogonalLine(C', yAxis)
k_1 = Segment(N, H)
D' = Intersect(j_1, k_1)
l_1 = Segment(C', D')
B = Intersect(k, j_1)
m_1 = Segment(A, B)
S: (x(A), (27 * y(B) / 65))
S': (x(A), (5 / 3 * y(S)))
T: (x(A), y(S') + (2 / 3 * Distance[S, S']))
n_1 = OrthogonalLine(S, k)
p_1 = OrthogonalLine(S', k)
q_1 = OrthogonalLine(T, k)
r_1 = Segment(D, H)
s_1 = Segment(C, A)
t_1 = Segment(A, H)
F = Intersect(c, s_1)
O = Intersect(c, r_1)
U = Intersect(d, t_1)
V = Intersect(d, m)
G = Midpoint(C, F)
E = Midpoint(F, A)
A_1 = Midpoint(A, U)
B_1 = Midpoint(U, H)
E_1 = Midpoint(H, O)
F_1 = Midpoint(O, D)
G_1 = Midpoint(D, V)
H_1 = Midpoint(V, C)
a_1 = Segment(A, N)
b_1 = Segment(A_1, N)
c_1 = Segment(U, N)
d_1 = Segment(B_1, N)
e_1 = Segment(H, N)
I_1 = Intersect(l_1, b_1)
J_1 = Intersect(c_1, l_1)
K_1 = Intersect(d_1, l_1)
f_2 = Segment(A, C')
g_2 = Segment(A_1, I_1)
L_1 = Intersect(d, t_1)
h_2 = Segment(J_1, U)
i_2 = Segment(B_1, K_1)
j_2 = Segment(D', H)
k_2 = Segment(C', N)
l_2 = Segment(I_1, N)
m_2 = Segment(J_1, N)
n_2 = Segment(K_1, N)
p_2 = Segment(D', N)
G'' = Intersect(q_1, f_2)
F'' = Intersect(p_1, f_2)
E'' = Intersect(n_1, f_2)
P_1 = Intersect(n_1, j_2)
Q_1 = Intersect(p_1, j_2)
R_1 = Intersect(q_1, j_2)
q_2 = Segment(E, E_1)
r_2 = Segment(O, F)
s_2 = Segment(G, F_1)
t_2 = Segment(G_1, B_1)
a_2 = Segment(U, V)
b_2 = Segment(H_1, A_1)
c_2 = Segment(E'', P_1)
d_2 = Segment(Q_1, F'')
e_2 = Segment(R_1, G'')
V_1 = Midpoint(H, D')
W_1 = Midpoint(H, V_1)
F' = Midpoint(A, C')
G' = Midpoint(F', C')
E' = Midpoint(F', A)
f_3 = Segment(E', W_1)
g_3 = Segment(F', V_1)
Z_1 = Midpoint(V_1, D')
h_3 = Segment(G', Z_1)
A_2 = Intersect(g_2, f_3)
i_3 = Segment(A, A_2)
B_2 = Intersect(h_2, g_3)
j_3 = Segment(A_2, B_2)
C_2 = Intersect(i_2, h_3)
k_3 = Segment(B_2, C_2)
l_3 = Segment(C_2, D')
D_2 = Intersect(i_2, f_3)
m_3 = Segment(H, D_2)
n_3 = Segment(D_2, B_2)
E_2 = Intersect(g_2, h_3)
p_3 = Segment(B_2, E_2)
q_3 = Segment(E_2, C')
o = false
L = Intersect(g_2, c_2)
r_3 = Segment(A, L)
W = Intersect(h_2, d_2)
s_3 = Segment(L, W)
Z = Intersect(i_2, e_2)
t_3 = Segment(W, Z)
a_3 = Segment(Z, D')
M_1 = Intersect(i_2, c_2)
b_3 = Segment(H, M_1)
c_3 = Segment(M_1, W)
N_1 = Intersect(g_2, e_2)
d_3 = Segment(W, N_1)
e_3 = Segment(N_1, C')
u = false