C:\Users\maria sapuppo\Desktop\Pitagora\Esercizi\dimostrazioni geogebra\Geogebra\4I pentagoni quasi gemelli diThabitgeogebra-export

Traslazione di PHK su ABC

Traslazione di PEB su KDC

Traslazione di PBF su AHG

Rotazione di KDC su ABC

Rotazione di AHG su ABC

Avvia

Reset r

Se vuoi verificare 
la congruenza 
dei sei triangoli
rettangoli muovi 
gli slider nei riquadri

r: 8.46
B = (2.42, 3.48)
A = (1.44, 1.46)
poli2, n, p, q, r_{5}, F_{1}, G_{1} = Polygon(A, B, 4)
F = Intersect(p, q)
f = Segment(A, B)
g = OrthogonalLine(B, f)
C = Point(g)
poli3, s, t, a_{3}, b_{4}, H_{3}, I = Polygon(A, C, 4)
c_{3} = Line(F_{1}, I)
poli1, j, k, l, m, D_{1}, E_{1} = Polygon(B, C, 4)
d_{2} = Line(E_{1}, H_{3})
J = Intersect(c_{3}, d_{2})
g_1 = Segment(J, B)
f_1 = Segment(J, E_{1})
P = Intersect(f_1, g_1)
h = Segment(A, C)
i = Segment(B, C)
e = Segment(F_{1}, J)
t1, c_1, a_1, b_1 = Polygon(A, B, C)
t2, c_2, h_1, d_1 = Polygon(H_{3}, D_{1}, C)
t3, h_2, i_1, j_1 = Polygon(I, J, H_{3})
t4, b_2, j_2, e_1 = Polygon(J, E_{1}, B)
t5, k_1, l_1, n_1 = Polygon(P, F, B)
t6, a_2, g_2, i_2 = Polygon(G_{1}, I, A)
H' = Rotate(H_{3}, 90°, C)
D' = Rotate(D_{1}, 90°, C)
C' = Rotate(C, 90°, C)
t2', c', h', d' = Polygon(H', D', C')
H'_{1} = Rotate(H_{3}, 90°, C)
D'_{1} = Rotate(D_{1}, 90°, C)
C'_{1} = Rotate(C, 90°, C)
t2'_{1}, c'_{1}, h'_{1}, d'_{1} = Polygon(H'_{1}, D'_{1}, C'_{1})
H'_{2} = Rotate(H_{3}, 90°, C)
K = Intersect(l, t)
L = (6.54, 1.42)
o = 6.56 (slider from 1.5 to 6.56)
v: o
G = Intersect(q, r_{5})
H = Intersect(a_{3}, b_{4})
D = Intersect(k, l)
E = Point(f_1)
N: (6.5, o)
u = Vector(K, N)
N' = Translate(N, Vector[(-0.040000000000000036, -0.9999999999999991)])
I' = Translate(I, u)
J' = Translate(J, u)
M = Translate(H_{3}, u)
t3', m_1, i', j' = Polygon(I', J', M)
α = 0 rad (slider from 0° to 90°, step 0.017453292519943295)
K' = Rotate(K, α, C)
K'_{1} = Rotate(K, α, C)
O = Rotate(H_{3}, α, C)
Q = Rotate(D_{1}, α, C)
C'_{2} = Rotate(C, α, C)
t2'_{2}, c'_{2}, o_1, q_1 = Polygon(O, Q, C'_{2})
β = 0 rad (slider from 0° to 90°, step 0.017453292519943295)
R: (r, -5)
I'_{1} = Rotate(I, (-β), A)
A' = Rotate(A, (-β), A)
b = 7.59 (slider from 5.59 to 7.6)
a = 4.37 (slider from 4.37 to 8.52)
S: (a, b)
w = Vector(E, S)
J'_{1} = Translate(J, w)
T = Translate(E_{1}, w)
B' = Translate(B, w)
t4', b', j'_{1}, t_1 = Polygon(J'_{1}, T, B')
S' = Translate(S, Vector[(0, -0.040000000000000036)])
c = 2.42 (slider from 1.44 to 2.42)
d = 3.46 (slider from 1.46 to 3.48)
V: (c, d)
F1_{1} = NaN
u_1 = Vector(B, V)
P' = Translate(P, u_1)
F' = Translate(F, u_1)
B'_{1} = Translate(B, u_1)
t5', b'_{1}, p', f' = Polygon(P', F', B'_{1})
U = (10.03749198864994, 10.787331761648687)
W = (10, 8)
p_1 = Segment(U, W)
Z = (20, 8)
s_1 = Segment(W, Z)
A_1 = (20.03749198864994, 10.787331761648687)
f_2 = Segment(Z, A_1)
k_2 = Segment(A_1, U)
q1, u_2, w_1, z_1, l_2 = Polygon(U, W, Z, A_1)
B_1 = (10, 7.262443920549563)
C_1 = (20.136402445041416, 7.224951931899625)
I_1 = (20.136402445041416, 3.962508011350063)
J_1 = (10, 4)
q2, m_2, n_2, p_2, q_2 = Polygon(B_1, C_1, I_1, J_1)
K_1 = (10.112475965949812, 3)
L_1 = (20.3115786947428, 3)
M_1 = (20.256594717442923, -0.5398077275984997)
N_1 = (9.977491988649936, -0.5598077275984996)
q3, r_2, s_2, t_2, e_2 = Polygon(K_1, L_1, M_1, N_1)
O_1 = (-10, 10)
P_1 = Point(yAxis)
Q_1 = Point(yAxis)
R_1 = (-10, 8)
q4, f_3, g_3, h_3, i_3 = Polygon(O_1, P_1, Q_1, R_1)
S_1 = (-9.98643449044167, 6.962508011350063)
T_1 = Point(yAxis)
U_1 = Point(yAxis)
V_1 = (-9.98643449044167, 4.962508011350063)
q5, j_3, k_3, l_3, v_1 = Polygon(S_1, T_1, U_1, V_1)
A1 = (1.38, -9.1)
w_2 = Vector(A, A1)
P1 = Translate(P, w_2)
G1 = Translate(G, w_2)
A'_{1} = Translate(A, w_2)
C1 = Translate(C, w_2)
D1 = Translate(D, w_2)
poli4', p'_{1}, g', a'_{1}, c'_{3}, d'_{2} = Polygon(P1, G1, A'_{1}, C1, D1)
poli5, m_3, n_3, q_3, r_3, E1, Z_1 = Polygon(C1, D1, 4)
poli6, s_3, t_3, b_3, e_3, B1, F1 = Polygon(G1, A1, 4)
poli7, f_4, h_4, i_4, j_4, K1_{1}, H1_{1} = Polygon(A1, C1, 4)
k_4 = Segment(Z_1, P1)
poli8, l_4, m_4, n_4, b_5, p_4 = Polygon(P1, G1, A'_{1}, C1, D1)
poli4, p1, g1, p_3, c1, d1 = Polygon(P1, G1, A'_{1}, C1, D1)
v_2 = Vector(D1, R)
C_{3}: Z
W_1 = Rotate(G_{1}, (-β), A)
I'_{2} = Rotate(I, (-β), A)
A'_{2} = Rotate(A, (-β), A)
t6', a'_{2}, r_1, i'_{2} = Polygon(W_1, I'_{2}, A'_{2})
poli9, d_3, g_4, q_4, r_4, A_2, B_2 = Polygon(C1, D1, 4)
P1' = Translate(P1, v_2)
G2 = Translate(G1, v_2)
A2 = Translate(A'_{1}, v_2)
C2 = Translate(C1, v_2)
D1' = Translate(D1, v_2)
P2 = Translate(P1, v_2)
G1'_{1} = Translate(G1, v_2)
F_2 = Translate(A'_{1}, v_2)
C1'_{1} = Translate(C1, v_2)
D2 = Translate(D1, v_2)
poli4'_{1}, p1'_{1}, g1'_{1}, s_4, c1'_{1}, d1'_{1} = Polygon(P2, G1'_{1}, F_2, C1'_{1}, D2)
poli10, t_4, a_4, c_4, d_4, K1, H1 = Polygon(A2, C2, 4)
poli11, e_4, f_5, g_5, h_5, C_2, D_2 = Polygon(A2, C2, 4)
t7, b1, f1, i_5 = Polygon(F1, P1, B1)
t8, j_5, k_5, e1 = Polygon(P1, E1, B1)
t9, l_5, a1, m_5 = Polygon(A1, B1, C1)
t10, c_5, a_5, b_6 = Polygon(A, B, C)
t11, k2, n_5, p1' = Polygon(H1, P1', K1)
t12, p_5, a2, g2 = Polygon(A2, G2, H1)
t13, c2, q_5, d1' = Polygon(K1, D1', C2)
poli12, p2, s_5, t_5, d_5, d2 = Polygon(P2, G1'_{1}, F_2, C1'_{1}, D2)
u_3 = Vector(A1, G1)
v_3 = Vector(D1, C1)
P1'_{1} = Translate(P1, v_3)
minimo = 8.46 (slider from -5 to 10)
massimo = 23 (slider from -5 to 50)