Comprueba

F = (5.7, 0.64)
D = (6.28, -2.24)
r = Line(D, F)
G = (9.32, 0.16)
d = Line(D, G)
n, a = AngularBisector(r, d)
escena = 1 (slider from 1 to 4, step 1)
D1_1 = 0
comprobar = false
texto1: "Escena " + escena
c = Circle(F, G)
A = Point(c)
f = Segment(F, A)
b = LineBisector(F, G)
B = Point(b)
g = Segment(F, B)
h = Segment(B, G)
i, j = AngularBisector(r, d)
E = Point(i)
H = Point(j)
k = OrthogonalLine(E, r)
l = OrthogonalLine(E, d)
m = OrthogonalLine(H, r)
p = OrthogonalLine(H, d)
I = Intersect(d, p)
J = Intersect(r, m)
K = Intersect(r, k)
L_1 = Intersect(l, d)
q = Segment(K, E)
s = Segment(E, L_1)
t = Segment(H, J)
a_1 = Segment(H, I)
c_1 = Parabola(F, d)
M = Point(c_1)
b_1 = Segment(M, F)
d_1 = OrthogonalLine(M, d)
N = Intersect(d, d_1)
e_1 = Segment(M, N)
L = (-2.26, 2.62)
f_1 = Circle(F, G)
g_1 = Circle(F, G)
h_1 = LineBisector(F, G)
u = Vector(F, G)
O: (F + G) / 2
v = OrthogonalVector(a)
o(x, y) = (x(u) * x) + (y(u) * y)  <  (x(u) * x(O)) + (y(u) * y(O))
e(x, y) = ((x(v) * x) + (y(v) * y) ≤ (x(v) * x(D)) + (y(v) * y(D))) ∧ ((y(v) * x) - (x(v) * y) ≥ (y(v) * x(D)) - (x(v) * y(D))) ∨ ((x(v) * x) + (y(v) * y) ≥ (x(v) * x(D)) + (y(v) * y(D))) ∧ ((y(v) * x) - (x(v) * y) ≤ (y(v) * x(D)) - (x(v) * y(D)))
k_1 = Parabola(F, d)
lista1 = Coefficients(k_1)
w(x, y) = (Element[lista1, 1] * x^(2)) + (Element[lista1, 2] * y^(2)) + Element[lista1, 3] + ((Element[lista1, 4] * x) * y) + (Element[lista1, 5] * x) + (Element[lista1, 6] * y)  <  0