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

Kardioide

Beweis, das Reflexion und Kreis-Konchoide
zusammenpassen

Ha 2016

a = 3
A: (a, 0)
O: (0, 0)
c = Circle(A, O)
Q = Point(c)
b = Segment(O, Q)
d = Segment(Q, A)
O' = Mirror(O, d)
C: ((2 * a), 0)
t = Angle(C, O, Q)
f(x) = (tan((3 * t)) * x) - (((2 * a) * tan((3 * t))) * cos(t)^(2)) + (a * sin((2 * t)))
B: ((4 * a / 3), 0)
e = Circle(A, B)
D = Point(e)
g = Circle(D, (2 * a / 3))
h = Line(D, B)
P, P' = Intersect(g, h)
Ortslinie1 = Locus(P, D)
Ortslinie2 = Locus(P, D)
i = Line(B, h)
kardi = CurveCartesian((((4 / 3 * a) * cos(t)^(2)) * (2 - cos((2 * t)))), (((8 / 3 * a) * cos(t)) * sin(t)^(3)), t, 0, (2 * π))
j = Segment(A, D)
k = Segment(A, O')
l = Segment(Q, O')
m = false