ciąg fibbonacciego rekurencyjnie

[ketnasar77]

Ciąg Fibonacciego zadany jest wzorem rekurencyjnym
\(f_{0}=0, f_{1}=1, f_{n+2}=f_{n+1}+f_{n} \) dla \(n \geq 0\)

Udowodnić, że dla wszystkich \(n \subseteq \mathbb{N}\)
zachodzi wzór
\(\sum_{k=0}^{n} k\cdot f_{k} = n\cdot f_{n+2} - f_{n+3} +2\)

Na razie spróbowałem indukcyjnie i doszedłem do takiego rówanania.
\(
\\
n*f_{n+2}-f_{n+3}+(n+1)*f_{n+1}=(n+1)*f_{n+3}-f_{n+4}
\)

[kerajs]

\(\sum_{k=0}^{n+1} k\cdot f_{k} = (n+1)\cdot f_{n+3} - f_{n+4} +2\)
\(
L=\sum_{k=0}^{n+1} k\cdot f_{k}=\sum_{k=0}^{n} k\cdot f_{k}+(n+1)f_{n+1}=n f_{n+2} - f_{n+3} +2+(n+1)f_{n+1}=\\=(n+1)(f_{n+1}+f_{n+2})-f_{n+2}-f_{n+3}+2=(n+1)f_{n+3} - f_{n+4} +2=P\)

Można też bez indukcji, korzystając ze wzoru Bineta.