%I #25 May 31 2023 14:37:41
%S 8,3,5,4,1,9,5,1,7,9,9,1,0,5,4,6,8,8,0,4,1,5,4,3,0,2,6,1,8,2,6,8,5,2,
%T 0,4,5,3,4,7,1,4,7,8,4,9,3,6,4,5,9,7,8,1,7,6,1,7,9,0,0,2,8,2,1,4,8,0,
%U 3,6,9,6,4,2,4,8,7,6,3,3,5,1,2,7,0,2,0,9,4,8,4,7,3,5,6,3,1,3,4,9,8,1,3,7,8
%N Decimal expansion of mean square width of the regular tetrahedron.
%H Steven R. Finch, <a href="http://arxiv.org/abs/1110.0671">Width Distributions for Convex Regular Polyhedra</a>, arXiv:1110.0671 [math.MG], 2011-2016.
%H Steven R. Finch, <a href="http://arxiv.org/abs/1111.4976">Mean width of a regular simplex</a>, arXiv:1111.4976 [math.MG], 2011-2016, E(w_3^2).
%F Equals 1/3 + (3+sqrt(3))/(3*Pi).
%e 0.83541951799105468804154302618268520453471478493645978176...
%t RealDigits[1/3 + (3+Sqrt[3])/(3*Pi), 10, 120][[1]] (* _Amiram Eldar_, May 31 2023 *)
%o (PARI) 1/3+(3+sqrt(3))/(3*Pi) \\ _Charles R Greathouse IV_, Oct 04 2012
%K nonn,easy,cons
%O 0,1
%A _Jonathan Vos Post_, Oct 04 2011
|