Pythagorase teoreemi üks tõestustest.

Täisnurkse kolmnurga kaatetite ruutude
summa on võrdne hüpotenuusi ruuduga

a²+b²=c²

Paigutame tekkinud tükid halli ruudu sisse, kuid
nii, et hiljem saaks sellesse ruutu ära mahutada ka rohelise
ruudu.

A = Point(yAxis)
B = Point(xAxis)
f = Segment(A, B)
C = Intersect(xAxis, yAxis)
a = Segment(B, C)
b = Segment(C, A)
hulknurk1, c, j, k, l, D, E = Polygon(A, B, 4)
hulknurk2, m, n, p, q, F, G = Polygon(B, C, 4)
hulknurk3, r, s, t, a_{2}, H, I = Polygon(C, A, 4)
b_{1} = Line(I, l)
c_{3} = Line(C, f)
J = Intersect(b_{1}, b)
K = Intersect(c_{3}, s)
L = Intersect(b_{1}, c_{3})
q1, k_1, l_1, j_1, a_1 = Polygon(K, L, J, A)
t1, c_1, l_2, j_2 = Polygon(L, J, C)
t2, i_1, l_3, c_2 = Polygon(L, C, I)
q2, l_4, i_2, h_1, k_2 = Polygon(L, I, H, K)
Liigu = 0 (slider from 0 to 1, step 0.1)
P: L + (Liigu * (B - L))
u = Vector(L, P)
K' = Translate(K, u)
L' = Translate(L, u)
J' = Translate(J, u)
A' = Translate(A, u)
q1', k', l', j', a' = Polygon(K', L', J', A')
Q: L + (Liigu * (A - L))
v = Vector(L, Q)
L'_{1} = Translate(L, v)
J'_{1} = Translate(J, v)
C' = Translate(C, v)
t1', c', l'_{1}, j'_{1} = Polygon(L'_{1}, J'_{1}, C')
R: L + (Liigu * (D - L))
w = Vector(L, R)
L'_{2} = Translate(L, w)
I' = Translate(I, w)
H' = Translate(H, w)
K'_{1} = Translate(K, w)
q2', l'_{2}, i', h', k'_{1} = Polygon(L'_{2}, I', H', K'_{1})
S: L + (Liigu * (E - L))
d = Vector(L, S)
L'_{3} = Translate(L, d)
C'_{1} = Translate(C, d)
I'_{1} = Translate(I, d)
t2', i'_{1}, l'_{3}, c'_{1} = Polygon(L'_{3}, C'_{1}, I'_{1})
e = Circle(B, Segment[K, L])
M = Intersect(e, c)
Y: F + (Liigu * (M - F))
u_1 = Vector(F, Y)
hulknurk2' = Translate(hulknurk2, u_1)