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

Ha 2016

s: 4
a: x^(2) + y^(2) = z^(2)
h: 2
r: h / sqrt(2)
b: x^(2) + y^(2) + (z - h)^(2) = h^(2) / 2
A: (4, 4)
O = Intersect(xAxis, yAxis)
f = Line(O, A)
C_2: (3, 3)
M = Point(yAxis)
c = Circle(M, h / sqrt(2))
g = Line(M, C_2)
d = Semicircle(M, C_2)
E_2 = Intersect(d, c)
E_2' = Mirror(E_2, g)
i = Line(E_2, C_2)
j = Segment((-4, 4), O)
k = Segment(O, A)
l = Segment(E_2, C_2)
m = Segment(E_2', C_2)
C: (3, 0, 3)
E: (0.2, 0, 3.4)
E': (1, 0, 1)
n = Segment(E, C)
p = Segment(E', C)
e = CurveCartesian(cos(t), sin(t), 1, t, 0, (2 * π))
q = Segment((-1, 1), E_2')
Vieleck1, t, b_1, a_1 = Polygon(O, A, (-4, 4))
o = false