%I #40 Sep 08 2022 08:45:52
%S 0,1,2,4,7,12,18,27,38,52,69,90,114,143,176,214,257,306,360,421,488,
%T 562,643,732,828,933,1046,1168,1299,1440,1590,1751,1922,2104,2297,
%U 2502,2718,2947,3188,3442,3709,3990,4284,4593,4916,5254,5607,5976,6360,6761,7178
%N Partial sums of ceiling(n^2/6).
%C Partial sums of A008747.
%C There are several sequences of integers of the form ceiling(n^2/k) for whose partial sums we can establish identities as following (only for k = 2,...,8,10,11,12, 14,15,16,19,20,23,24).
%H Vincenzo Librandi, <a href="/A175812/b175812.txt">Table of n, a(n) for n = 0..10000</a>
%H <a href="/index/Rec#order_07">Index entries for linear recurrences with constant coefficients</a>, signature (2,0,-1,-1,0,2,-1).
%H Mircea Merca, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL14/Merca/merca3.html">Inequalities and Identities Involving Sums of Integer Functions</a> J. Integer Sequences, Vol. 14 (2011), Article 11.9.1.
%F a(n) = round((2*n+1)*(2*n^2 + 2*n + 17)/72).
%F a(n) = floor((n+1)*(2*n^2 + n + 17)/36).
%F a(n) = ceiling((2*n^3 + 3*n^2 + 18*n)/36).
%F a(n) = round((2*n^3 + 3*n^2 + 18*n)/36).
%F a(n) = a(n-6) + (n+1)*(n-6) + 18, n > 5.
%F From _Mircea Merca_, Jan 09 2011: (Start)
%F a(n) = 2*a(n-1) - a(n-3) - a(n-4) + 2*a(n-6) - a(n-7), n > 6.
%F G.f.: x*(x^4+1) / ( (x+1)*(x^2+x+1)*(x-1)^4 ). (End)
%e a(6) = 0 + 1 + 1 + 2 + 3 + 5 + 6 = 18.
%p seq(floor((n+1)*(2*n^2+n+17)/36),n=0..50)
%t Accumulate[Ceiling[Range[0,50]^2/6]] (* _Harvey P. Dale_, Jan 17 2016 *)
%o (Magma) [Round((2*n+1)*(2*n^2+2*n+17)/72): n in [0..60]]; // _Vincenzo Librandi_, Jun 22 2011
%o (PARI) a(n) = (n+1)*(2*n^2+n+17)\36; \\ _Altug Alkan_, Sep 21 2018
%Y Cf. A008747.
%K nonn,easy
%O 0,3
%A _Mircea Merca_, Dec 05 2010
|