OFFSET
0,1
COMMENTS
arcsin(sqrt(3/8)) = least x>0 satisfying sin(2*x) = 2*sin(4*x).
This number apparently also represents the angle, in radians, by which a regular dodecahedron (centered at the origin and having vertices at both the points (0, phi, 1/phi) and (1,1,1)) must be rotated about the axis y=x=z to optimally fit in a cube, also centered at the origin, aligned with the unit axes. A dodecahedron rotated by this amount can fit in the smallest possible cube. See Firsching (2018) and the graphic provided in it. This result comes from spherical geometry: If one pentagon of a regular dodecahedron is projected onto a sphere, this value is the angle between a line from a pentagon vertex to the midpoint of the farthest (opposite) edge and another line from the same vertex to the midpoint of either edge adjacent to the first. After being rotated, the dodecahedron still has a point at (1,1,1) with six edges aligning exactly with the faces of the cube. - Jonah D. Vanke, Oct 22 2023
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..5000
M. Firsching, Computing maximal copies of polytopes contained in a polytope, arXiv:1407.0683 [math.MG], 2014.
FORMULA
Equals arctan(sqrt(3/5)). - Amiram Eldar, Jul 04 2023
EXAMPLE
0.6590580358264089828728321...
MATHEMATICA
PROG
(PARI) asin(sqrt(3/8)) \\ G. C. Greubel, Nov 18 2017
(Magma) [Arcsin(Sqrt(3/8))]; // G. C. Greubel, Nov 18 2017
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Sep 23 2011
STATUS
approved