a²

b²

c²

A = Intersect(xAxis, yAxis)
B = Point(xAxis)
hulknurk1, f, g, h, i, C, D = Polygon(A, B, 4)
E = Point(f)
j = OrthogonalLine(E, f)
k = Segment(A, C)
F = Intersect(j, k)
l = Line(F, f)
G = Intersect(l, i)
H = Intersect(j, h)
I = Intersect(g, l)
u = Vector(A, (x(B) + 3, y(B)))
hulknurk1' = Translate(hulknurk1, u)
E' = Translate(E, u)
j' = Translate(j, u)
F' = Translate(F, u)
t1, d, g_1, f_1 = Polygon(G, F, D)
t2, d_1, f_2, h_1 = Polygon(F, H, D)
t3, i_1, e, b = Polygon(E, B, I)
t4, f_3, e_1, i_2 = Polygon(E, I, F)
J: (8, 5)
v = Vector(F, J)
K: (8, 0)
w = Vector(G, K)
L: (13, 5)
a = Vector(H, L)
M = Centroid(t1)
N = Centroid(t2)
O = Centroid(t3)
P = Centroid(t4)
N' = Translate(N, a)
M' = Translate(M, w)
O' = Translate(O, u)
P' = Translate(P, v)
m = Segment(N, N')
n = Segment(M, M')
p = Segment(P, P')
q = Segment(O, O')
Q = Point(m)
R = Point(p)
S = Point(q)
c = Vector(O, S)
r = Vector(N, Q)
s = Vector(P, R)
F'_{1} = Translate(F, r)
H' = Translate(H, r)
D' = Translate(D, r)
t2', d', f'_{1}, h' = Polygon(F'_{1}, H', D')
E'_{1} = Translate(E, c)
B' = Translate(B, c)
I' = Translate(I, c)
t3', i', e'_{1}, b' = Polygon(E'_{1}, B', I')
E'_{2} = Translate(E, s)
I'_{1} = Translate(I, s)
F'_{3} = Translate(F, s)
t4', f'_{3}, e'_{2}, i'_{1} = Polygon(E'_{2}, I'_{1}, F'_{3})
T = Point(n)
t = Vector(M, T)
G' = Translate(G, t)
F'_{2} = Translate(F, t)
D'_{1} = Translate(D, t)
t1', d'_{1}, g', f'_{2} = Polygon(G', F'_{2}, D'_{1})
j_1 = Segment(G, I)
k_1 = Segment(H, E)