A022099 -id:A022099 - cp's OEIS frontend

A101220 a(n) = Sum_{k=0..n} Fibonacci(n-k)*n^k.

0, 1, 3, 14, 91, 820, 9650, 140601, 2440317, 49109632, 1123595495, 28792920872, 816742025772, 25402428294801, 859492240650847, 31427791175659690, 1234928473553777403, 51893300561135516404, 2322083099525697299278

Offset: 0

Ross La Haye, Dec 14 2004

In what follows a(i,j,k) denotes a three-dimensional array, the terms a(n) are defined as a(n,n,n) in that array. - Joerg Arndt, Jan 03 2021
Previous name was: Three-dimensional array: a(i,j,k) = expansion of x*(1 + (i-j)*x)/((1-j*x)*(1-x-x^2)), read by a(n,n,n).
a(i,j,k) = the k-th value of the convolution of the Fibonacci numbers (A000045) with the powers of i = Sum_{m=0..k} a(i-1,j,m), both for i = j and i > 0; a(i,j,k) = a(i-1,j,k) + a(j,j,k-1), for i,k > 0; a(i,1,k) = Sum_{m=0..k} a(i-1,0,m), for i > 0. With F = Fibonacci and L = Lucas, then a(1,1,k) = F(k+2) - 1; a(2,1,k) = F(k+3) - 2; a(3,1,k) = L(k+2) - 3; a(4,1,k) = 4*F(k+1) + F(k) - 4; a(1,2,k) = 2^k - F(k+1); a(2,2,k) = 2^(k+1) - F(k+3); a(3,2,k) = 3(2^k - F(k+2)) + F(k); a(4,2,k) = 2^(k+2) - F(k+4) - F(k+2); a(1,3,k) = (3^k + L(k-1))/5, for k > 0; a(2,3,k) = (2 * 3^k - L(k)) /5, for k > 0; a(3,3,k) = (3^(k+1) - L(k+2))/5; a(4,3,k) = (4 * 3^k - L(k+2) - L(k+1))/5, etc..

			a(1,3,3) = 6 because a(1,3,0) = 0, a(1,3,1) = 1, a(1,3,2) = 2 and 4*2 - 2*1 - 3*0 = 6.

G. C. Greubel, Table of n, a(n) for n = 0..385
Eric Weisstein's World of Mathematics, Fibonacci Number
Eric Weisstein's World of Mathematics, Lucas Number

a(0, j, k) = A000045(k).
a(1, 2, k+1) - a(1, 2, k) = A099036(k).
a(3, 2, k+1) - a(3, 2, k) = A104004(k).
a(4, 2, k+1) - a(4, 2, k) = A027973(k).
a(1, 3, k+1) - a(1, 3, k) = A099159(k).
a(i, 0, k) = A109754(i, k).
a(i, i+1, 3) = A002522(i+1).
a(i, i+1, 4) = A071568(i+1).
a(2^i-2, 0, k+1) = A118654(i, k), for i > 0.
Sequences of the form a(n, 0, k): A000045(k+1) (n=1), A000032(k) (n=2), A000285(k-1) (n=3), A022095(k-1) (n=4), A022096(k-1) (n=5), A022097(k-1) (n=6), A022098(k-1) (n=7), A022099(k-1) (n=8), A022100(k-1) (n=9), A022101(k-1) (n=10), A022102(k-1) (n=11), A022103(k-1) (n=12), A022104(k-1) (n=13), A022105(k-1) (n=14), A022106(k-1) (n=15), A022107(k-1) (n=16), A022108(k-1) (n=17), A022109(k-1) (n=18), A022110(k-1) (n=19), A088209(k-2) (n=k-2), A007502(k) (n=k-1), A094588(k) (n=k).
Sequences of the form a(1, n, k): A000071(k+2) (n=1), A027934(k-1) (n=2), A098703(k) (n=3).
Sequences of the form a(2, n, k): A001911(k) (n=1), A008466(k+1) (n=2), A106517(k-1) (n=3).
Sequences of the form a(3, n, k): A027961(k) (n=1), A094688(k) (n=3).
Sequences of the form a(4, n, k): A053311(k-1) (n=1), A027974(k-1) (n=2).
Cf. A001622, A001891, A001924, A023537, A104161, A106517.

A101220:= func< n | (&+[n^k*Fibonacci(n-k): k in [0..n]]) >;
[A101220(n): n in [0..30]]; // G. C. Greubel, Jun 01 2025

Join[{0}, Table[Sum[Fibonacci[n-k]*n^k, {k, 0, n}], {n, 1, 20}]] (* Vaclav Kotesovec, Jan 03 2021 *)

