https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 7.7.2  S. 215
www.kurven-erkunden-und-verstehen.de

Ha 2017

a: 4
O: (0, 0)
c = Circle(O, a)
Q = Point(c)
f = Line(O, Q)
g = OrthogonalLine(O, f)
Q'_s, Q_s = Intersect(c, g)
b: 3
k: b / a
P: (x(Q), (k * y(Q)))
Ortslinie1 = Locus(P, Q)
P_s: (x(Q_s), (k * y(Q_s)))
P' = Mirror(P, O)
P'_s = Mirror(P_s, O)
h = Segment(P', P)
i = Segment(P_s, P'_s)
S = Point(c)
S' = Mirror(S, f)
j = Segment(S, S')
C = Intersect(j, f)
S_e: (x(S), (k * y(S)))
S'_e: (x(S'), (k * y(S')))
l = Segment(S_e, S'_e)
M = Midpoint(S_e, S'_e)
Ortslinie2 = Locus(M, S)
m = Segment(Q_s, P_s)
n = Segment(S, S_e)
p = Segment(C, M)
q = Segment(Q, P)
r = Segment(S'_e, S')
s = Segment(Q'_s, P'_s)
t = Segment(Q_s, Q'_s)
B, Q' = Intersect(c, f)
d = Segment(P', Q')
e = Segment(Q', Q)
f_1 = OrthogonalLine(Q, e)
T = Intersect(f_1, xAxis)
g_1 = Line(T, P)
o = false