c

D

C

o_1

d

A = (-1.1, 3.46)
B = (3.34, 2.12)
D' = (-0.4, 4.7)
C' = (1.58, 4.28)
E' = (2.7, -0.68)
c' = Conic(A, D', C', B, E')
C = (1.78, 1.12)
D = (-2.38, 1.68)
E = (2.5, 4.86)
c_1 = Conic(A, B, C, D, E)
c_A = Circle(A, 2)
m_{1} = Point(c_A)
am_1 = Line(A, m_{1})
m_{2} = Point(c_A)
am_2 = Line(A, m_{2})
t_B = Tangent(B, c_1)
n_B = OrthogonalLine(B, t_B)
Ω = Point(n_B)
c_Ω = Circle(Ω, B)
O = Center(c_1)
d_{m2} = Line(O, am_2)
F_{m2}, G_{m2} = Intersect(c_1, d_{m2})
t_{m2} = Tangent(F_{m2}, c_1)
m_{m2} = Line(O, t_{m2})
H_{m2} = Intersect(am_2, m_{m2})
M_2 = Mirror(A, H_{m2})
d_{m1} = Line(O, am_1)
F_{m1}, G_{m1} = Intersect(c_1, d_{m1})
t_{m1} = Tangent(F_{m1}, c_1)
m_{m1} = Line(O, t_{m1})
H_{m1} = Intersect(m_{m1}, am_1)
M_1 = Mirror(A, H_{m1})
O' = Center(c')
d'_{m1} = Line(O', am_1)
F'_{m1}, G'_{m1} = Intersect(c', d'_{m1})
t'_{m1} = Tangent(F'_{m1}, c')
m'_{m1} = Line(O', t'_{m1})
H'_{m1} = Intersect(am_1, m'_{m1})
M'_1 = Mirror(A, H'_{m1})
d'_{m2} = Line(O', am_2)
F'_{m2}, G'_{m2} = Intersect(c', d'_{m2})
t'_{m2} = Tangent(F'_{m2}, c')
m'_{m2} = Line(O', t'_{m2})
H'_{m2} = Intersect(am_2, m'_{m2})
M'_2 = Mirror(A, H'_{m2})
c_B = Circle(B, 2)
n_1 = Point(c_B)
n_2 = Point(c_B)
bn_1 = Line(B, n_1)
bn_2 = Line(n_2, B)
d_{n1} = Line(O, bn_1)
F_{n1}, G_{n1} = Intersect(c_1, d_{n1})
t_{n1} = Tangent(F_{n1}, c_1)
m_{n1} = Line(O, t_{n1})
H_{n1} = Intersect(bn_1, m_{n1})
N_1 = Mirror(B, H_{n1})
d_{n2} = Line(O, bn_2)
F_{n2}, G_{n2} = Intersect(c_1, d_{n2})
t_{n2} = Tangent(F_{n2}, c_1)
m_{n2} = Line(O, t_{n2})
H_{n2} = Intersect(bn_2, m_{n2})
N_2 = Mirror(B, H_{n2})
d'_{n1} = Line(O', bn_1)
F'_{n1}, G'_{n1} = Intersect(c', d'_{n1})
t'_{n1} = Tangent(F'_{n1}, c')
m'_{n1} = Line(O', t'_{n1})
H'_{n1} = Intersect(m'_{n1}, bn_1)
N'_1 = Mirror(B, H'_{n1})
d'_{n2} = Line(O', bn_2)
F'_{n2}, G'_{n2} = Intersect(c', d'_{n2})
t'_{n2} = Tangent(F'_{n2}, c')
m'_{n2} = Line(O', t'_{n2})
H'_{n2} = Intersect(m'_{n2}, bn_2)
N'_2 = Mirror(B, H'_{n2})
mn'_1 = Line(N'_1, M'_1)
mn_1 = Line(N_1, M_1)
O_1 = Intersect(mn'_1, mn_1)
mn_2 = Line(N_2, M_2)
mn'_2 = Line(M'_2, N'_2)
O_2 = Intersect(mn_2, mn'_2)
a = Line(O_2, O_1)
b = OrthogonalLine(Ω, bn_1)
Im_{N1} = Mirror(B, b)
d_1 = Line(M_1, B)
e = OrthogonalLine(Ω, d_1)
Im_{M1} = Mirror(B, e)
Im_{mn1} = Line(Im_{M1}, Im_{N1})
f = Line(O_1, B)
o_1 = Intersect(f, Im_{mn1})
g = OrthogonalLine(Ω, bn_2)
Im_{N2} = Mirror(B, g)
h = Line(M_2, B)
i = OrthogonalLine(Ω, h)
Im_{M2} = Mirror(B, i)
Im_{mn2} = Line(Im_{M2}, Im_{N2})
j = Line(O_2, B)
o_2 = Intersect(Im_{mn2}, j)
k = Line(o_2, o_1)
Im_{X}, d = Intersect(c_Ω, k)
l = Line(B, Im_{X})
m = Line(d, B)
Y = Intersect(a, m)
X = Intersect(l, a)
o'_1 = Dilate(o_1, 1, Ω)
o'_2 = Dilate(o_2, 1, Ω)
d' = Dilate(d, 1, Ω)
c = Dilate(Im_{X}, 1, Ω)