cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A300656 Triangle read by rows: T(n,k) = 30*k^2*(n-k)^2 + 1; n >= 0, 0 <= k <= n.

This page as a plain text file.
%I A300656 #152 Jan 13 2025 11:51:18
%S A300656 1,1,1,1,31,1,1,121,121,1,1,271,481,271,1,1,481,1081,1081,481,1,1,751,
%T A300656 1921,2431,1921,751,1,1,1081,3001,4321,4321,3001,1081,1,1,1471,4321,
%U A300656 6751,7681,6751,4321,1471,1,1,1921,5881,9721,12001,12001,9721,5881,1921,1
%N A300656 Triangle read by rows: T(n,k) = 30*k^2*(n-k)^2 + 1; n >= 0, 0 <= k <= n.
%C A300656 From _Kolosov Petro_, Apr 12 2020: (Start)
%C A300656 Let A(m, r) = A302971(m, r) / A304042(m, r).
%C A300656 Let L(m, n, k) = Sum_{r=0..m} A(m, r) * k^r * (n - k)^r.
%C A300656 Then T(n, k) = L(2, n, k).
%C A300656 Fifth power can be expressed as row sum of triangle T(n, k).
%C A300656 T(n, k) is symmetric: T(n, k) = T(n, n-k). (End)
%H A300656 Kolosov Petro, <a href="/A300656/b300656.txt">Rows n = 0..2078 of triangle, flattened</a>.
%H A300656 Petro Kolosov, <a href="https://arxiv.org/abs/1603.02468">On the link between binomial theorem and discrete convolution</a>, arXiv:1603.02468 [math.NT], 2016-2025.
%H A300656 Petro Kolosov, <a href="https://kolosovpetro.github.io/pdf/PolynomialIdentityInvolvingBTandFaulhaber.pdf">Polynomial identity involving binomial theorem and Faulhaber's formula</a>, 2023.
%H A300656 Petro Kolosov, <a href="https://kolosovpetro.github.io/pdf/HistoryAndOverviewOfPolynomialP.pdf">History and overview of the polynomial P_b^m(x)</a>, 2024.
%F A300656 From _Kolosov Petro_, Apr 12 2020: (Start)
%F A300656 T(n, k) = 30 * k^2 * (n-k)^2 + 1.
%F A300656 T(n, k) = 30 * A094053(n,k)^2 + 1.
%F A300656 T(n, k) = A158558((n-k) * k).
%F A300656 T(n+2, k) = 3*T(n+1, k) - 3*T(n, k) + T(n-1, k), for n >= k.
%F A300656 Sum_{k=1..n} T(n, k) = A000584(n).
%F A300656 Sum_{k=0..n-1} T(n, k) = A000584(n).
%F A300656 Sum_{k=0..n} T(n, k) = A002561(n).
%F A300656 Sum_{k=1..n-1} T(n, k) = A258807(n).
%F A300656 Sum_{k=1..n-1} T(n, k) = -A024003(n), n > 1.
%F A300656 Sum_{k=1..r} T(n, k) = A316349(2,r,0)*n^0 - A316349(2,r,1)*n^1 + A316349(2,r,2)*n^2. (End)
%F A300656 G.f.: (1 + 26*y + 336*y^2 + 326*y^3 + 31*y^4 + x^2*(1 + 116*y + 486*y^2 + 116*y^3 + y^4) + x*(-2 - 82*y - 882*y^2 - 502*y^3 + 28*y^4))/((-1 + x)^3*(-1 + y)^5). - _Stefano Spezia_, Oct 30 2018
%e A300656 Triangle begins:
%e A300656 --------------------------------------------------------------------------
%e A300656 k=    0     1     2      3      4      5      6      7     8     9    10
%e A300656 --------------------------------------------------------------------------
%e A300656 n=0:  1;
%e A300656 n=1:  1,    1;
%e A300656 n=2:  1,   31,    1;
%e A300656 n=3:  1,  121,  121,     1;
%e A300656 n=4:  1,  271,  481,   271,     1;
%e A300656 n=5:  1,  481, 1081,  1081,   481,     1;
%e A300656 n=6:  1,  751, 1921,  2431,  1921,   751,     1;
%e A300656 n=7:  1, 1081, 3001,  4321,  4321,  3001,  1081,     1;
%e A300656 n=8:  1, 1471, 4321,  6751,  7681,  6751,  4321,  1471,    1;
%e A300656 n=9:  1, 1921, 5881,  9721, 12001, 12001,  9721,  5881, 1921,    1;
%e A300656 n=10: 1, 2431, 7681, 13231, 17281, 18751, 17281, 13231, 7681, 2431,   1;
%p A300656 a:=(n,k)->30*k^2*(n-k)^2+1: seq(seq(a(n,k),k=0..n),n=0..9); # _Muniru A Asiru_, Oct 24 2018
%t A300656 T[n_, k_] := 30 k^2 (n - k)^2 + 1; Column[
%t A300656 Table[T[n, k], {n, 0, 10}, {k, 0, n}], Center] (* _Kolosov Petro_, Apr 12 2020 *)
%t A300656 f[n_]:=Table[SeriesCoefficient[(1 + 26 y + 336 y^2 + 326 y^3 + 31 y^4 + x^2 (1 + 116 y + 486 y^2 + 116 y^3 + y^4) + x (-2 - 82 y - 882 y^2 - 502 y^3 + 28 y^4))/((-1 + x)^3 (-1 + y)^5), {x, 0, i}, {y, 0, j}], {i, n, n}, {j, 0, n}]; Flatten[Array[f, 11, 0]] (* _Stefano Spezia_, Oct 30 2018 *)
%o A300656 (PARI) t(n, k) = 30*k^2*(n-k)^2+1
%o A300656 trianglerows(n) = for(x=0, n-1, for(y=0, x, print1(t(x, y), ", ")); print(""))
%o A300656 /* Print initial 9 rows of triangle as follows */ trianglerows(9)
%o A300656 (GAP) T:=Flat(List([0..9],n->List([0..n],k->30*k^2*(n-k)^2+1))); # _Muniru A Asiru_, Oct 24 2018
%o A300656 (Magma) [[30*k^2*(n-k)^2+1: k in [0..n]]: n in [0..12]]; // _G. C. Greubel_, Dec 14 2018
%o A300656 (Sage) [[30*k^2*(n-k)^2+1 for k in range(n+1)] for n in range(12)] # _G. C. Greubel_, Dec 14 2018
%Y A300656 Various cases of L(m, n, k): A287326(m=1), This sequence (m=2), A300785(m=3). See comments for L(m, n, k).
%Y A300656 Row sums give the nonzero terms of A002561.
%Y A300656 Cf. A000584, A287326, A007318, A077028, A294317, A068236, A302971, A304042, A002561, A258807, A158558, A094053, A024003, A316349.
%K A300656 nonn,tabl,easy
%O A300656 0,5
%A A300656 _Kolosov Petro_, Mar 10 2018