a(n)=sum(k=0,n,fibonacci(n-k)*n^k) \\ Joerg Arndt, Jan 03 2021

def A101220(n): return sum(n^k*fibonacci(n-k) for k in range(n+1))
print([A101220(n) for n in range(31)]) # G. C. Greubel, Jun 01 2025

a(i, j, 0) = 0, a(i, j, 1) = 1, a(i, j, 2) = i+1; a(i, j, k) = ((j+1)*a(i, j, k-1)) - ((j-1)*a(i, j, k-2)) - (j*a(i, j, k-3)), for k > 2.
a(i, j, k) = Fibonacci(k) + i*a(j, j, k-1), for i, k > 0.
a(i, j, k) = (Phi^k - (-Phi)^-k + i(((j^k - Phi^k) / (j - Phi)) - ((j^k - (-Phi)^-k) / (j - (-Phi)^-1)))) / sqrt(5), where Phi denotes the golden mean/ratio (A001622).
i^k = a(i-1, i, k) + a(i-2, i, k+1).
A104161(k) = Sum_{m=0..k} a(k-m, 0, m).
a(i, j, 0) = 0, a(i, j, 1) = 1, a(i, j, 2) = i+1, a(i, j, 3) = i*(j+1) + 2; a(i, j, k) = (j+2)*a(i, j, k-1) - 2*j*a(i, j, k-2) - a(i, j, k-3) + j*a(i, j, k-4), for k > 3. a(i, j, 0) = 0, a(i, j, 1) = 1; a(i, j, k) = a(i, j, k-1) + a(i, j, k-2) + i * j^(k-2), for k > 1.
G.f.: x*(1 + (i-j)*x)/((1-j*x)*(1-x-x^2)).
a(n, n, n) = Sum_{k=0..n} Fibonacci(n-k) * n^k. - Ross La Haye, Jan 14 2006
Sum_{m=0..k} binomial(k,m)*(i-1)^m = a(i-1,i,k) + a(i-2,i,k+1), for i > 1. - Ross La Haye, May 29 2006
From Ross La Haye, Jun 03 2006: (Start)
a(3, 3, k+1) - a(3, 3, k) = A106517(k).
a(1, 1, k) = A001924(k) - A001924(k-1), for k > 0.
a(2, 1, k) = A001891(k) - A001891(k-1), for k > 0.
a(3, 1, k) = A023537(k) - A023537(k-1), for k > 0.
Sum_{j=0..i+1} a(i-j+1, 0, j) - Sum_{j=0..i} a(i-j, 0, j) = A001595(i). (End)
a(i,j,k) = a(j,j,k) + (i-j)*a(j,j,k-1), for k > 0.
a(n) ~ n^(n-1). - Vaclav Kotesovec, Jan 03 2021

New name from Joerg Arndt, Jan 03 2021

A109754 Matrix defined by: a(i,0) = 0, a(i,j) = i*Fibonacci(j-1) + Fibonacci(j), for j > 0; read by ascending antidiagonals.

Original entry on oeis.org

0, 0, 1, 0, 1, 1, 0, 1, 2, 2, 0, 1, 3, 3, 3, 0, 1, 4, 4, 5, 5, 0, 1, 5, 5, 7, 8, 8, 0, 1, 6, 6, 9, 11, 13, 13, 0, 1, 7, 7, 11, 14, 18, 21, 21, 0, 1, 8, 8, 13, 17, 23, 29, 34, 34, 0, 1, 9, 9, 15, 20, 28, 37, 47, 55, 55, 0, 1, 10, 10, 17, 23, 33, 45, 60, 76, 89, 89

Offset: 0

Ross La Haye, Aug 11 2005; corrected Apr 14 2006

Lower triangular version is at A117501. - Ross La Haye, Apr 12 2006

			Table starts:
[0] 0, 1,  1,  2,  3,  5,  8, 13,  21,  34, ...
[1] 0, 1,  2,  3,  5,  8, 13, 21,  34,  55, ...
[2] 0, 1,  3,  4,  7, 11, 18, 29,  47,  76, ...
[3] 0, 1,  4,  5,  9, 14, 23, 37,  60,  97, ...
[4] 0, 1,  5,  6, 11, 17, 28, 45,  73, 118, ...
[5] 0, 1,  6,  7, 13, 20, 33, 53,  86, 139, ...
[6] 0, 1,  7,  8, 15, 23, 38, 61,  99, 160, ...
[7] 0, 1,  8,  9, 17, 26, 43, 69, 112, 181, ...
[8] 0, 1,  9, 10, 19, 29, 48, 77, 125, 202, ...
[9] 0, 1, 10, 11, 21, 32, 53, 85, 138, 223, ...

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened

