|
|
A093766
|
|
Decimal expansion of Pi/(2*sqrt(3)).
|
|
32
|
|
|
9, 0, 6, 8, 9, 9, 6, 8, 2, 1, 1, 7, 1, 0, 8, 9, 2, 5, 2, 9, 7, 0, 3, 9, 1, 2, 8, 8, 2, 1, 0, 7, 7, 8, 6, 6, 1, 4, 2, 0, 3, 3, 1, 2, 4, 0, 4, 6, 3, 7, 0, 2, 8, 7, 7, 8, 4, 9, 4, 2, 4, 6, 7, 6, 9, 4, 0, 6, 1, 5, 9, 0, 5, 6, 3, 1, 7, 6, 9, 4, 1, 8, 4, 2, 0, 6, 2, 4, 9, 4, 1, 0, 6, 0, 3, 0, 0, 8, 4, 4, 2, 8
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
COMMENTS
|
Density of densest packing of equal circles in two dimensions (achieved for example by the A2 lattice).
The number gives the areal coverage (90.68... percent) of the close hexagonal (densest) packing of circles in the plane. The hexagonal unit cell is a rhombus of side length 1 and height sqrt(3)/2; the area of the unit cell is sqrt(3)/2 and the four parts of circles add to an area of one circle of radius 1/2, which is Pi/4. - R. J. Mathar, Nov 22 2011
Ratio of surface area of a sphere to the regular octahedron whose edge equals the diameter of the sphere. - Omar E. Pol, Dec 09 2013
|
|
REFERENCES
|
J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer, 3rd. ed., 1998. See p. xix.
L. B. W. Jolley, Summation of Series, Dover (1961), Eq. (84) on page 16.
|
|
LINKS
|
|
|
FORMULA
|
Equals (5/6)*(7/6)*(11/12)*(13/12)*(17/18)*(19/18)*(23/24)*(29/30)*(31/30)*..., where the numerators are primes > 3 and the denominators are the nearest multiples of 6.
Equals Sum_{n>=1} 1/A134667(n). [Jolley]
Equals Sum_{n>=0} (-1)^n/A124647(n). [Jolley eq. 273]
Continued fraction expansion: 1 - 2/(18 + 12*3^2/(24 + 12*5^2/(32 + ... + 12*(2*n - 1)^2/((8*n + 8) + ... )))). See A254381 for a sketch proof. - Peter Bala, Feb 04 2015
Equals 4*Sum_{n >= 0} 1/((6*n + 1)*(6*n + 5)).
Continued fraction: 1/(1 + 1^2/(4 + 5^2/(2 + 7^2/(4 + 11^2/(2 + ... + (6*n + 1)^2/(4 + (6*n + 5)^2/(2 + ... ))))))). (End)
The inverse is (2*sqrt(3))/Pi = Product_{n >= 1} 1 + (1 - 1/(4*n))/(4*n*(9*n^2 - 9*n + 2)) = (35/32) * (1287/1280) * (8075/8064) * (5635/5632) * (72819/72800) * ... = 1.102657790843585... - Dimitris Valianatos, Aug 31 2019
Equals Integral_{x=0..oo} 1/(x^2 + 3) dx.
Equals Integral_{x=0..oo} 1/(3*x^2 + 1) dx. (End)
Equals 1 + Sum_{k>=1} ( 1/(6*k+1) - 1/(6*k-1) ). - Sean A. Irvine, Jul 24 2021
|
|
EXAMPLE
|
0.906899682117108925297039128821077866142033124046370287784942...
|
|
MATHEMATICA
|
|
|
PROG
|
|
|
CROSSREFS
|
Related constants: A020769, A020789, A093825, A222066, A222067, A222068, A222069, A222070, A222071, A222072, A260646, (1/2)*A093602, A346585, A346584, A346583.
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|