Zaključak:

Studeni 2006. Niko Grgić

c^2\; =\; a^2 \;+\; b^2

Površina kvadrata nad hipotenuzom pravokutnog trokuta 
jednaka je zbroju površina kvadrata nad katetama tog trokuta.

Pomiči točke  A i B i uvjeri se da  to vrijedi za svaki pravokutni trokut.

J_1 = (-1.5333333333333332, -5)
H_1 = (-4.166666666666667, -25.53333333333333)
pomiči = 0 (slider from 0 to 6, step 0.03)
o_4: (1 + sgn(4 - pomiči + 0)) / 2
o_3: (1 + sgn(3 - pomiči + 0)) / 2
o_2: (1 + sgn(2 - pomiči + 0)) / 2
o_1: (1 + sgn(1 - pomiči + 0)) / 2
d: (1 + sgn(5 - pomiči + 0)) / 2
o: (1 - o_1) (1 - o_2) (1 - o_3) (1 - o_4) (1 - d)
i_2: (1 - o_1) o_2 o_3 o_4 d
i_4: (1 - o_1) (1 - o_2) (1 - o_3) o_4 d
i_5: (1 - o_1) (1 - o_2) (1 - o_3) (1 - o_4) d
i_3: (1 - o_1) (1 - o_2) o_3 o_4 d
j_5: i_5 (pomiči - 4) + o
j_3: i_3 (pomiči - 2) + i_4 + i_5 + o
B = (14.7, 0.4666666666666667)
A = (18.2, 2.6666666666666665)
c_4 = Semicircle(A, B)
C = Point(c_4)
a = Segment(C, B)
K = Point(a)
g = Circle(B, a)
f = OrthogonalLine(C, a)
e = OrthogonalLine(B, a)
F = Intersect(g, e, 1)
h = OrthogonalLine(F, e)
G = Intersect(f, h)
i = Segment(C, G)
L = Point(i)
c = Segment(A, B)
h_1 = Line(L, c)
n = OrthogonalLine(B, c)
p = Circle(A, c)
l = OrthogonalLine(A, c)
H, I = Intersect(p, l)
m = OrthogonalLine(I, l)
J = Intersect(m, n)
r = Segment(B, J)
g_1 = Line(K, r)
M = Intersect(g_1, h_1)
w = Vector(M, I)
F_1: F + w j_3
u_1 = Vector(A, F_1)
z = Vector(M, J)
j_4: i_4 (pomiči - 3) + i_5 + o
v = Vector(M, B)
i_1: o_1 o_2 o_3 o_4 d
j_1: i_1 pomiči + i_2 + i_3 + i_4 + i_5 + o
u = Vector(M, A)
b = Segment(C, A)
j = Segment(B, F)
k = Segment(G, F)
q = Segment(A, I)
s = Segment(I, J)
t = Circle(A, b)
a_1 = OrthogonalLine(A, b)
D = Intersect(t, a_1, 1)
b_1 = OrthogonalLine(D, a_1)
c_1 = OrthogonalLine(C, b)
E = Intersect(b_1, c_1)
d_1 = Segment(D, E)
b_4 = Segment(E, C)
f_1 = Segment(D, A)
N = Intersect(j, h_1)
O = Intersect(k, g_1)
K_1: K + u j_1
B_1: B + u j_1
N_1: N + u j_1
M_1: M + u j_1
P, n_1, m_1, k_1, b_2 = Polygon(N_1, M_1, K_1, B_1)
j_2: i_2 (pomiči - 1) + i_3 + i_4 + i_5 + o
K_2: K + v j_2
C_2: C + v j_2
L_2: L + v j_2
M_2: M + v j_2
Q, m_2, l_2, c_2, k_2 = Polygon(M_2, L_2, C_2, K_2)
N_3: N + w j_3
M_3: M + w j_3
O_1: O + w j_3
R, n_3, f_2, o_5, m_3 = Polygon(N_3, F_1, O_1, M_3)
L_1: L + z j_4
O_2: O + z j_4
G_1: G + z j_4
M_4: M + z j_4
S, o_6, g_2, l_1, m_4 = Polygon(O_2, G_1, L_1, M_4)
C_3: C + u_1 j_5
E_1: E + u_1 j_5
D_1: D + u_1 j_5
A_1: A + u_1 j_5
T, c_3, e_2, d_2, a_2 = Polygon(C_3, E_1, D_1, A_1)
Y = (-2.4, -1.2333333333333334)
C_1 = If(pomiči ≥ 5, Y, H_1)
j_6: o (pomiči - 5)
I_1 = (-1.3333333333333333, -2.533333333333333)
Z = If(pomiči > 5.5, I_1, H_1)
T1: c c + "\; cm^2\;\;   = \;\;  " + (a a) + "\; cm^2 \;" + "+\;" + (b b) + "\; cm^2 \;"
V = (16.133333333333333, -5.033333333333333)
U = If(pomiči == 6, V, H_1)
W = If(pomiči > 5.7, J_1, H_1)