https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 9.6.4  S. 305 Afg. 9.18
www.kurven-erkunden-und-verstehen.de

Ha 2017

a = 3
f(x) = (a * cosh(x / a))
Q = Point(f)
g(x) = (a * sinh(x / a))
h = Tangent(Q, f)
i = OrthogonalLine(Q, xAxis)
L = Intersect(g, i, (2.6, 2.9379260180969293))
C = Intersect(i, xAxis)
j = Segment(L, C)
c = Circle(Q, j)
P, E = Intersect(c, h)
Ortslinie1 = Locus(P, Q)
k = Segment(P, C)
l = Segment(P, Q)
S: (0, a)
O: (0, 0)
m = Segment(S, O)
α = Angle(C, P, Q)
H: (x(Q), y(P))
n = Segment(P, H)
p = Segment(H, Q)
β = Angle(P, Q, C)
d = Semicircle(C, Q)
e = Circle(C, m)
A = Intersect(d, e)
r = Line(Q, A)
q = Segment(A, C)
b = false