links der y-Achse

rechts der y-Achse

keine 
innere Nullstelle

r'

r

r'

r

Testpunkt

Meyer'sche Kurve

Meyer Beweis

e: 3
ga: x + y = (2 * e)
gb: x - y = (2 * e)
gc: (-x) + y = (2 * e)
ua(x, y) = x + y ≥ 6
ub(x, y) = x - y ≤ 6
uc(x, y) = (-x) + y ≤ 6
H1 = Point(gc)
H2 = Point(gb)
E_c: (0, (2 * e))
E_b: ((2 * e), 0)
Vieleck1, e_c, e_b, h2, h1 = Polygon(E_c, E_b, H2, H1)
E_1: ((-e), 0)
E_2: (e, 0)
r_1: 8
T = (6.616041666666681, 4.00375)
c = Circle(E_1, y(T))
d = Circle(E_2, x(T))
Pts, Pt = Intersect(d, c)
f: y = x
r1 = Segment(E_1, Pt)
r2 = Segment(Pt, E_2)
xT: (x(T), 0)
ry = Segment(T, xT)
O: (0, 0)
rx = Segment(O, xT)
a = 5.3 (slider from -5 to 10, step 0.1)
keg: x + y = (2 * a)
A = Point(keg)
h = Circle(E_1, y(A))
k = Circle(E_2, x(A))
b = false
P, Ps = Intersect(h, k)
Ortslinie1 = Locus(P, A)
Ortslinie2 = Locus(Ps, A)
u = Vector(E_1, P)
v = Vector(E_2, P)
w: u + v
O' = Translate(O, w)
g = Vector(O, O')
Ortslinie3 = Locus(O', A)
i = false
O'_1 = Translate(O, u)
j = Vector(O, O'_1)
B = Translate(O'_1, v)
l = Vector(O'_1, B)
m = Line(O', O'_1)
n = false
p: x - y = (-2 * a)
P' = Mirror(P, yAxis)
Ps' = Mirror(Ps, yAxis)
Ortslinie4 = Locus(P', A)
Ortslinie5 = Locus(Ps', A)