login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A065918 Decimal expansion of log(2 + sqrt(3)). 5
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 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

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

LINKS

Harry J. Smith, Table of n, a(n) for n = 1..2000

Chris Caldwell, Primality Proving, Arndt's theorem.

Index entries for transcendental numbers

FORMULA

Equals arccosh(2) since arccosh(x) = log(x + sqrt(x^2 - 1)). - Stanislav Sykora, Nov 01 2013

EXAMPLE

1.316957896924816708625046347307968444...

MATHEMATICA

First@ RealDigits[Log[2 + Sqrt@ 3], 10, 102] (* Michael De Vlieger, May 12 2019 *)

PROG

(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

CROSSREFS

Cf. A001075, A072877.

Sequence in context: A013610 A008573 A089710 * A020861 A163213 A095066

Adjacent sequences:  A065915 A065916 A065917 * A065919 A065920 A065921

KEYWORD

nonn,easy,cons

AUTHOR

Frank Ellermann, Dec 08 2001

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified February 20 07:52 EST 2020. Contains 332069 sequences. (Running on oeis4.)