Segundo teorema de Tales

Teorema del cateto

Teorema de Pitágoras

A: (0, 0)
t = 0 (slider from 0 to 1, step 0.01)
r: 3
B: (5, 0)
v = UnitOrthogonalVector(Segment[A, B])
poli2, j, k, l, m, F, G = Polygon(B, A, 4)
c = Semicircle(A, B)
C = Point(c)
poli1, f, g, h, i, D, E = Polygon(C, B, 4)
J: E + ((B - E) * t)
t1, b, a, c_1 = Polygon(A, C, B)
d = Line(J, c_1)
K, L = Intersect(d, poli1)
poli4, l_1, k_1, d_1, b_1, c_2 = Polygon(L, K, D, B, C)
poli3, n, p, q, r_2, H, I = Polygon(A, C, 4)
M: H + ((A - H) * t)
s = Line(M, c_1)
N, O = Intersect(s, poli3)
poli5, o, n_1, c_3, a_1, i_1 = Polygon(O, N, C, A, I)
u: (poli1 + poli3 - (poli4 + poli5)) / Distance[A, B]
m_1 = OrthogonalLine(C, j)
W' = Intersect(m_1, Segment[A, B])
Z = Intersect(m_1, l)
P: F + (u * v)
f_1 = Line(P, l)
Q = Intersect(m, f_1)
W = Intersect(m_1, Segment[P, Q])
c1, g_1, p_1, q_1, r_1 = Polygon(F, P, W, Z)
e: poli4 + poli5
c2, a_2, c_4, h_1, i_2 = Polygon(A, C, H, I)
c4, t_1, f_2, g_2, h_2 = Polygon(F, Z, W', A)
c3, b_2, d_2, e_1, c_5 = Polygon(B, D, E, C)
j_1 = Segment(B, G)
R = Intersect(g, k_1)
S = Intersect(g, k_1)
T = Intersect(g, k_1)
U = Intersect(g, k_1)
V = Intersect(g, k_1)
c1', g_3, q_2, w, z_1 = Polygon(G, Q, W, Z)
A_1 = Intersect(m_1, j)
c4', g_4, z_2, w', b_3 = Polygon(G, Z, W', B)
s_1 = Segment(C, Z)
α = Angle(A, C, B)