Eukleidese \; teoreem:

Täisnurkse \; kolmnurga \; kaatet \; on \; oma \; projektsiooni \; ja

hüpotenuusi \; geomeetriline \; keskmine

α = 0 rad (slider from 0 to 180°, step 0.017453292519943295)
β = 0 rad (slider from 0 to 90°, step 0.017453292519943295)
Lüke = 0 (slider from 0 to 4, step 0.1)
A = (3, 5)
B = (7, 5)
C_{1} = (5, 7)
t1, c, a, b = Polygon(A, B, C_{1})
hulknurk1, f, g, h, i, D, E = Polygon(B, A, 4)
hulknurk2, j, k, l, m, F, G = Polygon(C_{1}, B, 4)
hulknurk3, n, p, q, r, H, I = Polygon(A, C_{1}, 4)
s = Segment(A, H)
t = Segment(B, G)
I' = Rotate(I, α, A)
H' = Rotate(H, α, A)
F' = Rotate(F, (-α), B)
G' = Rotate(G, (-α), B)
C' = Rotate(C_{1}, (-β), A)
H'_{1} = Rotate(H, (-β), A)
C'_{1} = Rotate(C_{1}, β, B)
G'_{1} = Rotate(G, β, B)
t2, h', a_1, i' = Polygon(A, I', H')
t3, g', b_1, f' = Polygon(B, F', G')
t4, c', a_2, h'_{1} = Polygon(A, H'_{1}, C')
t5, b_2, g'_{1}, c'_{1} = Polygon(G'_{1}, C'_{1}, B)
J = Translate(G'_{1}, ((-Lüke), (-Lüke)))
C = Translate(C'_{1}, ((-Lüke), (-Lüke)))
B' = Translate(B, ((-Lüke), (-Lüke)))
t5', b', j_1, k_1 = Polygon(J, C, B')