https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 4.4.61 und 4.4.6.3: S. 126 und 128

Ha 2016

m = 2 (slider from -5 to 5, step 0.1)
M: (m, 0)
O = (0, 0)
c = Circle(M, O)
Q = Point(c)
a = 3
b = 6
d = Circle(O, b)
e = Line(O, Q)
f = Circle(Q, a)
B, A = Intersect(f, d)
g = Circle(A, a)
h = Circle(B, a)
C, P = Intersect(g, e)
Ortslinie1 = Locus(P, Q)
i = Segment(A, P)
j = Segment(P, B)
k = Segment(B, Q)
l = Segment(Q, A)
n = Segment(A, O)
p = Segment(O, B)
E = Point(c)
F = Point(c)
q = CircleArc(M, F, E)
r = Segment(O, P)
o = false