Le Caire

constr

A = Point(xAxis)
E = Point(xAxis)
B = Rotate(E, -90°, A)
C = (0.5123524189339103, 2.699479689962906)
D = Rotate(B, -90°, C)
a = Segment(E, A)
b = Segment(A, B)
c = Segment(B, C)
d = Segment(C, D)
e = Segment(D, E)
α = Angle(B, A, E)
β = Angle(D, C, B)
poly1, a_1, b_1, c_1, d_1, e_1 = Polygon(A, B, C, D, E)
A' = Rotate(A, -90°, A)
B'_{4} = Rotate(B, -90°, A)
C' = Rotate(C, -90°, A)
D'_{4} = Rotate(D, -90°, A)
E'_{4} = Rotate(E, -90°, A)
poly1', a', b', c', d', e' = Polygon(A', B'_{4}, C', D'_{4}, E'_{4})
A'_{1} = Rotate(A, 90°, A)
B'_{1} = Rotate(B, 90°, A)
C'_{1} = Rotate(C, 90°, A)
D'_{1} = Rotate(D, 90°, A)
E' = Rotate(E, 90°, A)
poly1'_{1}, a'_{1}, b'_{1}, c'_{1}, d'_{1}, e'_{1} = Polygon(A'_{1}, B'_{1}, C'_{1}, D'_{1}, E')
A'' = Rotate(A', 90°, C')
B' = Rotate(B'_{4}, 90°, C')
C'' = Rotate(C', 90°, C')
D''_{1} = Rotate(D'_{4}, 90°, C')
E''_{1} = Rotate(E'_{4}, 90°, C')
poly1'', a'', b'', c'', d'', e'' = Polygon(A'', B', C'', D''_{1}, E''_{1})
A'_{2} = Mirror(A, A)
B'_{2} = Mirror(B, A)
C'_{2} = Mirror(C, A)
D'_{2} = Mirror(D, A)
E'_{2} = Mirror(E, A)
poly1'_{2}, a'_{2}, b'_{2}, c'_{2}, d'_{2}, e'_{2} = Polygon(A'_{2}, B'_{2}, C'_{2}, D'_{2}, E'_{2})
f = Segment(A, B'_{4})
h = Segment(B, D'_{4})
i = Segment(B'_{4}, E''_{1})
j = Segment(E', C'_{2})
k = Segment(C'_{2}, E''_{1})
l = Segment(E''_{1}, A'')
m = Segment(C', B'_{4})
n = Segment(D'_{4}, C')
p = Segment(C', B')
g = Segment(B', A'')
E'' = Mirror(B', A'')
D'' = Rotate(B'_{4}, 90°, A'')
q = Segment(C'_{2}, D'')
r = Segment(D'', E'')
s = Segment(E'', A'')
poly2, t, f_1, b''', b''_{1}, g_1 = Polygon(E''_{1}, A'', E'', D'', C'_{2})
A'_{3} = Rotate(A, 90°, C)
B'_{3} = Rotate(B, 90°, C)
C'_{3} = Rotate(C, 90°, C)
D'_{3} = Rotate(D, 90°, C)
E'_{3} = Rotate(E, 90°, C)
poly1'_{3}, a'_{3}, b'_{3}, c'_{3}, d'_{3}, e'_{3} = Polygon(A'_{3}, B'_{3}, C'_{3}, D'_{3}, E'_{3})
h_1 = Segment(C, B'_{3})
i_1 = Segment(B'_{3}, A'_{3})
j_1 = Segment(A'_{3}, D'_{4})
F = Rotate(A'_{3}, 90°, A'_{3})
D' = Rotate(B'_{3}, 90°, A'_{3})
H = Rotate(C'_{3}, 90°, A'_{3})
I = Rotate(D'_{3}, 90°, A'_{3})
J = Rotate(E'_{3}, 90°, A'_{3})
poly3, f_2, g_2, h_2, i_2, j_2 = Polygon(F, D', H, I, J)
A''' = Rotate(A'', 90°, C')
B'''_{1} = Rotate(B', 90°, C')
C''' = Rotate(C'', 90°, C')
D''' = Rotate(D''_{1}, 90°, C')
E''' = Rotate(E''_{1}, 90°, C')
poly1''', a''', b'''_{1}, c''', d''', e''' = Polygon(A''', B'''_{1}, C''', D''', E''')
K = Rotate(A''', -90°, A''')
L = Rotate(B'''_{1}, -90°, A''')
M_{1} = Rotate(C''', -90°, A''')
N = Rotate(D''', -90°, A''')
O = Rotate(E''', -90°, A''')
poly4, k_1, l_1, m_1, n_1, o = Polygon(K, L, M_{1}, N, O)
A'''_{1} = Rotate(A'', -90°, A'')
B'''_{2} = Rotate(B', -90°, A'')
C'''_{1} = Rotate(C'', -90°, A'')
D'''_{1} = Rotate(D''_{1}, -90°, A'')
E'''_{1} = Rotate(E''_{1}, -90°, A'')
poly1'''_{1}, a'''_{1}, b'''_{2}, c'''_{1}, d'''_{1}, e'''_{1} = Polygon(A'''_{1}, B'''_{2}, C'''_{1}, D'''_{1}, E'''_{1})
E'''_{2} = Rotate(E''_{1}, 90°, A'')
A'''_{2} = Rotate(A'', 90°, A'')
P = Rotate(E'', 90°, A'')
Q = Rotate(D'', 90°, A'')
R = Rotate(C'_{2}, 90°, A'')
poly2', e'''_{2}, a'''_{2}, p_1, q_1, r_1 = Polygon(E'''_{2}, A'''_{2}, P, Q, R)
s_1 = Segment(A'_{3}, J)
t_1 = Segment(J, I)
k_2 = Segment(I, C')
l_2 = Segment(I, A''')
m_2 = Segment(L, A''')
n_2 = Segment(A''', E''')
p_2 = Segment(M_{1}, J)
q_2 = Segment(M_{1}, L)
r_2 = Segment(B', E''')
s_2 = Segment(A'', B'''_{2})
t_2 = Segment(B'''_{2}, Q)
a_2 = Segment(Q, R)
b_2 = Segment(E'', R)
c_2 = Segment(E''', C'''_{1})
d_2 = Segment(C'''_{1}, B'''_{2})
e_2 = Circle(Midpoint[B, E], E)
c_3 = Circle(E, Midpoint[A, E])
M = Intersect(e_2, c_3, 2)
C_0 = Mirror(A, Line[B, M])
D_0 = Mirror(E, M)
f_3 = Segment(D_0, E)
g_3 = Segment(D_0, C_0)
h_3 = Segment(C_0, B)
u = false
i_3 = Segment(M, B)
j_3 = Segment(B, E)