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

Ha 2016

a = 3
b = CurveCartesian((a / 3 * ((2 * cos(t)) - cos((2 * t)))), (a / 3 * ((2 * sin(t)) - sin((2 * t)))), t, 0, (2 * π))
A: (1, 0)
t = 0 (slider from 0 to π, step π / 40)
O_1 = (0, 0)
O: (0, 0)
B = Point(xAxis)
B' = Rotate(B, t, O)
β = Angle(B, O, B')
f = Line(O, B')
Q, D, I, J, K = Intersect(f, b)
g = Line(Q, A)
h = Tangent(Q, b)
i = OrthogonalLine(Q, h)
g' = Mirror(g, i)
C, E, G, H = Intersect(g', b)
F = Intersect(g', xAxis)
j = Segment(E, Q)
E' = Mirror(E, xAxis)
Q' = Mirror(Q, xAxis)
j' = Segment(E', Q')
k = Segment(A, Q)
c = CurveCartesian((3 / 2 * cos(t)) - cos((3 * t)) / 2, (3 / 2 * sin(t)) - sin((3 * t)) / 2, t, 0, (2 * π))
l = Segment(((-a), 0), (1, 0))
d = false