https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 4.4.1.4: S. 111

Ha 2016

e: 3
a: (x^(2) + y^(2))^(2) = ((2 * e^(2)) * (x^(2) - y^(2)))
A, B, C = Intersect(a, xAxis)
f = Segment(B, C)
E: (e, 0)
E': ((-e), 0)
M: ((2 * f / 3), 0)
M' = Mirror(M, yAxis)
c = Circle(M, C)
g: x = f / 2
D, F = Intersect(c, g)
h = Line(B, D)
d = Circle(B, E)
i = OrthogonalLine(D, h)
G, H = Intersect(d, h)
j = Segment(B, H)
u = Vector(D, M)
I = Point(yAxis)
k = OrthogonalLine(I, yAxis)
l = OrthogonalLine(A, xAxis)
J = Intersect(l, k)
m = OrthogonalLine(M', k)
K = Intersect(k, m)
L = Midpoint(K, I)
n = Segment(A, J)
p = Segment(J, I)
b = false