OFFSET
0,1
COMMENTS
Since this is less than Pi/3, the kissing number in three dimensions is 12 rather than 13. Related to the Tammes problem.
LINKS
Oleg Musin and Alexey Tarasov, The strong thirteen spheres problem, Discrete & Computational Geometry 48:1 (2012), pp. 128-141. doi:10.1007/s00454-011-9392-2
EXAMPLE
0.99722359243811916365477045057612201455032449373301442534628103416840073521118... radians = 57.1367030... degrees.
MATHEMATICA
digits = 101; x0 = x /. FindRoot[2*Tan[3*Pi/8-x/4]-(1-2*Cos[x])/Cos[x]^2 == 0, {x, 6/5}, WorkingPrecision -> digits+1]; ArcCos[Cos[x0]/(1-Cos[x0])] // RealDigits[#, 10, digits]& // First (* Jean-François Alcover, Feb 20 2014, after PARI *)
PROG
(PARI) (a->acos(cos(a)/(1-cos(a))))(solve(x=1, 2, 2*tan(3*Pi/8-x/4)-(1-2*cos(x))/cos(x)^2))
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Charles R Greathouse IV, Mar 20 2013
STATUS
approved
