|
%I #18 Sep 08 2022 08:45:47
%S 1,20,152,1056,7232,49408,337408,2304000,15732736,107429888,733577216,
%T 5009178624,34204811264,233565061120,1594881998848,10890535501824,
%U 74365228023808,507797540175872,3467458497216512,23677287656325120
%N a(n) = ((1+4*sqrt(2))*(4+2*sqrt(2))^n + (1-4*sqrt(2))*(4-2*sqrt(2))^n)/2.
%C Binomial transform of A164604. Fourth binomial transform of A164702. Inverse binomial transform of A164606.
%H G. C. Greubel, <a href="/A164605/b164605.txt">Table of n, a(n) for n = 0..1000</a> (terms 0..149 from Vincenzo Librandi)
%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (8,-8).
%F a(n) = 8*a(n-1) - 8*a(n-2) for n > 1; a(0) = 1, a(1) = 20.
%F G.f.: (1+12*x)/(1-8*x+8*x^2).
%F E.g.f.: exp(4*x)*(cosh(2*sqrt(2)*x) + 4*sqrt(2)*sinh(2*sqrt(2)*x)). - _G. C. Greubel_, Aug 10 2017
%t LinearRecurrence[{8,-8},{1,20},30] (* _Harvey P. Dale_, Mar 24 2015 *)
%o (Magma) Z<x>:=PolynomialRing(Integers()); N<r>:=NumberField(x^2-2); S:=[ ((1+4*r)*(4+2*r)^n+(1-4*r)*(4-2*r)^n)/2: n in [0..19] ]; [ Integers()!S[j]: j in [1..#S] ]; // _Klaus Brockhaus_, Aug 23 2009
%o (PARI) Vec((1+12*x)/(1-8*x+8*x^2)+O(x^99)) \\ _Charles R Greathouse IV_, Jun 12 2011
%Y Cf. A164604, A164702, A164606.
%K nonn,easy
%O 0,2
%A Al Hakanson (hawkuu(AT)gmail.com), Aug 17 2009
%E Edited and extended beyond a(5) by _Klaus Brockhaus_, Aug 23 2009
| 