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

Ha 2016

a = 5
A: ((-a), 0)
c = Circle(A, a)
H = Point(c)
G = Point(c)
p = CircleArc(A, G, H)
b = 2.5
k: a / b
B = (0, 0)
F: (((-b)) / k, 0)
d = Circle(F, b / k)
e = Circle(B, b)
Q = Point(p)
f = Circle(Q, b)
C_1, C = Intersect(f, e)
g = Circle(C, b)
E, E_1 = Intersect(g, d)
h = OrthogonalLine(C, xAxis)
B' = Mirror(B, h)
F' = Mirror(F, h)
E' = Mirror(E, h)
Q' = Mirror(Q, h)
A' = Mirror(A, h)
i = Segment(B, A)
j = Segment(A, Q)
l = Segment(Q, C)
m = Segment(C, B)
n = Segment(F, E)
p_1 = Segment(E, C)
q = Segment(C, B')
r = Segment(B', A')
s = Segment(A', Q')
t = Segment(Q', C)
a_1 = Segment(F', E')
b_1 = Segment(E', C)
I: A'
D: F'
K = Point(yAxis)
c_1 = OrthogonalLine(K, h)
L = Point(c_1)
d_1 = OrthogonalLine(L, c_1)
M = Point(d_1)
e_1 = OrthogonalLine(M, d_1)
N = Intersect(yAxis, e_1)
Vieleck1, k_1, l_1, m_1, n_1 = Polygon(K, L, M, N)
J = (-4.86148015682691, 0.5733333333333368)
O = (-0.4014804887518435, 0.5733333333333368)
f_1 = Ray(H, B')
o = false