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

Ha 2016

d: 3.5
F = Point(xAxis)
F' = Mirror(F, yAxis)
k = Circle(F', 0.5)
c = Circle(F', d)
Q = Point(c)
st = Ray(F', Q)
h = OrthogonalLine(F', st)
G, H = Intersect(k, h)
k_1 = Line(H, st)
Vieleck1, i, j, l, m, I, J = Polygon(G, H, 4)
D = Point(st)
t = OrthogonalLine(D, st)
B = Intersect(k_1, t)
sch = LineBisector(Q, F)
P = Intersect(sch, st)
pf = Segment(P, F)
e: 3
E = (8.876855153054713, -0.5000000000000009)
Vieleck2, a, f_1, g_1, h_1, i_1, j_1, l_1 = Polygon(F', G, J, I, H, B, D)
n = Segment(P, D)
A = (-1.2014804506870609, 4.753333333333337)
r = Circle(F', A)
C = Point(r)
K = Point(r)
L = Point(r)
M = Point(r)
u = Vector(L, C)
v = Vector(M, K)
s = CircleArc(F', K, C)
o = false
b: sqrt(e^(2) - d^(2) / 4)
p(x) = If[0 < x < 5.32, (b * sqrt((4 * x^(2) / d^(2)) - 1))]
q(x) = If[0 < x < 4.6, ((-b) * sqrt((4 * x^(2) / d^(2)) - 1))]