login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A123168 Continued fraction for c = sqrt(2)*(exp(sqrt(2))-1)/(exp(sqrt(2))+1). 5

%I #48 Oct 05 2023 08:38:00

%S 0,1,6,5,14,9,22,13,30,17,38,21,46,25,54,29,62,33,70,37,78,41,86,45,

%T 94,49,102,53,110,57,118,61,126,65,134,69,142,73,150,77,158,81,166,85,

%U 174,89,182,93,190,97,198,101,206,105,214,109,222,113

%N Continued fraction for c = sqrt(2)*(exp(sqrt(2))-1)/(exp(sqrt(2))+1).

%C This continued fraction shows exp(sqrt(2)) is irrational (see A274540).

%D J. Borwein and D. Bailey, Mathematics by experiment, plausible reasoning in the 21st Century, A. K. Peters, p. 77.

%H G. C. Greubel, <a href="/A123168/b123168.txt">Table of n, a(n) for n = 1..1500</a>

%H <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (0,2,0,-1).

%F a(2*n) = 4*n-3, a(2*n+1) = 8*n-2.

%F From _Colin Barker_, Apr 15 2012: (Start)

%F a(n) = 2*a(n-2) - a(n-4) for n>5.

%F G.f.: x^2*(1+6*x+3*x^2+2*x^3)/((1-x)^2*(1+x)^2). (End)

%F a(n) = (2*n-3)*(3-(-1)^n)/2 for n>1, with a(1) = 0. - _Wesley Ivan Hurt_, Apr 01 2022

%t $MinPrecision = 5 $MachinePrecision; ContinuedFraction[Sqrt[2]* (Exp[Sqrt[2]] - 1)/(Exp[Sqrt[2]] + 1), 100] (* _G. C. Greubel_, Aug 17 2018 *) (* or *)

%t LinearRecurrence[{0, 2, 0, -1}, {0, 1, 6, 5, 14}, 100] (* _Georg Fischer_, Aug 26 2022 *)

%o (PARI) default(realprecision, 1000); contfrac(sqrt(2)*(exp(sqrt(2))-1)/ (exp(sqrt(2))+1)) \\ _Michel Marcus_, Oct 11 2016

%Y Cf. A000217, A000384, A212343.

%Y Odd bisection of A062828 with 0 prepended.

%Y Cf. A274540, A123251.

%K nonn,cofr,easy

%O 1,3

%A _Benoit Cloitre_, Oct 02 2006

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 05:02 EDT 2024. Contains 371235 sequences. (Running on oeis4.)