https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 9.5.5  S.293 Afg. 9.12
www.kurven-erkunden-und-verstehen.de

Ha 2017

k: 1
p = 0.6 (slider from -5 to 5, step 0.1)
ε = 1.5 (slider from 0 to 3, step 0.01)
ur: y^(2) = ((2 * p) * x) - (x^(2) * (1 - ε^(2)))
ik: x^(2) + y^(2) = k^(2)
ur' = Mirror(ur, ik)
O: (0, 0)
b: k^(2) / ((2 * p))
a: (b * ε^(2))
c: ((x - b) * (x^(2) + y^(2))) = (a * x^(2))
invBild: ((x - b) * (x^(2) + y^(2))) = ((-a) * x^(2))
f: x = b
ac: 2
cc = 0
d: ((cc - x) * y^(2)) = ((x + (2 * ac) - cc) * x^(2))
e = false