E=G?

Klicken Sie nacheinander die Objekte an, die an der entsrechenden Stelle
im Beweis eine Rolle spielen (und danach wieder aus).

Um die einzelnen Fälle sehen zu können, müssen Sie die Punkte A,B,C
bewegen.

Um die Reihenfolge der Punkte A,B,C (und damit automatisch D,E,F) zu verändern,
müssen Sie B bewegen.

Für den abschließenden Beweis, dass E=G ist, benötigen Sie nur die Geraden
b,d,e,f,g,h,i,j. Ggf. klicken Sie a und c sowie alle nicht mehr diskutierten Punkte aus.

O = (-4.931288537611487, -1.6030319864581117)
A = (2.9911324735166476, -8.770936710812148)
g = Line(O, A)
C_1 = (7.94, 2.56)
h = Line(O, C_1)
B = Point(g)
I = Point(g)
C = Point(g)
c_1 = Circle(O, C)
D_1, C' = Intersect(c_1, h)
d_1 = Circle(O, A)
E_1, A' = Intersect(d_1, h)
c = Line(C', I)
e = Line(B, c)
F = Intersect(e, h)
a = Line(A', I)
b = Line(B, a)
D = Intersect(h, b)
p = Circle(O, D)
F_1, BA = Intersect(p, g)
d = Line(BA, c)
q = Circle(O, F)
G_1, BC = Intersect(q, g)
f = Line(BC, a)
E = Intersect(d, h)
i = Line(BA, D)
j = Line(BC, F)