we prove an analogous identity involving the Fibonacci number system:
which holds for all integers n >= 0, d >= 0,
where En+d stands for Fn+d
(the n+d:th Fibonacci number) if n is even,
and Ln+d (the n+d:th Lucas number)
if n is odd.
The paper is available on Fibonacci Quarterly's site as a
PDF-version of the final published copy
and locally (a slightly earlier version) in the following formats: