Schnittpunkte mit der Spiegelgeraden

S = Point(yAxis)
B_1 = Point(yAxis)
g = Line(S, B_1)
C = (0.6523373267559295, 0.36448202959830583)
c = Circle(C, 1.5)
A = Point(c)
d = Circle(A, 1)
E_1 = Intersect(c, d, 1)
e = Circle(E_1, 1)
B = Intersect(d, e, 2)
b = Segment(C, B)
f = Segment(A, B)
g_1 = Segment(A, C)
poly1, f_1, c_1, d_1 = Polygon(C, A, B)
C' = Mirror(C, g)
A' = Mirror(A, g)
B' = Mirror(B, g)
poly1', b', c', a' = Polygon(C', A', B')
D = (0.990603711533942, -0.7517970401691356)
E = Point(Circle[D, 2.5])
h = Segment(D, E)
poly2, i, j, k, l, D_1, F = Polygon(D, E, 4)
pic1' = Mirror(pic1, g)
D' = Mirror(D, g)
E' = Mirror(E, g)
m = Segment(C', C)
n = Segment(A', A)
p = Segment(B', B)
q = Segment(D, D')
r = Segment(E, E')
G = Intersect(g, p)
H = Intersect(g, n)
I = Intersect(g, m)
J = Intersect(g, q)
K = Intersect(g, r)
o = true