This is an extended comment rather than an answer
ClearAll[f];
Using RSolve
RSolve[
{f[n] == f[n - 1] + f[n - 2], f[0] == 0, f[1] == 1},
f[n], n]
(* {{f[n] -> Fibonacci[n]}} *)
The Fibonacci
function is
Fibonacci[n] // FunctionExpand
(* ((1/2 (1 + Sqrt[5]))^n - (2/(1 + Sqrt[5]))^n Cos[n π])/Sqrt[5] *)
Looking at the expression for GoldenRatio
GoldenRatio // FunctionExpand
(* 1/2 (1 + Sqrt[5]) *)
Then
Fibonacci[n] == (GoldenRatio^n - GoldenRatio^-n Cos[n Pi])/Sqrt[5]
// FunctionExpand
(* True *)
The recursive definition of the sequence for both positive and negative n
is
f[0] = 0;
f[1] = 1;
f[n_?Positive] := f[n] = f[n - 1] + f[n - 2];
f[n_?Negative] := f[n] = f[n + 2] - f[n + 1];
Demonstrating that the sequence lies on the Plot
of the Fibonacci
function
Plot[Fibonacci[n], {n, -5.2, 5.2},
Epilog -> {Red, AbsolutePointSize[6],
Point[{#, f[#]} & /@ Range[-5, 5]]}]