Pythagorose teoreemi üks tõestustest.

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

a^2+b^2=c^2

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