geo-003-pitagoras-areas

+

+

=

A = (1, 3.8)
B = (3.2, 3.8)
a = Line(A, B)
b = OrthogonalLine(A, a)
C = Point(b)
polígono1, c, a_1, b_1 = Polygon(A, B, C)
d = OrthogonalLine(C, a_1)
e = OrthogonalLine(B, a_1)
f = Circle(B, C)
g = Circle(C, B)
D = Intersect(g, d, 1)
E = Intersect(f, e, 1)
polígono2, c_1, d_1, e_1, b_2 = Polygon(C, D, E, B)
h = Circle(A, C)
k = Circle(C, A)
i = OrthogonalLine(C, b_1)
F = Intersect(k, i, 1)
G = Intersect(h, a, 1)
p = Circle(B, A)
j = OrthogonalLine(B, c)
I = Intersect(p, j, 1)
polígono3, c_2, f_1, g_1, a_2 = Polygon(C, F, G, A)
q = Circle(A, B)
H = Intersect(q, b, 1)
polígono4, a_3, h_1, i_1, b_3 = Polygon(A, H, I, B)
r = Circle(A, C)
J = Intersect(r, c, 1)
K = Midpoint(J, B)
s = Circle(I, Segment[K, B])
t = Circle(H, Segment[K, B])
k_1 = Circle(A, Segment[B, K])
L = Intersect(s, i_1, 1)
M = Intersect(t, h_1, 1)
N = Intersect(k_1, a_3, 1)
l = Segment(K, M)
m = Segment(N, L)
O: (0, 0)
distanciaAB = Distance(A, B)
distanciaAC = Distance(A, C)
distanciaBC = Distance(B, C)
P: O + (0, (-0.5 * distanciaAC))
p_1 = Circle(P, distanciaAC)
Q: P + (distanciaAC, 0)
polígono5, n, j_1, l_1, m_1, R, S = Polygon(P, Q, 4)
QQ: (x(Q) + 1, (-0.5 * Distance[A, B]))
q_1 = Circle(QQ, Distance[A, B])
T: QQ + (distanciaAB, 0)
polígono6, n_1, r_1, s_1, t_1, U, V = Polygon(QQ, T, 4)
Puntoigual: T + (0.2 * Vector[P, Q]) + (0.5 * Vector[T, U])
TT: (x(T) + 1, (-0.5 * Distance[B, C]))
d_2 = Circle(TT, distanciaBC)
W: TT + (distanciaBC, 0)
polígono7, f_2, g_2, h_2, i_2, Z, A_1 = Polygon(TT, W, 4)
B_1 = (5.2, 5.8)
C_1 = (7, 5.8)
j_2 = Segment(B_1, C_1)
Textopolígono3: "" + (LaTeX[polígono3]) + " u^2"
Textopolígono4: "" + (LaTeX[polígono4]) + "u^2"
Textopolígono2: "" + (LaTeX[polígono2]) + "u^2"
o: (0, 0)
Puntosuma: (x(Q) + 0.5, 0)