Rows: A000045(j); A000045(j+1), for j > 0; A000032(j), for j > 0; A000285(j-1), for j > 0; A022095(j-1), for j > 0; A022096(j-1), for j > 0; A022097(j-1), for j > 0. Diagonals: a(i, i) = A094588(i); a(i, i+1) = A007502(i+1); a(i, i+2) = A088209(i); Sum[a(i-j, j), {j=0...i}] = A104161(i). a(i, j) = A101220(i, 0, j).
Rows 7 - 19: A022098(j-1), for j > 0; A022099(j-1), for j > 0; A022100(j-1), for j > 0; A022101(j-1), for j > 0; A022102(j-1), for j > 0; A022103(j-1), for j > 0; A022104(j-1), for j > 0; A022106(j-1), for j > 0; A022107(j-1), for j > 0; A022108(j-1), for j > 0; A022109(j-1), for j > 0; A022110(j-1), for j > 0.
a(2^i-2, j+1) = A118654(i, j), for i > 0.
Cf. A117501.

A := (n, k) -> ifelse(k = 0, 0,
      n*combinat:-fibonacci(k-1) + combinat:-fibonacci(k)):
seq(seq(A(n - k, k), k = 0..n), n = 0..6); # Peter Luschny, May 28 2022

T[n_, 0]:= 0; T[n_, 1]:= 1; T[n_, 2]:= n - 1; T[n_, 3]:= n - 1; T[n_, n_]:= Fibonacci[n]; T[n_, k_]:= T[n, k] = T[n - 1, k - 1] + T[n - 2, k - 2]; Table[T[n, k], {n, 0, 15}, {k, 0, n}] (* G. C. Greubel, Jan 07 2017 *)

a(i, 0) = 0, a(i, j) = i*Fibonacci(j-1) + Fibonacci(j), for j > 0.
a(i, 0) = 0, a(i, 1) = 1, a(i, 2) = i+1, a(i, j) = a(i, j-1) + a(i, j-2), for j > 2.
G.f.: (x*(1 + ix))/(1 - x - x^2).
Sum_{j=0..i+1} a(i-j+1, j) - Sum_{j=0..i} a(i-j, j) = A001595(i). - Ross La Haye, Jun 03 2006

More terms from G. C. Greubel, Jan 07 2017

A093644 (9,1) Pascal triangle.

Original entry on oeis.org

1, 9, 1, 9, 10, 1, 9, 19, 11, 1, 9, 28, 30, 12, 1, 9, 37, 58, 42, 13, 1, 9, 46, 95, 100, 55, 14, 1, 9, 55, 141, 195, 155, 69, 15, 1, 9, 64, 196, 336, 350, 224, 84, 16, 1, 9, 73, 260, 532, 686, 574, 308, 100, 17, 1, 9, 82, 333, 792, 1218, 1260, 882, 408, 117, 18, 1, 9, 91, 415

Offset: 0

Wolfdieter Lang, Apr 22 2004

The array F(9;n,m) gives in the columns m>=1 the figurate numbers based on A017173, including the 11-gonal numbers A051682 (see the W. Lang link).
This is the ninth member, d=9, in the family of triangles of figurate numbers, called (d,1) Pascal triangles: A007318 (Pascal), A029653, A093560-5, for d=1..8.
This is an example of a Riordan triangle (see A093560 for a comment and A053121 for a comment and the 1991 Shapiro et al. reference on the Riordan group). Therefore the o.g.f. for the row polynomials p(n,x) := Sum_{m=0..n} a(n,m)*x^m is G(z,x) = (1+8*z)/(1-(1+x)*z).
The SW-NE diagonals give A022099(n-1) = Sum_{k=0..ceiling((n-1)/2)} a(n-1-k,k), n >= 1, with n=0 value 8. Observation by Paul Barry, Apr 29 2004. Proof via recursion relations and comparison of inputs.
Triangle T(n,k), read by rows, given by (9,-8,0,0,0,0,0,0,0,...) DELTA (1,0,0,0,0,0,0,0,...) where DELTA is the operator defined in A084938. - Philippe Deléham, Oct 10 2011

			Triangle begins
  [1];
  [9,  1];
  [9, 10,  1];
  [9, 19, 11,  1];
  ...

Kurt Hawlitschek, Johann Faulhaber 1580-1635, Veroeffentlichung der Stadtbibliothek Ulm, Band 18, Ulm, Germany, 1995, Ch. 2.1.4. Figurierte Zahlen.
Ivo Schneider: Johannes Faulhaber 1580-1635, Birkhäuser, Basel, Boston, Berlin, 1993, ch.5, pp. 109-122.

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened
Wolfdieter Lang, First 10 rows and array of figurate numbers .

