https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 4.4.2: Aufgabe 4.7 S. 116
www.kurven-erkunden-und-verstehen.de

Ha 2017

c = 4 (slider from 0 to 7, step 0.1)
s = 2 (slider from 0 to 7, step 0.1)
a: (x^(2) + y^(2))^(2) = (c^(2) * x^(2)) - (s^(2) * y^(2))
d: (x^(2) + y^(2))^(2) = (c^(2) * x^(2)) + (s^(2) * y^(2))
ee: sqrt((c^(2) - s^(2)) / 2)
kk: sqrt((c^(2) + s^(2)) / 2)
i: kk^(2)
j: (x^(2) + y^(2))^(2) = ((2 * ee^(2)) * (x^(2) - y^(2))) + kk^(4) - ee^(4)
l: x = c
s_g: (sqrt(2) * c)
G: (0, s_g)
s_u: c / sqrt(2)
U: (0, s_u)
k_u: s / sqrt(2)
k_o: (sqrt(2) * s)
V: (k_u, 0)
K: (k_o, 0)
k = OrthogonalLine(K, xAxis)
m = OrthogonalLine(V, xAxis)
n = OrthogonalLine(U, yAxis)
p = OrthogonalLine(G, yAxis)
o(y) = s_u  <  y  <  s_g
q(x) = k_u  <  x  <  k_o
b: y = s
r: y = x
S = Intersect(l, b)
e = false