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

Ha 2016

a = 0.7
c_N: (a * exp(((-a) * π / 2)))
r(x) = exp((a * x))
ω = 1.0471975511965974
r_d(x) = r(x - ω)
k: c_N
r_k(x) = (k * r(x))
b = CurveCartesian((r(t) * cos(t)), (r(t) * sin(t)), t, -10, 7)
c = CurveCartesian((r_d(t) * cos(t)), (r_d(t) * sin(t)), t, -10, 7)
d = CurveCartesian((r_k(t) * cos(t)), (r_k(t) * sin(t)), t, -10, 7)
P = Point(b)
O = (0, 0)
e = Circle(O, P)
f = Ray(O, P)
g = OrthogonalLine(O, f)
r_p = Segment(P, O)
h = Circle(O, (a * r_p))
A, N = Intersect(h, g)
Ortslinie1 = Locus(N, P)
Vieleck1, n, p, o = Polygon(P, O, N)
i = OrthogonalLine(P, o)
σ_N: ((-log(c_N))) / a / °
P_d = Rotate(P, σ_N°, O)
S = Intersect(i, g)
j = Segment(P, S)
l = Segment(O, P_d)
q = CircleArc(O, P, P_d)
s = Circle(N, P)
m = Segment(N, P)
t = false