I = (-1.6, -0.72)
H = (-3.04, 0.6)
G = (-2.62, 2.46)
k = CircumcircleArc(G, H, I)
A = (0.26, -3)
B = (0.3, 3.02)
a = Segment(A, B)
E = Point(a)
F = Point(a)
Z = Point(k)
c = Segment(Z, E)
d = Segment(Z, F)
e = OrthogonalLine(E, a)
f = OrthogonalLine(F, a)
Z'_2 = Mirror(Z, e)
Z'_1 = Mirror(Z, f)
g = Line(Z'_1, F)
h = Line(Z'_2, E)
Z_{image} = Intersect(g, h)
lieu1 = Locus(Z_{image}, Z)