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

Ha 2016

O' = (0, 1)
dy = -1
dx = 10
D: (dx, dy)
a = 10
f(x) = x
e = 2
O = (0, 0)
c = Circle(O, e)
A, B = Intersect(f, c)
b_1 = Line(B, O)
b = OrthogonalLine(B, b_1)
d = Circle(B, a)
g = Circle(D, a)
J = Point(g)
E = Point(g)
c_1 = CircleArc(D, E, J)
D' = Mirror(D, O')
h = Circle(D', a)
Q = Point(g)
k = Circle(Q, (2 * e))
F, G = Intersect(k, h)
i = Segment(Q, D)
j = Segment(D', F)
H = Midpoint(Q, F)
Ortslinie1 = Locus(H, Q)
l = Segment(D', G)
m = Segment(G, Q)
P = Midpoint(m)
Ortslinie2 = Locus(P, Q)
n = Line(O, P)
p = OrthogonalLine(O, n)
r = 6.1 (slider from -5 to 7, step 0.1)
w = -2.7 (slider from -5 to 5, step 0.1)
K = Point(h)
L = Point(h)
d_1 = CircleArc(D', L, K)
I = (-7, -1.5)
M = (-13, -1.5)
N = (-13, 10.2133)
R = (13, 11.8933)
S = (13.0185, -1.5)
T = (7, -1.5)
U = (7, 4.5)
V = (-7, 4.5)
Vieleck1, n_1, r_1, s_1, t_1, u_1, v, i_1, m_1 = Polygon(N, R, S, T, U, V, I, M)
PP: P
e_1 = Circle(P, r)
C = Point(u_1)
Z: (-0.7, y(P) + 0.5)
A_1: (0.7, y(P) + 0.5)
B_1 = Point(u_1)
Vieleck2, c_2, z_1, a_1, b_2 = Polygon(C, Z, A_1, B_1)
f_1 = Circle(P, 0.4)
o = false