cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A065918 Decimal expansion of log(2 + sqrt(3)).

Original entry on oeis.org

1, 3, 1, 6, 9, 5, 7, 8, 9, 6, 9, 2, 4, 8, 1, 6, 7, 0, 8, 6, 2, 5, 0, 4, 6, 3, 4, 7, 3, 0, 7, 9, 6, 8, 4, 4, 4, 0, 2, 6, 9, 8, 1, 9, 7, 1, 4, 6, 7, 5, 1, 6, 4, 7, 9, 7, 6, 8, 4, 7, 2, 2, 5, 6, 9, 2, 0, 4, 6, 0, 1, 8, 5, 4, 1, 6, 4, 4, 3, 9, 7, 6, 0, 7, 4, 2, 1, 9, 0, 1, 3, 4, 5, 0, 1, 0, 1, 7, 8, 3, 5, 5
Offset: 1

Views

Author

Frank Ellermann, Dec 08 2001

Keywords

Comments

x = 2^n - 1 is prime if and only if x divides cosh(2^(n - 2)*log(2 + sqrt(3))).

Examples

			1.316957896924816708625046347307968444...
		

Crossrefs

Programs

  • Mathematica
    First@ RealDigits[Log[2 + Sqrt@ 3], 10, 102] (* Michael De Vlieger, May 12 2019 *)
  • PARI
    default(realprecision, 2080); x=log(2 + sqrt(3)); for (n=1, 2000, d=floor(x); x=(x-d)*10; write("b065918.txt", n, " ", d)) \\ Harry J. Smith, Nov 04 2009
    
  • PARI
    acosh(2) \\ Charles R Greathouse IV, Jan 07 2016

Formula

Equals arccosh(2) since arccosh(x) = log(x + sqrt(x^2 - 1)). - Stanislav Sykora, Nov 01 2013
Equals arctanh(sqrt(3)/2). - Amiram Eldar, Feb 09 2024
Equals log(4) - Sum_{k>=1} (2*k - 1)!!/(k*k!*2^(3*k + 1)). - Antonio GraciĆ” Llorente, Feb 14 2024
Equals Sum_{n>=0} ((-1)^(n)*binomial(2*n, n))/(2^(3*n - 1/2)*(2*n + 1)). - Antonio GraciĆ” Llorente, Nov 13 2024