Aide 3

Aide 2

Aide 1

A: (0, 15)
B: (30, 15)
C: (30, 0)
D: (0, 0)
poly1, a, b, c, d = Polygon(A, B, C, D)
E_2: (45, 15)
F: (45, 0)
G: (80, 0)
H: (80, 15)
poly2, e, f, g, h = Polygon(E_2, F, G, H)
M: (30, 9)
N: (30, 0)
O_1: (45, 0)
P_1: (45, 9)
poly4, m, n, o, p = Polygon(M, N, O_1, P_1)
I = Point(poly2)
i = OrthogonalLine(I, h)
J = Point(i)
j = OrthogonalLine(J, i)
K = Point(j)
k = OrthogonalLine(K, j)
L = Intersect(k, h)
poly3, j_1, i_1, l, k_1 = Polygon(J, I, L, K)
P = Midpoint(J, K)
α = -1.0646508437165412 rad (slider from -67° to 16°, step °)
Q' = Rotate(J, α, P)
q = Line(P, Q')
r = Circle(P, 15)
R, O = Intersect(r, q)
s = OrthogonalLine(O, p)
t = Circle(O, 20)
T, S = Intersect(t, s)
f_1 = Segment(O, S)
V = Midpoint(P, R)
g_1 = Segment(O, V)
W = Point(poly3)
u = Vector(I, L)
W' = Translate(W, u)
poly5, w, w', l_1, i_2 = Polygon(W, W', L, I)
Z = Midpoint(W, W')
h_1 = Segment(P, Z)
A_1 = Intersect(a, d)
B_1 = Point(d)
C_1 = Point(b)
D_1 = Intersect(a, b)
poly6, a_1, b_1, c_1, d_1 = Polygon(A_1, B_1, C_1, D_1)
m_1 = OrthogonalLine(C_1, d)
n_1 = OrthogonalLine(B_1, d)
E_1 = Point(e)
F_1 = Intersect(e, h)
G_1 = Point(g)
H_1 = Intersect(g, h)
poly7, f_2, e_1, g_2, h_2 = Polygon(F_1, E_1, G_1, H_1)
v = Vector(O, S)
E = Translate(P, v)
p_1 = Segment(S, E)
q_1 = Segment(E, P)
r_1 = Segment(O, P)
o_1 = false
s_1 = Segment(O, S)
Aide_1 = false
t_1 = Circle(E, S)
Q = Point(t_1)
U = Point(t_1)
I_1 = Point(t_1)
j_2 = LineBisector(I_1, U)
k_2 = LineBisector(U, Q)
l_2 = Segment(I_1, U)
m_2 = Segment(U, Q)
J_1 = Intersect(k_2, m_2)
K_1 = Intersect(j_2, l_2)
n_2 = Segment(K_1, E)
p_2 = Segment(J_1, E)
u_1 = false