Dreieck ABC ist das Ausgangsdreieck.
Dreieck CEF ist kongruent zu ABC.
C' wird so konstruiert, dass das Dreeick HC'I kongruent
zum Dreieck ABC ist.
Dann sind die Vierecke AHC'C, IBCC', ABDG und FEDG
zueinander kongruent.

A = (5.88, 0.07999999999999992)
B = (8.939999999999992, 0.0599999999999999)
a = Segment(A, B)
c = Semicircle(A, B)
C = Point(c)
b = Segment(B, C)
d = Segment(C, A)
poly1, e, f, g, h, D, E = Polygon(C, B, 4)
poly2, i, j, k, l, F, G = Polygon(A, C, 4)
poly3, m, n, p, q, H, I = Polygon(B, A, 4)
r = Segment(B, H)
M = Midpoint(r)
C' = Mirror(C, M)
poly4, c_1, a_1, h_1, c' = Polygon(C, A, H, C')
poly5, c_2, c'_1, i_1, b_1 = Polygon(C, C', I, B)
poly6, a_2, b_2, d_1, g_1 = Polygon(A, B, D, G)
poly7, g_2, d_2, e_1, f_1 = Polygon(G, D, E, F)