iperbole

ellisse

k = 0.5 (slider from 0 to 5, step 0.1)
F = Point(xAxis)
F': -(F)
f = Circle(F', F)
A = Point(f)
d = Circle(A, k)
c = Line(F', A)
B, C = Intersect(d, c)
a = Segment(F, B)
b = LineBisector(a)
D = Intersect(c, b)
e = Segment(F, D)
h = false
i = Segment(F, C)
j = LineBisector(i)
E = Intersect(j, c)
l = Segment(F, E)
m = Segment(F', E)
n = Segment(E, C)
o = true
g = Segment(F', B)
e' = Segment(B, D)