pythagoras04

a = 4 (slider from 3.5 to 7, step 0.1)
b: 7 - a
A: (0, 0)
B: (a + b, 0)
C: (a + b, a + b)
D: (0, a + b)
f = Segment(A, B)
g = Segment(B, C)
h = Segment(C, D)
i = Segment(D, A)
E: (a, 0)
F: (a + b, a)
G: (b, a + b)
H: (0, b)
j = Segment(G, H)
k = Segment(H, E)
l = Segment(E, F)
m = Segment(F, G)
I: (a, b)
J: (a, a + b)
K: (a + b, b)
n = Segment(H, I)
p = Segment(I, J)
q = Segment(I, K)
r = Segment(I, E)
L = Intersect(m, p)
M = Intersect(l, q)
q1, h_1, i_1, l_1, g_1 = Polygon(H, I, L, G)
t1, m_1, i_2, e = Polygon(I, E, M)
t2, g_2, d, h_2 = Polygon(D, H, G)
t3, e_1, h_3, i_3 = Polygon(H, I, E)
s = OrthogonalLine(F, g)
N = Intersect(s, p)
distanceIN = Distance(I, N)
c = Circle(B, Segment[I, N])
O = Intersect(c, g, 1)
t = OrthogonalLine(O, g)
P = Intersect(t, l)
q2, o, p_1, e_2, b_1 = Polygon(O, P, E, B)
q3, f_1, n_1, i_4, m_2 = Polygon(F, N, I, M)
t4, j_1, g_3, l_2 = Polygon(G, L, J)
c_1 = Circle(F, Segment[I, N])
Q = Point(c_1)
k_1 = OrthogonalLine(Q, h)
R = Intersect(k_1, h)
S = Intersect(k_1, m)
t5, f_2, q_1, s_1 = Polygon(Q, S, F)
q4, p_2, o_1, k_2, m_3 = Polygon(P, O, K, M)
q5, n_2, q_2, s_2, l_3 = Polygon(N, Q, S, L)
q6, d_1, j_2, i_5, h_4 = Polygon(D, J, I, H)
q7, i_6, k_3, b_2, e_3 = Polygon(I, K, B, E)