Pythagoras
Author: Michael Schillo
Date: 29.1.2006

A = (-4.409999999999998, 4.956666666666666)
B = (4.69, 4.956666666666666)
c = Segment(A, B)
b2 = LineBisector(A, B)
D = Intersect(c, b2)
k = Circle(D, B)
C = Point(k)
b = Segment(C, A)
a = Segment(C, B)
γ = Angle(A, C, B)
f = OrthogonalLine(B, c)
g = OrthogonalLine(A, c)
h = Circle(A, B)
k2 = Circle(B, A)
E, F = Intersect(h, g)
G, H = Intersect(k2, f)
i = Segment(F, G)
FlächeHypothenuse, j, l, m, n = Polygon(A, B, G, F)
p = OrthogonalLine(C, b)
q = OrthogonalLine(A, b)
r = Circle(A, C)
s = Circle(C, A)
I, J = Intersect(r, q)
K, L = Intersect(s, p)
FlächeKathete1, t, a_1, b_1, c_1 = Polygon(A, C, K, I)
d_1 = OrthogonalLine(C, a)
e_1 = OrthogonalLine(B, a)
f_1 = Circle(C, B)
g_1 = Circle(B, C)
M, N = Intersect(f_1, d_1)
O, R = Intersect(g_1, e_1)
FlächeKathete2, h_1, i_1, j_1, k_1 = Polygon(C, B, O, M)
FlächeBeideKatheten: Area[A, C, K, I] + Area[C, B, O, M]