https://www.geogebra.org/haftendorn
Haftendorn, Buch (Springer):
Kurven erkunden und verstehen
Kap 4.4.5.1: S. 124

Ha 2016

Beweis-Elemente

O = (0, 0)
r = 4
c = Circle(O, r)
Q = Point(c)
d = Circle(Q, r)
B, C = Intersect(d, xAxis)
az = Segment(O, Q)
bz = Segment(Q, C)
t = 0.25
e = Circle(Q, (t * r))
D, P = Intersect(e, bz)
Ortslinie1 = Locus(P, Q)
f = Circle(O, ((1 + t) * r))
g = Circle(O, ((1 - t) * r))
h = OrthogonalLine(P, yAxis)
i = Ray(O, Q)
j = OrthogonalLine(P, h)
H_i = Intersect(h, az)
H = Midpoint(bz)
I = Midpoint(H, C)
A = Midpoint(Q, H)
p(x) = If[-2.99  <  x  <  3.42, (3 * sqrt(1 - x^(2) / 25))]
Ortslinie2 = Locus(C, Q)
a: r + (t * r)
b: r - (t * r)
k: x^(2) / a^(2) + y^(2) / b^(2) = 1
l = false
H_a = Intersect(f, i)
Vieleck1, h_a, h_i, p_1 = Polygon(H_i, P, H_a)
m = false