C_2  C'_3

K_2  K'_3

C_1  C_3

K_1  K_3

F = Point(xAxis)
F' = Mirror(F, yAxis)
S = Point(yAxis)
c = Ellipse(F, F', S)
A, B = Intersect(c, xAxis)
d = Arc(c, B, A)
O = Intersect(xAxis, yAxis)
C = Point(d)
f = Segment(C, F)
g = Segment(C, F')
h = AngularBisector(F, C, F')
D = Intersect(h, xAxis)
i = Line(C, F)
j = OrthogonalLine(D, h)
E = Intersect(i, j)
k = OrthogonalLine(E, i)
K = Intersect(h, k)
lieu1 = Locus(K, C)
l = Line(A, B)
m = Line(S, O)
n = Line(F, S)
p = OrthogonalLine(F, n)
K_2 = Intersect(p, m)
C''_3 = Point(d)
q = Line(C''_3, F)
r = AngularBisector(F, C''_3, F')
H = Intersect(l, r)
s = OrthogonalLine(H, r)
I = Intersect(q, s)
t = OrthogonalLine(I, q)
K''_3 = Intersect(t, r)
C_1 = Mirror(C''_3, m)
K_1 = Mirror(K''_3, m)
a = Line(C_1, K_1)
G_3 = Intersect(r, m)
G_2 = Dilate(K_2, 1.2, O)
G_1 = Dilate(G_3, 1.4, C_1)