t

https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 9.6.3: S. 299 + Zusatz
www.kurven-erkunden-und-verstehen.de

Ha 2016

t = 0.7 (slider from -5 to 5, step 0.1)
k = 6
P: ((k * (1 - cos(t))), ((-k) * (log(cos(t / 2) - sin(t / 2)) - log(cos(t / 2) + sin(t / 2)) + sin(t))))
a = CurveCartesian((k * (1 - cos(t))), ((-k) * (log(cos(t / 2) - sin(t / 2)) - log(cos(t / 2) + sin(t / 2)) + sin(t))), t, -3, 4)
A = Point(a)
O = Point(a)
f(x) = (tan(t) * (x - x(P))) + y(P)
g: x = k
Q = Intersect(f, g)
h = Segment(P, Q)
i = OrthogonalLine(P, g)
D = Intersect(i, g)
α = Angle(D, P, Q)
j = Segment(P, D)
l = Segment(P, Q)
b: x = -1
B: (-1, 9, 0)
C: (-1, -6, 0)
E: (6, 9, 0)
F: (6, -6, 0)
Vieleck1, b_1, e, f_1, c = Polygon(B, E, F, C)
m = Segment(B, (-1, 9, -4))
n = Segment(C, (-1, -6, -4))
q = Segment(F, (6, -6, -4))
r = Segment(Q, (x(Q), y(Q), -2))
s = Segment(O, (6, 0, 0))
p = Segment(E, (6, 9, -4))
d = Segment(O, (6, 0, 0))
o = false