Teorema de Pitágoras. Demonstração de Euclides (300 AC)

C = (3.6206, 0.9796)
A = (7.2022, -1.0532)
a = Line(A, C)
b = OrthogonalLine(C, a)
B = Point(b)
polígono1, a_1, c, b_1 = Polygon(C, B, A)
α = Angle(B, C, A)
polígono2, b_2, c_1, d, e, H, K = Polygon(B, C, 4)
polígono3, c_2, a_2, f, g, F, G = Polygon(C, A, 4)
polígono4, a_3, b_3, h, i, D, E = Polygon(A, B, 4)
j = OrthogonalLine(C, c)
M = Intersect(j, c)
L = Intersect(j, h)
k = Segment(C, L)
l = Segment(B, F)
m = Segment(C, E)
polígono5, a_4, b_4, f_1 = Polygon(B, F, A)
polígono6, a_5, c_3, e_1 = Polygon(C, E, A)
β = Angle(F, A, B)
γ = Angle(C, A, E)