editing
approved
editing
approved
a(n) = [(3/2)+(1/2)*sqrt(5)]^n+(2/5)*[(3/2)+(1/2)*sqrt(5)]^n*sqrt(5)-(2/5)*[(3/2)-(1/2)*sqrt(5)]^n *sqrt(5)+[(3/2)-(1/2)*sqrt(5)]^n, with n>=0. [Paolo P. Lava, Nov 20 2008]
approved
editing
(MAGMAMagma) [Fibonacci(2*n+3): n in [0..40]]; // Vincenzo Librandi, Jul 12 2015
editing
approved
Boothby, T.; Burkert, J.; Eichwald, M.; Ernst, D. C.; Green, R. M.; Macauley, M. <a href="https://doi.org/10.1007/s10801-011-0327-z">On the cyclically fully commutative elements of Coxeter groups</a>, J. Algebr. Comb. 36, No. 1, 123-148 (2012), Section 5.1
a(n) = FibA000045(2n+3). a(n) = 3a(n-1) - a(n-2).
a(n) = 2*A001906(n+1)-A001906(n). - R. J. Mathar, Jun 11 2019
approved
editing
editing
approved
Mohammad K. Azarian, <a href="http://www.m-hikari.com/ijcms/ijcms-2012/37-40-2012/azarianIJCMS37-40-2012.pdf">Fibonacci Identities as Binomial Sums</a>, International Journal of Contemporary Mathematical Sciences, Vol. 7, No. 38, 2012, pp. 1871-1876 (See Corollary 1 (ix)).
approved
editing
editing
approved
Shalosh B. Ekhad, N. J. A. Sloane and Doron Zeilberger, Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences, Preprint, 2016.
approved
editing
reviewed
approved