Pythagoras ikonisch, Zerlegungsbeweis
Author: Prof. Dr. Dörte Haftendorn
Date: 6 Februar 2013

A = Point(yAxis)
B = Intersect(xAxis, yAxis)
C = Point(xAxis)
D = (6, 6)
Vieleck1, a, b, c, d = Polygon(A, B, C, D)
E = Point(d)
e = Circle(B, Segment[A, E])
F = Intersect(e, a, 1)
f = Segment(E, F)
Vieleck2, e_1, i, g, h, G, H = Polygon(E, F, 4)
Vieleck3, a_1, i_1, F_1 = Polygon(F, E, A)
I = Point(yAxis)
J = (7, -2)
u = Vector(I, J)
A' = Translate(A, u)
B' = Translate(B, u)
C' = Translate(C, u)
D' = Translate(D, u)
Vieleck1', a', b', c', d' = Polygon(A', B', C', D')
E' = Translate(E, u)
H' = Translate(H, u)
F' = Translate(F, u)
G' = Translate(G, u)
F'_1 = Translate(F, u)
E'_1 = Translate(E, u)
A'_1 = Translate(A, u)
Vieleck3', a'_1, f'_1, e'_1 = Polygon(F'_1, E'_1, A'_1)
Vieleck4, f', b'_1, j, k, K, L = Polygon(F', B', 4)
Vieleck5, d'_1, e', l, m, M, N = Polygon(D', E', 4)
n = Line(B', L)
O = Mirror(F'_1, n)
P = Mirror(E'_1, n)
Q = Mirror(A'_1, n)
Vieleck3'', q, o, p = Polygon(O, P, Q)
R = (8.692222222222226, -3.45888888888889)
S = (0, -0.5)
S' = Translate(S, u)
v = Vector(S, S')