C:\Users\maria sapuppo\Desktop\Pitagora\Esercizi\dimostrazioni geogebra\Geogebra\11La dimostrazione in versi di Airygeogebra-export

Per ruotare il triangolo  verde clicca qui

Per ruotare il triangolo rosso clicca qui

a

b

c

a²+b²-ab

a²+b²-ab+ab = c²

c² = a²+b²

A = (1, 3)
B = (2, 3)
f = Segment(A, B)
C = (2, 6)
g = Segment(C, B)
h = Segment(C, A)
D = Point(g)
E = (5, 5)
i = Segment(D, E)
j = Segment(C, E)
F = (4, 2)
k = Segment(E, F)
l = Segment(A, F)
G = Intersect(g, h)
H = Intersect(f, h)
I = Intersect(f, g)
t1, i_1, g_1, h_1 = Polygon(G, H, I)
J = Intersect(g, i)
K = Intersect(i, j)
t2, k_1, g_2, j_1 = Polygon(G, J, K)
L = Intersect(f, h)
M = Point(l)
N = Intersect(i, j)
O = Point(g)
P = Intersect(f, g)
poli1, l_1, m, n, o, p = Polygon(L, M, N, O, P)
Q = (13, 2)
u = Vector(M, Q)
L' = Translate(L, u)
M' = Translate(M, u)
N' = Translate(N, u)
O' = Translate(O, u)
P' = Translate(P, u)
poli1', l', m', n', o', p' = Polygon(L', M', N', O', P')
G' = Translate(G, u)
J' = Translate(J, u)
K' = Translate(K, u)
t2', k', g', j' = Polygon(G', J', K')
G'_{1} = Translate(G, u)
H' = Translate(H, u)
I' = Translate(I, u)
t1', i', g'_{1}, h' = Polygon(G'_{1}, H', I')
R = Rotate(G'_{1}, -90°, L')
H'' = Rotate(H', -90°, L')
I'' = Rotate(I', -90°, L')
t1'', i'', r, h'' = Polygon(R, H'', I'')
G'' = Rotate(G', 90°, N')
J'' = Rotate(J', 90°, N')
K'' = Rotate(K', 90°, N')
t2'', k'', g'', j'' = Polygon(G'', J'', K'')
a = false
b = false
S = (-3.64, 6.32)
T = (6.68, 6.3)
U = Intersect(k, l)
V = (-2.64, 1.98)
v = Vector(U, V)
L'_{1} = Translate(L, v)
M'_{1} = Translate(M, v)
N'_{1} = Translate(N, v)
O'_{1} = Translate(O, v)
P'_{1} = Translate(P, v)
poli1'_{1}, l'_{1}, m'_{1}, n'_{1}, o'_{1}, p'_{1} = Polygon(L'_{1}, M'_{1}, N'_{1}, O'_{1}, P'_{1})
W = (-6, 2)
Z = (-2, 2)
q = Line(W, Z)
A_1 = (-5.66, 2.56)
s = OrthogonalLine(A_1, q)
B_1 = Point(q)
t = OrthogonalLine(B_1, q)
C_1 = Intersect(n'_{1}, o'_{1})
c = OrthogonalLine(C_1, n'_{1})
D_1 = Point(l'_{1})
E_1 = Point(c)
d = Segment(D_1, E_1)
F_1 = Point(m'_{1})
e = Segment(E_1, F_1)
f_1 = Segment(F_1, B_1)
G_1 = Intersect(q, l'_{1})
m_1 = Segment(B_1, G_1)
H_1 = Intersect(q, s)
n_1 = Segment(G_1, H_1)
q_1 = Segment(C_1, E_1)
I_1 = (-5.54, 2.06)
J_1 = (-5.64, 1.9)
p_1 = OrthogonalLine(J_1, n_1)
K_1 = Intersect(p_1, l'_{1})
L_1 = Intersect(p_1, n_1)
r_1 = Segment(K_1, L_1)