A = (0, 0)
b = 2 (slider from 1 to 7, step 1)
a = 8 (slider from 1 to 10, step 1)
H: (a, a - b)
E: (0, a - b)
j = 0 (slider from 0 to 1, step 0.01)
H' = Rotate(H, j 90 °, A)
w = Vector(H', E)
B: (a, 0)
C: (a + b, 0)
D: (0, a)
F: (a, a)
G: (a + b, a)
I: (a + b, a - b)
P, c, d, e, f = Polygon(A, B, H, E)
T1: "(a+b).(a-b) = " + (a + b) + "." + (a - b) + " = " + (a² - b²)
T2: "a² = " + a + "² = " + (a²)
T3: "b² = " + b + "² = " + (b²)
T, h_1, b_1, c_1, i_1 = Polygon(H, B, C, I)
B' = Rotate(B, j 90 °, A)
C' = Rotate(C, j 90 °, A)
I' = Rotate(I, j 90 °, A)
v: j w
H'' = Translate(H', v)
B'' = Translate(B', v)
C'' = Translate(C', v)
I'' = Translate(I', v)
T'', h'', b'', c'', i'' = Polygon(H'', B'', C'', I'')
Q, d_1, f_1, b_2, a_1 = Polygon(D, F, B, A)
J = Mirror(G, F)
K = Mirror(I, f_1)
R, f_2, j_1, k, h = Polygon(F, J, K, H)
KK: K + (1000 (sgn(b - a + 1) - 1), 0)
JJ: J + (1000 (sgn(b - a + 1) - 1), 0)
GG: G + (1000 (sgn(b - a + 1) - 1), 0)
II: I + (1000 (sgn(b - a + 1) - 1), 0)
S, jj, gg, ii, kk = Polygon(JJ, GG, II, KK)