Paralèle à CE'

A = Point(xAxis)
B = Point(xAxis)
c_{Amin} = Circle(Dilate[B, -1 / 3, A], Dilate[B, 1 / 3, A])
c_{Bmin} = Circle(Dilate[A, -1 / 3, B], Dilate[A, 1 / 3, B])
C = (-0.05122228303575225, 7.9637018486306586)
Ac = Ray(A, C)
Bc = Ray(B, C)
AB = Segment(A, B)
AC = Segment(A, C)
BC = Segment(C, B)
ab = Line(A, B)
c_CB = Circle(C, B)
Ca = Ray(C, A)
F = Intersect(c_CB, Ca)
c_{FC} = Circle(F, C)
G = Intersect(c_{FC}, ab, 1)
G' = Intersect(c_{FC}, ab, 2)
c_{GF} = Circle(G, F)
E' = Mirror(F, Line[C, G])
Be = Ray(B, E')
E = Intersect(Be, Ac)
c_{EA} = Circle(E, A)
D = Intersect(Bc, Line[E, Line[C, E']])
DE = Segment(E, D)
D_b = Mirror(D, OrthogonalLine[E, BC])
F' = Mirror(F, C)
E'C = Segment(E', C)
Gc' = Ray(G, E')
C' = Intersect(Bc, Gc')
e'c = Line(E', C)
c_{E'E} = Circle(E', E)
M', M = Intersect(c_{E'E}, e'c)
c = Circle(M, E)
P = Mirror(E, e'c)
f = Line(P, E')
Q = Mirror(P, E')
g = Line(Q, E)
a = false