Row sums: A020714(n-1), n >= 1, 1 for n=0, alternating row sums are 1 for n=0, 8 for n=2 and 0 otherwise.
The column sequences give for m=1..9: A017173, A051682 (11-gonal), A007586, A051798, A051879, A050405, A052206, A056117, A056003.
Cf. A093645 (d=10).

a093644 n k = a093644_tabl !! n !! k
a093644_row n = a093644_tabl !! n
a093644_tabl = [1] : iterate
               (\row -> zipWith (+) ([0] ++ row) (row ++ [0])) [9, 1]
-- Reinhard Zumkeller, Aug 31 2014

Join[{1},Table[Binomial[n,k]+8Binomial[n-1,k],{n,20},{k,0,n}]//Flatten] (* Harvey P. Dale, Aug 17 2024 *)

a(n, m) = F(9;n-m, m) for 0 <= m <= n, otherwise 0, with F(9;0, 0)=1, F(9;n, 0)=9 if n >= 1 and F(9;n, m):=(9*n+m)*binomial(n+m-1, m-1)/m if m >= 1.
Recursion: a(n, m)=0 if m > n, a(0, 0)= 1; a(n, 0)=9 if n >= 1; a(n, m) = a(n-1, m) + a(n-1, m-1).
G.f. column m (without leading zeros): (1+8*x)/(1-x)^(m+1), m >= 0.
T(n, k) = C(n, k) + 8*C(n-1, k). - Philippe Deléham, Aug 28 2005
Row n: Expansion of (9+x)*(1+x)^(n-1), n > 0. - Philippe Deléham, Oct 10 2011
exp(x) * e.g.f. for row n = e.g.f. for diagonal n. For example, for n = 3 we have exp(x)*(9 + 19*x + 11*x^2/2! + x^3/3!) = 9 + 28*x + 58*x^2/2! + 100*x^3/3! + 155*x^4/4! + .... The same property holds more generally for Riordan arrays of the form ( f(x), x/(1 - x) ). - Peter Bala, Dec 22 2014
G.f.: (-1-8*x)/(-1+x+x*y). - R. J. Mathar, Aug 11 2015

A352744 Array read by ascending antidiagonals. Generalized Fibonacci numbers F(n, k) = (psi^k(phi - n) - phi^k(psi - n)) / (phi - psi) where phi = (1 + sqrt(5))/2 and psi = (1 - sqrt(5))/2. F(n, k) for n >= 0 and k >= 0.

Original entry on oeis.org

1, 1, 0, 1, 1, 1, 1, 2, 2, 1, 1, 3, 3, 3, 2, 1, 4, 4, 5, 5, 3, 1, 5, 5, 7, 8, 8, 5, 1, 6, 6, 9, 11, 13, 13, 8, 1, 7, 7, 11, 14, 18, 21, 21, 13, 1, 8, 8, 13, 17, 23, 29, 34, 34, 21, 1, 9, 9, 15, 20, 28, 37, 47, 55, 55, 34, 1, 10, 10, 17, 23, 33, 45, 60, 76, 89, 89, 55

Offset: 0

Peter Luschny, Apr 01 2022

The definition declares the Fibonacci numbers for all integers n and k. An alternative version is A353595.
The identity F(n, k) = (-1)^k*F(1 - n, -k) holds for all integers n, k. Proof:
     F(n, k)*(2+phi) = (phi^k*(n*phi + 1) - (-phi)^(-k)*((n-1)*phi - 1))
                     = (-1)^k*(phi^(-k)*((1-n)*phi+1) - (-phi)^k*(-n*phi-1))
                     = (-1)^k*F(1-n, -k)*(2+phi).
This identity can be seen as an extension of Cassini's theorem of 1680 and of an identity given by Graham, Knuth and Patashnik in 'Concrete Mathematics' (6.106 and 6.107). The beginning of the full array with arguments in Z x Z can be found in the linked note.
The enumeration is the result of the simple form of the chosen definition. The classical positive Fibonacci numbers starting with 1, 1, 2, 3,... are in row n = 1 with offset 0. The nonnegative Fibonacci numbers starting 0, 1, 1, 2, 3,... are in row 0 with offset 1. They prolong towards -infinity with an index shifted by 1 compared to the enumeration used by Knuth. A characteristic of our enumeration is F(n, 0) = 1 for all integer n.
Fibonacci numbers vanish only for (n,k) in {(-1,2), (0,1), (1,-1), (2,-2)}. The zeros correspond to the identities (phi + 1)*psi^2 = (psi + 1)*phi^2, psi*phi = phi*psi, (phi - 1)*phi = (psi - 1)*psi and (phi - 2)*phi^2 = (psi - 2)*psi^2.
For divisibility properties see A352747.
For any fixed k, the sequence F(n, k) is a linear function of n. In other words, an arithmetic progression. This implies that F(n+1, k) = 2*F(n, k) - F(n-1, k) for all n in Z. Special case of this is Fibonacci(n+1) = 2 *Fibonacci(n) - Fibonacci(n-2). - Michael Somos, May 08 2022

			Array starts:
n\k 0, 1,  2,  3,  4,  5,  6,   7,   8,   9, ...
---------------------------------------------------------
[0] 1, 0,  1,  1,  2,  3,  5,   8,  13,  21, ... A212804
[1] 1, 1,  2,  3,  5,  8, 13,  21,  34,  55, ... A000045 (shifted once)
[2] 1, 2,  3,  5,  8, 13, 21,  34,  55,  89, ... A000045 (shifted twice)
[3] 1, 3,  4,  7, 11, 18, 29,  47,  76, 123, ... A000032 (shifted once)
[4] 1, 4,  5,  9, 14, 23, 37,  60,  97, 157, ... A000285
[5] 1, 5,  6, 11, 17, 28, 45,  73, 118, 191, ... A022095
[6] 1, 6,  7, 13, 20, 33, 53,  86, 139, 225, ... A022096
[7] 1, 7,  8, 15, 23, 38, 61,  99, 160, 259, ... A022097
[8] 1, 8,  9, 17, 26, 43, 69, 112, 181, 293, ... A022098
[9] 1, 9, 10, 19, 29, 48, 77, 125, 202, 327, ... A022099

R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 1990, sec. 6.6.
Donald Ervin Knuth, The Art of Computer Programming, Third Edition, Vol. 1, Fundamental Algorithms. Chapter 1.2.8 Fibonacci Numbers. Addison-Wesley, Reading, MA, 1997.

Alexander Bogomolny, Cassini's Identity.
Edsger W. Dijkstra, In honour of Fibonacci, in: F. L. Bauer, M. Broy, & E. W. Dijkstra (editors), Program Construction, 1979, Lecture Notes in Computer Science, Vol. 69.
Peter Luschny, The Fibonacci Function.

Rows: A212804, A000045, A000032, A000285, A022095, A022096, A022097, A022098, A022099.
Columns: A000012, A001477, A000027, A005408, A016789, A016885, A004770.
Diagonals: A088209 (main), A007502, A066982 (antidiagonal sums).
Cf. A352747, A353595 (alternative version), A354265 (generalized Lucas numbers).
Similar arrays based on the Catalan and the Bell numbers are A352680 and A352682.

# Time complexity is O(lg n).
function fibrec(n::Int)
    n == 0 && return (BigInt(0), BigInt(1))
    a, b = fibrec(div(n, 2))
    c = a * (b * 2 - a)
    d = a * a + b * b
    iseven(n) ? (c, d) : (d, c + d)
end
function Fibonacci(n::Int, k::Int)
    k == 0 && return BigInt(1)
    k  < 0 && return (-1)^k*Fibonacci(1 - n, -k)
    a, b = fibrec(k - 1)
    a + b*n
end
for n in -6:6
    println([Fibonacci(n, k) for k in -6:6])
end

f := n -> combinat:-fibonacci(n + 1): F := (n, k) -> (n-1)*f(k-1) + f(k):
seq(seq(F(n-k, k), k = 0..n), n = 0..9);
# The next implementation is for illustration only but is not recommended
# as it relies on floating point arithmetic.
phi := (1 + sqrt(5))/2: psi := (1 - sqrt(5))/2:
F := (n, k) -> (psi^k*(phi - n) - phi^k*(psi - n)) / (phi - psi):
for n from -6 to 6 do lprint(seq(simplify(F(n, k)), k = -6..6)) od;

Table[LinearRecurrence[{1, 1}, {1, n}, 10], {n, 0, 9}] // TableForm
F[ n_, k_] := (MatrixPower[{{0, 1}, {1, 1}}, k].{{1}, {n}})[[1, 1]]; (* Michael Somos, May 08 2022 *)
c := Pi/2 - I*ArcSinh[1/2]; (* Based on a remark from Bill Gosper. *)
F[n_, k_] := 2 (I (n-1) Sin[k c] + Sin[(k+1) c]) / (I^k Sqrt[5]);
Table[Simplify[F[n, k]], {n, -6, 6}, {k, -6, 6}] // TableForm (* Peter Luschny, May 10 2022 *)

F(n, k) = ([0, 1; 1, 1]^k*[1; n])[1, 1]

{F(n, k) = n*fibonacci(k) + fibonacci(k-1)}; /* Michael Somos, May 08 2022 */

F(n, k) = F(n, k-1) + F(n, k-2) for k >= 2, otherwise 1, n for k = 0, 1.
F(n, k) = (n-1)*f(k-1) + f(k) where f(n) = A000045(n+1), the Fibonacci numbers starting with f(0) = 1.
F(n, k) = ((phi^k*(n*phi + 1) - (-phi)^(-k)*((n - 1)*phi - 1)))/(2 + phi).
F(n, k) = [x^k] (1 + (n - 1)*x)/(1 - x - x^2) for k >= 0.
F(k, n) = [x^k] (F(0, n) + F(0, n-1)*x)/(1 - x)^2 for k >= 0.
F(n, k) = (k!/sqrt(5))*[x^k] ((n-psi)*exp(phi*x) - (n-phi)*exp(psi*x)) for k >= 0.
F(n, k) - F(n-1, k) = sign(k)^(n-1)*f(k) for all n, k in Z, where A000045 is extended to negative integers by f(-n) = (-1)^(n-1)*f(n) (CMath 6.107). - Peter Luschny, May 09 2022
F(n, k) = 2*((n-1)*i*sin(k*c) + sin((k+1)*c))/(i^k*sqrt(5)) where c = Pi/2 - i*arcsinh(1/2), for all n, k in Z. Based on a remark from Bill Gosper. - Peter Luschny, May 10 2022

A353595 Array read by ascending antidiagonals. Generalized Fibonacci numbers F(n, k) = (psi^(k - 1)(phi + n) - phi^(k - 1)(psi + n)) / (psi - phi) where phi = (1+sqrt(5))/2 and psi = (1-sqrt(5))/2. F(n, k) for n >= 0 and k >= 0.

Original entry on oeis.org

0, 1, 1, 2, 1, 1, 3, 1, 2, 2, 4, 1, 3, 3, 3, 5, 1, 4, 4, 5, 5, 6, 1, 5, 5, 7, 8, 8, 7, 1, 6, 6, 9, 11, 13, 13, 8, 1, 7, 7, 11, 14, 18, 21, 21, 9, 1, 8, 8, 13, 17, 23, 29, 34, 34, 10, 1, 9, 9, 15, 20, 28, 37, 47, 55, 55, 11, 1, 10, 10, 17, 23, 33, 45, 60, 76, 89, 89

Offset: 0

Peter Luschny, May 09 2022

The definition declares the Fibonacci numbers for all integers n and k. It gives the classical Fibonacci numbers as F(0, n) = A000045(n). A different enumeration is given in A352744.

			Array starts:
n\k 0, 1,  2,  3,  4,  5,  6,   7,   8,   9, ...
--------------------------------------------------------
[0]  0, 1,  1,  2,  3,  5,  8, 13,  21,  34, ... A000045
[1]  1, 1,  2,  3,  5,  8, 13, 21,  34,  55, ... A000045 (shifted once)
[2]  2, 1,  3,  4,  7, 11, 18, 29,  47,  76, ... A000032
[3]  3, 1,  4,  5,  9, 14, 23, 37,  60,  97, ... A104449
[4]  4, 1,  5,  6, 11, 17, 28, 45,  73, 118, ... [4] + A022095
[5]  5, 1,  6,  7, 13, 20, 33, 53,  86, 139, ... [5] + A022096
[6]  6, 1,  7,  8, 15, 23, 38, 61,  99, 160, ... [6] + A022097
[7]  7, 1,  8,  9, 17, 26, 43, 69, 112, 181, ... [7] + A022098
[8]  8, 1,  9, 10, 19, 29, 48, 77, 125, 202, ... [8] + A022099
[9]  9, 1, 10, 11, 21, 32, 53, 85, 138, 223, ... [9] + A022100

Peter Luschny, The Fibonacci Function.
Wikipedia, Cassini and Catalan identities.

Cf. A000045, A000032, A104449, A094588 (main diagonal).

Cf. A352744, A354265 (generalized Lucas numbers).

function fibrec(n::Int)
    n == 0 && return (BigInt(0), BigInt(1))
    a, b = fibrec(div(n, 2))
    c = a * (b * 2 - a)
    d = a * a + b * b
    iseven(n) ? (c, d) : (d, c + d)
end
function Fibonacci(n::Int, k::Int)
    k == 0 && return BigInt(n)
    k == 1 && return BigInt(1)
    k  < 0 && return (-1)^(k-1)*Fibonacci(-n - 1, 2 - k)
    a, b = fibrec(k - 1)
    a*n + b
end
for n in -6:6
    println([n], [Fibonacci(n, k) for k in -6:6])
end

f := n -> combinat:-fibonacci(n): F := (n, k) -> n*f(k - 1) + f(k):
seq(seq(F(n - k, k), k = 0..n), n = 0..11);
# The next implementation is for illustration only but is not recommended
# as it relies on floating point arithmetic. Illustrates the case n,k < 0.
phi := (1 + sqrt(5))/2: psi := (1 - sqrt(5))/2:
F := (n, k) -> (psi^(k-1)*(psi + n) - phi^(k-1)*(phi + n)) / (psi - phi):
for n from -6 to 6 do lprint(seq(simplify(F(n, k)), k = -6..6)) od;

(* Works also for n < 0 and k < 0. Uses a remark from Bill Gosper. *)
c := I*ArcSinh[1/2] - Pi/2;
F[n_, k_] := (n Sin[(k - 1) c] - I Sin[k c]) / (I^k Sqrt[5/4]);
Table[Simplify[F[n, k]], {n, 0, 6}, {k, 0, 6}] // TableForm

Functional equation extends Cassini's theorem:
F(n, k) = (-1)^(k - 1)*F(-n - 1, 2 - k).
F(n, k) = ((1 - phi)^(k - 1)*(1 - phi + n) - phi^(k - 1)*(phi + n))/(1 - 2*phi).
F(n, k) = n*fib(k - 1) + fib(k), where fib(n) are the classical Fibonacci numbers A000045 extended in the usual way for negative n.
F(n, k) - F(n-1, k) = fib(k-1).
F(n, k) = F(n, k-1) + F(n, k-2).
F(n, k) = (n*sin((k - 1)*c) - i*sin(k*c))/(i^k*sqrt(5/4)) where c = i*arcsinh(1/2) - Pi/2, for all n, k in Z. Based on a remark of Bill Gosper.

A022371 Fibonacci sequence beginning 2, 18.

Original entry on oeis.org

2, 18, 20, 38, 58, 96, 154, 250, 404, 654, 1058, 1712, 2770, 4482, 7252, 11734, 18986, 30720, 49706, 80426, 130132, 210558, 340690, 551248, 891938, 1443186, 2335124, 3778310, 6113434, 9891744, 16005178

Offset: 0

N. J. A. Sloane

nonn

G. C. Greubel, Table of n, a(n) for n = 0..1000
Tanya Khovanova, Recursive Sequences
Index entries for linear recurrences with constant coefficients, signature (1, 1).

Cf. A022099.

a={};b=2;c=18;AppendTo[a, b];AppendTo[a, c];Do[b=b+c;AppendTo[a, b];c=b+c;AppendTo[a, c], {n, 4!}];a (* Vladimir Joseph Stephan Orlovsky, Sep 18 2008 *)
Transpose[NestList[{Last[#],Total[#]}&,{2,18},30]][[1]]  (* Harvey P. Dale, Apr 13 2011 *)
LinearRecurrence[{1,1},{2,18},40] (* Harvey P. Dale, Jun 26 2021 *)

for(n=0,50, print1(2*(fibonacci(n+2) + 7*fibonacci(n)), ", ")) \\ G. C. Greubel, Aug 27 2017

G.f.: (2+16*x)/(1-x-x^2). - Philippe Deléham, Nov 19 2008
a(n) = 2*(Fibonacci(n+2) + 7*Fibonacci(n)). - G. C. Greubel, Aug 27 2017
a(n) = 2 * A022099(n). - Alois P. Heinz, Aug 27 2017

A172172 Sums of NW-SE diagonals of triangle A172171.

Original entry on oeis.org

0, 1, 10, 20, 39, 68, 116, 193, 318, 520, 847, 1376, 2232, 3617, 5858, 9484, 15351, 24844, 40204, 65057, 105270, 170336, 275615, 445960, 721584, 1167553, 1889146, 3056708, 4945863, 8002580, 12948452, 20951041, 33899502, 54850552, 88750063, 143600624, 232350696

Offset: 0

Mark Dols, Jan 28 2010

This is the sequence A(0,1;1,1;9) of the family of sequences [a,b:c,d:k] considered by G. Detlefs, and treated as A(a,b;c,d;k) in the W. Lang link given below. - Wolfdieter Lang, Oct 18 2010

Colin Barker, Table of n, a(n) for n = 0..1000
Wolfdieter Lang, Notes on certain inhomogeneous three term recurrences.
Index entries for linear recurrences with constant coefficients, signature (2,0,-1).

Cf. A000032, A000045, A172171.

[Lucas(n+2) +6*Fibonacci(n+1) -9: n in [0..50]]; // G. C. Greubel, Apr 25 2022

CoefficientList[Series[x*(1+8*x)/((1-x)*(1-x-x^2)), {x,0,50}], x] (* G. C. Greubel, Jul 13 2017 *)

concat(0, Vec(x*(1+8*x)/((1-x)*(1-x-x^2)) + O(x^50))) \\ Colin Barker, Jul 13 2017

[fibonacci(n+3) +7*fibonacci(n+1) -9 for n in (0..50)] # G. C. Greubel, Apr 25 2022

a(n) = a(n-1) + a(n-2) + 9 with a(0)=0 and a(1)=1.
From Wolfdieter Lang, Oct 18 2010: (Start)
O.g.f.: x*(1+8*x)/((1-x)*(1-x-x^2)).
a(n) = 2*a(n-1) - a(n-3), a(0)=0, a(1)=1, a(2)=10 (Observation by G. Detlefs).
(End)
a(n+1) - a(n) = A022099(n). - R. J. Mathar, Apr 22 2013
a(n) = -9 + ( (11 + 9*sqrt(5))*(1 + sqrt(5))^n - (11 - 9*sqrt(5))*(1 - sqrt(5))^n )/(2^(n+1)*sqrt(5)). - Colin Barker, Jul 13 2017
a(n) = Fibonacci(n+3) + 7*Fibonacci(n+1) - 9. - G. C. Greubel, Apr 25 2022

Wrong offset 1 changed into 0 Wolfdieter Lang, Oct 18 2010

A022313 a(n) = a(n-1) + a(n-2) + 1, with a(0) = 0 and a(1) = 8.

Original entry on oeis.org

0, 8, 9, 18, 28, 47, 76, 124, 201, 326, 528, 855, 1384, 2240, 3625, 5866, 9492, 15359, 24852, 40212, 65065, 105278, 170344, 275623, 445968, 721592, 1167561, 1889154, 3056716, 4945871, 8002588, 12948460, 20951049, 33899510, 54850560, 88750071, 143600632

Offset: 0

N. J. A. Sloane

nonn

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (2,0,-1).

LinearRecurrence[{2, 0, -1}, {0, 8, 9}, 60] (* Vladimir Joseph Stephan Orlovsky, Feb 11 2012 *)
RecurrenceTable[{a[0]==0,a[1]==8,a[n]==a[n-1]+a[n-2]+1},a,{n,40}] (* Harvey P. Dale, Nov 23 2017 *)

x='x+O('x^50); concat([0], Vec(x*(8-7*x)/( (1-x)*(1-x-x^2) ))) \\ G. C. Greubel, Aug 25 2017

From R. J. Mathar, Apr 07 2011: (Start)
G.f.: x*(8-7*x)/( (1-x)*(1-x-x^2) ).
a(n) = A022099(n) - 1. (End)
a(n) = F(n+2) + 7*F(n) - 1, where F = A000045. - G. C. Greubel, Aug 25 2017

cp's OEIS Frontend

A101220 a(n) = Sum_{k=0..n} Fibonacci(n-k)*n^k.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

PARI

SageMath

Formula

Extensions

A109754 Matrix defined by: a(i,0) = 0, a(i,j) = i*Fibonacci(j-1) + Fibonacci(j), for j > 0; read by ascending antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A093644 (9,1) Pascal triangle.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Mathematica

Formula

A352744 Array read by ascending antidiagonals. Generalized Fibonacci numbers F(n, k) = (psi^k*(phi - n) - phi^k*(psi - n)) / (phi - psi) where phi = (1 + sqrt(5))/2 and psi = (1 - sqrt(5))/2. F(n, k) for n >= 0 and k >= 0.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Julia

Maple

Mathematica

PARI

PARI

Formula

A353595 Array read by ascending antidiagonals. Generalized Fibonacci numbers F(n, k) = (psi^(k - 1)*(phi + n) - phi^(k - 1)*(psi + n)) / (psi - phi) where phi = (1+sqrt(5))/2 and psi = (1-sqrt(5))/2. F(n, k) for n >= 0 and k >= 0.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Julia

Maple

Mathematica

Formula

A022371 Fibonacci sequence beginning 2, 18.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

A352744 Array read by ascending antidiagonals. Generalized Fibonacci numbers F(n, k) = (psi^k(phi - n) - phi^k(psi - n)) / (phi - psi) where phi = (1 + sqrt(5))/2 and psi = (1 - sqrt(5))/2. F(n, k) for n >= 0 and k >= 0.

A353595 Array read by ascending antidiagonals. Generalized Fibonacci numbers F(n, k) = (psi^(k - 1)(phi + n) - phi^(k - 1)(psi + n)) / (psi - phi) where phi = (1+sqrt(5))/2 and psi = (1-sqrt(5))/2. F(n, k) for n >= 0 and k >= 0.