t

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

Ha 2016

g: 2
a: y = g
Q = Point(a)
ρ: g
c = Circle(Q, ρ)
b = OrthogonalLine(Q, xAxis)
b2w: 180 / π
w2b: π / 180
φ: (b2w / ρ * x(Q))
T = Intersect(b, xAxis)
P = Rotate(T, (-(φ°)), Q)
α = Angle(P, Q, T)
Ortslinie1 = Locus(P, Q)
d = Line(P, Q)
k = 1.6 (slider from 0 to 10, step 0.3)
f = Circle(Q, (ρ * k))
e = CircleArc(Q, P, T)
O = Point(Ortslinie1)
h = Segment(O, T)
i(y) = y  <  0
C = Intersect(f, c, 1)
P_a, E = Intersect(f, d)
j = Segment(P_a, Q)
l = Segment(P, Q)
Ortslinie2 = Locus(P_a, Q)
p = Circle(Q, ρ / 2)
F = Intersect(p, c, 1)
P_i = Intersect(p, j)
Ortslinie3 = Locus(P_i, Q)
q = Circle(Q, ρ)
m = Segment(Q, T)
n = Segment(P_i, Q)
o = false