B

pitagorizza con il  1° teorema di Euclide

pitagorizza con il  2° teorema di Euclide

A = (0, 0)
muovi = (5.577583954847812, 4.945883344633595)
B = If((x(muovi) > 0) ∧ (y(muovi) > 0), muovi)
a_1 = Line(B, yAxis)
C = Intersect(a_1, xAxis)
a = Segment(C, B)
f_1 = OrthogonalLine(muovi, a)
b = Segment(A, C)
i_1 = OrthogonalLine(A, b)
A_1 = Intersect(i_1, f_1)
c = Segment(B, A)
d_2 = Circle(A, B)
B' = Intersect(d_2, xAxis, 2)
e = Segment(C, B')
poli1, b_1, c_1, n_1, a_2 = Polygon(A, C, B, A_1)
f = Segment(B, B')
Q_c, s, t, d_1, e_1, F, I = Polygon(A, B, 4)
Q_a, d, i, j, k, D, E = Polygon(B, C, 4)
Q_b, m_1, n, q, r, G, H = Polygon(C, A, 4)
α = Angle(B, C, A)
l = Segment(B, B')
M = Midpoint(l)
p = Segment(A, M)
J = Midpoint(d)
K = Midpoint(j)
L = Midpoint(k)
N = Midpoint(i)
g = Segment(J, K)
h_1 = Segment(N, L)
M': (x(M), 0)
h = Segment(M, M')
m = Segment(C, M')
O: (0, -x(B'))
P: (x(B'), -x(B'))
β = Angle(A, M, B')
Q_1: (x(M'), -x(M'))
R_1: (x(M'), y(H))
S: (x(B'), y(H))
T: (x(C), -x(M'))
U: (x(C), -x(B'))
V: (x(M'), -x(B'))
W: (x(B'), -x(M'))
R, c_2, h_2, r_1, m' = Polygon(C, H, R_1, M')
poli3, m'_1, r_2, s_1, b' = Polygon(M', R_1, S, B')
Z: (0, -x(M'))
orirosso1, g_1, z, t_1, h_3 = Polygon(G, Z, T, H)
orirosso2, z_1, o, u, t_2 = Polygon(Z, O, U, T)
poli6, u_1, v, q_1, t_3 = Polygon(U, V, Q_1, T)
poli7, v_1, p_1, w, q_2 = Polygon(V, P, W, Q_1)
Q, t_4, q_3, r_3, h_4 = Polygon(T, Q_1, R_1, H)
poli9, q_4, w_1, s_2, r_4 = Polygon(Q_1, W, S, R_1)
j_1 = Segment(A, A_1)
k_1 = Segment(A_1, muovi)
l_1 = Segment(A, G)
b_2 = OrthogonalLine(D, i)
e_2 = OrthogonalLine(O, l_1)
B_1 = Intersect(b_2, e_2)
C_1 = Intersect(p_1, v_1)
f_2 = Segment(C_1, B_1)
g_2 = Segment(D, B_1)
i_2 = OrthogonalLine(C, c)
D_1 = Intersect(c, i_2)
j_2 = Segment(C, D_1)
k_2 = Line(D_1, f)
E_1 = Intersect(k_2, b)
l_2 = Line(E_1, l_1)
F_1 = Intersect(l_2, h_3)
G_1 = Intersect(l_2, o)
m_2 = Segment(D_1, E_1)
H_1 = Intersect(l_2, z)
I_1: (0, y(F_1))
rettangoloblu_1, e_3, a_3, i_3, f_3 = Polygon(E_1, A, I_1, F_1)
vertiviola, n_2, p_2, b_3, c_3 = Polygon(C, E_1, F_1, H)
d_3 = Segment(E_1, F_1)
g_3 = Segment(F_1, G_1)
oriviola1, f_4, i_4, z_2, h_5 = Polygon(F_1, I_1, Z, H_1)
oriviola2, h_6, z_3, o_2, g_4 = Polygon(H_1, Z, O, G_1)
rettangoloblu, e_4, a_4, o_3, g_5 = Polygon(E_1, A, O, G_1)
rettangologiallo, b'_1, e_5, g_6, c_4 = Polygon(B', E_1, G_1, C_1)
pit1 = false
pit2 = false
poli2, f_5, h_7, t_5, h_8 = Polygon(F_1, H_1, T, H)
poli4, h_9, g_7, u_2, t_6 = Polygon(H_1, G_1, U, T)