\text{Demostració del Teorema de Pitàgores}

\text{Mida relativa entre catets}

A = (-2, 4)
B = (1, 4)
Quadrat_1, a, b, c, d, C, D = Polygon(A, B, 4)
e = 0.8 (slider from 0 to 1, step 0.1)
E: ((e * x(D)) + ((1 - e) * x(C)), (e * y(D)) + ((1 - e) * y(C)))
A_1 = (2, 4)
B_1 = (5, 4)
Quadrat, a_1, b_1, c_1, d_1, C_1, D_1 = Polygon(A_1, B_1, 4)
F: (((1 - e) * x(A)) + (e * x(B)), ((1 - e) * y(A)) + (e * y(B)))
G: ((e * x(A)) + ((1 - e) * x(D)), (e * y(A)) + ((1 - e) * y(D)))
H: ((e * x(C)) + ((1 - e) * x(B)), (e * y(C)) + ((1 - e) * y(B)))
rectangle, e_1, g, f, h = Polygon(E, G, F, H)
PuntoPolígon1 = PointIn(Quadrat_1)
PuntoQuadrat1 = PointIn(Quadrat_1)
Puntorectangle = PointIn(rectangle)
I: ((e * x(D_1)) + ((1 - e) * x(C_1)), (e * y(D_1)) + ((1 - e) * y(C_1)))
J: ((e * x(D_1)) + ((1 - e) * x(A_1)), (e * y(D_1)) + ((1 - e) * y(A_1)))
K: ((e * x(C_1)) + ((1 - e) * x(B_1)), (e * y(C_1)) + ((1 - e) * y(B_1)))
L: ((e * x(A_1)) + ((1 - e) * x(B_1)), (e * y(A_1)) + ((1 - e) * y(B_1)))
i = Segment(I, L)
j = Segment(J, K)
M = Intersect(i, j)
polígono1, m, k, b_2, l = Polygon(M, K, B_1, L)
polígono2, i_1, m_1, j_1, d_2 = Polygon(I, M, J, D_1)
n = Segment(I, K)
p = Segment(M, A_1)
Puntopolígono1 = PointIn(polígono1)
Puntopolígono2 = PointIn(polígono2)
areacatets: polígono1 + polígono2
Textopolígono2: "\text{Àrea del quadrat del primer catet} = " + (LaTeX[polígono2]) + ""
Textopolígono1: "\text{Àrea del quadrat del segon catet}= " + (LaTeX[polígono1]) + ""
texto1: "\text{Àrea de la suma dels quadrats dels catets} =" + (LaTeX[areacatets]) + ""
Textorectangle: "\text{Àrea del quadrat de la hipotenusa} = " + (LaTeX[rectangle]) + ""