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

Ha 2016

a = 3
O = (0, 0)
A: (a, 0)
c = Circle(O, A)
Q = Point(c)
b = OrthogonalLine(Q, xAxis)
d = Line(O, Q)
B = Intersect(b, xAxis)
e = OrthogonalLine(B, d)
C = Intersect(e, d)
f = Circle(B, C)
P', P = Intersect(f, b)
g = CircleArc(B, P, C)
Ortslinie1 = Locus(P, Q)
Ortslinie2 = Locus(P', Q)
g' = Mirror(g, B)
α = Angle(A, B, Q)
β = Angle(B, C, Q)
h = Segment(B, C)
C' = Mirror(C, B)
i = Segment(B, C')
j = false