Höhensatz erkunden

Ha  05

O = Intersect(xAxis, yAxis)
B = Point(xAxis)
Thales_g = Circle(O, B)
S_x, A = Intersect(Thales_g, xAxis)
C = (2.2666666666666666, 7.033333333333333)
P, c, a, b = Polygon(A, B, C)
d = OrthogonalLine(C, xAxis)
D = Intersect(d, xAxis)
p = Segment(A, D)
q = Segment(D, B)
g = Segment(C, D)
h = Circle(D, B)
E, F = Intersect(h, d)
k = CircleArc(D, E, B)
Th = CircleArc(O, B, A)
e = Line(E, c)
f = OrthogonalLine(A, e)
G = Intersect(f, e)
Q, a_1, g_1, e_1, d_1 = Polygon(A, G, E, D)
i = OrthogonalLine(C, g)
H = (1.3, 10.3)
r = CircleArc(C, D, H)
I, M = Intersect(r, i)
J = Intersect(r, i, 1)
j = OrthogonalLine(I, i)
K = Intersect(r, i, 1)
l = Line(D, B)
L = Intersect(j, l)
R, d_2, l_1, k_1, c_1 = Polygon(D, L, K, C)
T1: "Grün=" + Q
T2: "Rot=" + R