Pythagoras Dreh-Beweis
Author: Prof. Dr. Dörte Haftendorn

Ha 08

Ziehe N und K.

Verändere die Größe mit B.

Verändere das Dreieck mit C.

Pythagoras-Satz Dreh-Beweis

A = Intersect(xAxis, yAxis)
B = Point(xAxis)
C_1 = Midpoint(A, B)
c_1 = Circle(C_1, B)
C = Point(c_1)
a_3 = Line(A, C)
b_3 = OrthogonalLine(B, xAxis)
d = Circle(A, B)
E, F = Intersect(d, yAxis)
e = OrthogonalLine(E, yAxis)
G = Intersect(e, b_3)
f = OrthogonalLine(E, a_3)
H = Intersect(f, a_3)
g = Segment(C, B)
poly1, h, i, j, k, I, J = Polygon(A, B, 4)
poly2, c, a, b = Polygon(A, B, C)
poly3, a_2, e_1, h_1 = Polygon(E, H, A)
p = Circle(B, C)
K = Point(p)
l = Segment(B, K)
m = OrthogonalLine(K, l)
q = Circle(B, A)
L_1, L = Intersect(q, m)
poly4, k_1, m_1, b_2 = Polygon(L, B, K)
r = Circle(E, H)
N = Point(r)
n = Segment(E, N)
s = OrthogonalLine(N, n)
t = Circle(E, A)
M, P = Intersect(t, s)
poly5, o, e_2, n_1 = Polygon(E, N, M)
Q = Intersect(a_3, j)
a1 = Segment(Q, C)