|
%I #44 May 26 2023 16:36:55
%S 1,3,10,28,72,176,416,960,2176,4864,10752,23552,51200,110592,237568,
%T 507904,1081344,2293760,4849664,10223616,21495808,45088768,94371840,
%U 197132288,411041792,855638016,1778384896,3690987520,7650410496,15837691904,32749125632,67645734912,139586437120,287762808832
%N Row sums of A128134.
%C Conjecture: a(n)/a(n-1) tends to sqrt(5). (E.g., a(10)/a(9) = 2.235294....)
%C The conjecture is false. The fraction a(n)/a(n-1) tends to 2 as n grows. - Philipp Zumstein (zuphilip(AT)inf.ethz.ch), Oct 05 2009
%H Vincenzo Librandi, <a href="/A128135/b128135.txt">Table of n, a(n) for n = 1..1000</a>
%H Guo-Niu Han, <a href="/A196265/a196265.pdf">Enumeration of Standard Puzzles</a>, 2011. [Cached copy]
%H Guo-Niu Han, <a href="https://arxiv.org/abs/2006.14070">Enumeration of Standard Puzzles</a>, arXiv:2006.14070 [math.CO], 2020.
%H <a href="/index/Rec#order_02">Index entries for linear recurrences with constant coefficients</a>, signature (4,-4).
%F Row sums of A128134.
%F Equals A134315 * [1, 2, 3, ...]. - _Gary W. Adamson_, Oct 19 2007
%F a(n) = 2*a(n-1) + 2^(n-1) for n >= 2. - Philipp Zumstein (zuphilip(AT)inf.ethz.ch), Oct 05 2009
%F From _Colin Barker_, May 29 2012: (Start)
%F a(n) = 2^(n - 2)*(2*n - 1) for n > 1.
%F a(n) = 4*a(n-1) - 4*a(n-2) for n > 3.
%F G.f.: x*(1 - x + 2*x^2)/(1 - 2*x)^2. (End)
%F G.f.: (1 - G(0))/2 where G(k) = 1 - (2*k + 2)/(1 - x/(x - (k + 1)/G(k+1))) (recursively defined continued fraction). - _Sergei N. Gladkovskii_, Dec 06 2012
%F From _Amiram Eldar_, Aug 05 2020: (Start)
%F Sum_{n>=1} 1/a(n) = 2*sqrt(2)*arcsinh(1) - 1.
%F Sum_{n>=1} (-1)^(n+1)/a(n) = 2*sqrt(2)*arccot(sqrt(2)) - 1. (End)
%e a(4) = 28 = sum of row 4 of A128134 = 3 + 10 + 11 + 4.
%t CoefficientList[Series[(1-x+2*x^2)/(1-2*x)^2,{x,0,40}],x] (* _Vincenzo Librandi_, Jun 28 2012 *)
%t LinearRecurrence[{4,-4},{1,3,10},40] (* _Harvey P. Dale_, May 26 2023 *)
%o (Magma) I:=[1, 3, 10]; [n le 3 select I[n] else 4*Self(n-1)-4*Self(n-2): n in [1..40]]; // _Vincenzo Librandi_, Jun 28 2012
%o (PARI) a(n)=if(n<=2,[1,3][n],2*a(n-1)+2^(n-1)); /* _Joerg Arndt_, Sep 29 2012 */
%Y Cf. A128132, A128133, A128134, A134315.
%K nonn,easy
%O 1,2
%A _Gary W. Adamson_, Feb 16 2007
%E More terms from Philipp Zumstein (zuphilip(AT)inf.ethz.ch), Oct 05 2009
%E Incorrect formula deleted by _Colin Barker_, May 29 2012
|
