login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A157259
Decimal expansion of 7 - 2*sqrt(2).
9
4, 1, 7, 1, 5, 7, 2, 8, 7, 5, 2, 5, 3, 8, 0, 9, 9, 0, 2, 3, 9, 6, 6, 2, 2, 5, 5, 1, 5, 8, 0, 6, 0, 3, 8, 4, 2, 8, 6, 0, 6, 5, 6, 2, 4, 9, 2, 4, 6, 1, 0, 3, 8, 5, 3, 6, 4, 6, 6, 4, 0, 5, 2, 4, 0, 1, 8, 5, 3, 5, 0, 4, 3, 0, 7, 5, 7, 8, 5, 9, 2, 2, 2, 9, 9, 2, 2, 4, 9, 3, 1, 3, 4, 4, 7, 1, 6, 8, 5, 4, 5, 2, 9, 9, 7
OFFSET
1,1
COMMENTS
lim_{n -> infinity} b(n)/b(n-1) = (7+2*sqrt(2))/(7-2*sqrt(2)) for n mod 3 = {1, 2}, b = A129288.
lim_{n -> infinity} b(n)/b(n-1) = (7+2*sqrt(2))/(7-2*sqrt(2)) for n mod 3 = {0, 2}, b = A157257.
LINKS
Pierre-Antoine Guihéneuf, Rotations Discrètes, Images des Mathématiques, CNRS, 2018. See 3-2*sqrt(2), the fractional part of this constant, about the loss of information when rotating an image.
FORMULA
Equals 3 + Sum_{k>=0} binomial(2*k,k)/((k+1) * 8^k). - Amiram Eldar, Aug 03 2020
Equals 4 + exp(-arccosh(3)). - Amiram Eldar, Jul 06 2023
Equals 4 + (2-sqrt(2))/(2+sqrt(2)). - Davide Rotondo, Jun 08 2024
EXAMPLE
7 - 2*sqrt(2) = 4.17157287525380990239...
MATHEMATICA
RealDigits[7-2*Sqrt[2], 10, 120][[1]] (* Harvey P. Dale, May 01 2012 *)
PROG
(PARI) 7 - 2*sqrt(2) \\ G. C. Greubel, Nov 28 2017
(Magma) [7 - 2*Sqrt(2)]; // G. C. Greubel, Nov 28 2017
CROSSREFS
Cf. A129288, A157257, A157258 (decimal expansion of 7+2*sqrt(2)), A157260 (decimal expansion of (7+2*sqrt(2))/(7-2*sqrt(2))).
Sequence in context: A096966 A140703 A346533 * A046551 A065814 A329347
KEYWORD
cons,nonn
AUTHOR
Klaus Brockhaus, Feb 26 2009
STATUS
approved