OFFSET
0,1
LINKS
Dominik Beck, Mean distance in polyhedra, arXiv:2309.13177 [math.PR], 2023.
Dominik Beck, Mean distance in polyhedra, lecture, 2024.
Dominik Beck, Random polytopes, doctoral thesis, Mathematical Institute of Charles University, Prague, 2025.
FORMULA
Equals (1/2) * (9/5 - 3/sqrt(5))^(1/3) * (197/525 + 239/(525*sqrt(5)) - 44/525*sqrt(2 + 2/sqrt(5)) - (17226 + 6269*sqrt(5))*Pi/157500 - (2186 + 1413*sqrt(5))*arccot(phi)/15750 + (82 - 75*sqrt(5))*arccot(phi^2)/5250 + 4*(2139 + 881*sqrt(5))*arccosech(phi)/7875 + (15969 + 7151*sqrt(5))*arccoth(phi)/12600 + (4449 - 1685*sqrt(5))*log(3)/42000 - (75783 + 37789*sqrt(5))*log(5)/252000), where phi is the golden ratio (A001622).
EXAMPLE
0.641312485510735885104521947992662588466399096164751...
MATHEMATICA
With[{phi = GoldenRatio}, RealDigits[1/2*(9/5 - 3/Sqrt[5])^(1/3)*(197/525 + 239/(525*Sqrt[5]) - 44/525*Sqrt[2 + 2/Sqrt[5]] - ((17226 + 6269*Sqrt[5])*Pi)/157500 - ((2186 + 1413*Sqrt[5])*ArcCot[phi])/15750 + ((82 - 75*Sqrt[5])*ArcCot[phi^2])/5250 + (4*(2139 + 881*Sqrt[5])*ArcCsch[phi])/7875 + ((15969 + 7151*Sqrt[5])*ArcCoth[phi])/12600 + ((4449 - 1685*Sqrt[5])*Log[3])/42000 - ((75783 + 37789*Sqrt[5])*Log[5])/252000), 10, 120][[1]]]
PROG
(PARI) {my(phi = quadgen(5)); 1/2 * (9/5 - 3/sqrt(5))^(1/3) * (197/525 + 239/(525*sqrt(5)) - 44/525*sqrt(2 + 2/sqrt(5)) - (17226 + 6269*sqrt(5))*Pi/157500 - (2186 + 1413*sqrt(5))*atan(1/phi)/15750 + (82 - 75*sqrt(5))*atan(1/phi^2)/5250 + 4*(2139 + 881*sqrt(5))*asinh(1/phi)/7875 + (15969 + 7151*sqrt(5))*atanh(1/phi)/12600 + (4449 - 1685*sqrt(5))*log(3)/42000 - (75783 + 37789*sqrt(5))*log(5)/252000)}
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Mar 10 2026
STATUS
approved
