 Fibonacci addition formula

With the standard Fibonacci numbers $F_0=0$, $F_1=1$, this identity holds for $n\ge 0$, $k\ge 1$. At $k=1$ it is immediate. If it holds for $k$ at every $n$, apply it at $n+1$ and use $F_{n+2}=F_{n+1}+F_n$ to obtain $F_{n+k+1}=F_{k+1}{F}_{n+1}+F_k{F}_n$, proving the assertion by mathematical induction. Taking $k=n$ gives $F_{2n}=F_n(F_{n+1}+F_{n-1})$ for $n\ge 1$, linking the doubling formula to the Lucas numbers.