|
|
A167374
|
|
Triangle, read by rows, given by [ -1,1,0,0,0,0,0,0,0,...] DELTA [1,0,0,0,0,0,0,0,0,...] where DELTA is the operator defined in A084938.
|
|
17
|
|
|
1, -1, 1, 0, -1, 1, 0, 0, -1, 1, 0, 0, 0, -1, 1, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1
(list;
table;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,1
|
|
COMMENTS
|
Riordan array (1-x,1) read by rows; Riordan inverse is (1/(1-x),1). Columns have g.f. (1-x)x^k. Diagonal sums are A033999. Unsigned version in A097806.
Table T(n,k) read by antidiagonals. T(n,1) = 1, T(n,2) = -1, T(n,k) = 0, k > 2. - Boris Putievskiy, Jan 17 2013
Finite difference operator (pair difference): left multiplication by T of a sequence arranged as a column vector gives a running forward difference, a(k+1)-a(k), or first finite difference (modulo sign), of the elements of the sequence. T^n gives the n-th finite difference (mod sign). T is the inverse of the summation matrix A000012 (regarded as lower triangular matrices). - Tom Copeland, Mar 26 2014
|
|
LINKS
|
|
|
FORMULA
|
Sum_{k, 0<=k<=n} T(n,k)*x^k = A000007(n), A011782(n), A025192(n), A002001(n), A005054(n), A052934(n), A055272(n), A055274(n), A055275(n), A055268(n), A055276(n) for x = 1,2,3,4,5,6,7,8,9,10,11 respectively .
a(n) = floor((i+2)/(t+2))*(-1)^(i+t+1), n > 0, where
i = n - t*(t+1)/2,
t = floor((-1 + sqrt(8*n-7))/2). (End)
|
|
EXAMPLE
|
Triangle begins:
1;
-1, 1;
0, -1, 1;
0, 0, -1, 1;
0, 0, 0, -1, 1;
0, 0, 0, 0, -1, 1; ...
Row number r (r>4) contains (r-2) times '0', then '-1' and '1'.
The start of the sequence as a table:
1 -1 0 0 0 0 0 ...
1 -1 0 0 0 0 0 ...
1 -1 0 0 0 0 0 ...
1 -1 0 0 0 0 0 ...
1 -1 0 0 0 0 0 ...
1 -1 0 0 0 0 0 ...
1 -1 0 0 0 0 0 ...
...
(End)
|
|
MAPLE
|
if k> n or k < n-1 then
0;
elif k = n then
1;
else
-1 ;
end if;
|
|
MATHEMATICA
|
Table[PadLeft[{-1, 1}, n], {n, 13}] // Flatten (* or *)
MapIndexed[Take[#1, First@ #2] &, CoefficientList[Series[(1 - x)/(1 - x y), {x, 0, 12}], {x, y}]] // Flatten (* Michael De Vlieger, Nov 16 2016 *)
T[n_, k_] := If[ k<0 || k>n, 0, Boole[n==k] - Boole[n==k+1]]; (* Michael Somos, Oct 01 2022 *)
|
|
PROG
|
(PARI) {T(n, k) = if( k<0 || k>n, 0, (n==k) - (n==k+1))}; /* Michael Somos, Oct 01 2022 */
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|