%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
|