|
|
A267033
|
|
Decimal expansion of 4*arctan(sqrt(2)/5)-Pi/3.
|
|
3
|
|
|
0, 5, 5, 3, 7, 3, 6, 4, 5, 6, 6, 8, 4, 6, 3, 8, 6, 9, 7, 3, 0, 0, 7, 3, 8, 4, 1, 8, 3, 5, 7, 5, 0, 8, 5, 7, 8, 0, 1, 9, 7, 8, 1, 2, 4, 2, 5, 5, 3, 2, 2, 1, 1, 8, 7, 2, 5, 0, 8, 5, 9, 5, 3, 2, 6, 5, 7, 1, 5, 6, 0, 5, 5, 3, 5, 0, 4, 8, 8, 6, 3, 6, 5, 4, 0, 9, 5
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
Hales' constant used in his proof of the Kepler conjecture (Def. 1.6).
|
|
LINKS
|
|
|
FORMULA
|
Equals 4*arctan(sqrt(2)/5)-Pi/3.
|
|
EXAMPLE
|
0.0553736456...
|
|
MATHEMATICA
|
len = 86; PadLeft[First@ #, len + Last@ Abs@ #] &@ RealDigits@ N[4 ArcTan[Sqrt[2]/5] - Pi/3, len] (* Michael De Vlieger, Jan 09 2016 *)
RealDigits[4*ArcTan[Sqrt[2]/5] - Pi/3, 10, 100][[1]] (* G. C. Greubel, Aug 19 2018 *)
|
|
PROG
|
(Magma) SetDefaultRealField(RealField(100)); R:= RealField(); 4*Arctan(Sqrt(2)/5) - Pi(R)/3; // G. C. Greubel, Aug 19 2018
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|