%I #22 Jul 20 2023 11:15:53
%S 0,4,6,20,14,36,22,52,30,68,38,84,46,100,54,116,62,132,70,148,78,164,
%T 86,180,94,196,102,212,110,228,118,244,126,260,134,276,142,292,150,
%U 308,158,324,166,340,174,356,182,372,190,388,198,404,206,420,214,436,222,452
%N Continued fraction for sqrt(1/2)*(exp(sqrt(1/2))-1)/(exp(sqrt(1/2))+1).
%C This continued fraction shows exp(sqrt(1/2)) is irrational.
%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="/A123169/b123169.txt">Table of n, a(n) for n = 1..1000</a>
%H <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (0,2,0,-1).
%F a(1) = 0, for n >= 1, a(2*n) = 16*n - 12, a(2*n+1) = 8*n - 2.
%F From _Colin Barker_, Jun 28 2013: (Start)
%F a(n) = (3 + (-1)^n)*(-3 + 2*n) for n > 1.
%F a(n) = 2*a(n-2) - a(n-4) for n > 5.
%F G.f.: 2*x^2*(2+3*x+6*x^2+x^3)/((1-x)^2*(1+x)^2). (End)
%p A123169:=n->(3+(-1)^n)*(-3+2*n): 0,seq(A123169(n), n=2..100); # _Wesley Ivan Hurt_, Apr 27 2017
%t LinearRecurrence[{0,2,0,-1}, {0,4,6,20,14}, 100] (* _G. C. Greubel_, Jul 19 2023 *)
%o (PARI) a(n)=if(n%2,max(4*n-6,0),8*n-12) \\ _Charles R Greathouse IV_, Jun 28 2013
%o (Magma) [n eq 1 select 0 else (3 + (-1)^n)*(2*n-3): n in [1..100]]; // _G. C. Greubel_, Jul 19 2023
%o (SageMath) [(3+(-1)^n)*(2*n-3) + 2*int(n==1) for n in range(1,101)] # _G. C. Greubel_, Jul 19 2023
%Y Cf. A123168.
%K nonn,easy
%O 1,2
%A _Benoit Cloitre_, Oct 02 2006
|