Is this a new Fibonacci Identity? The Next CEO of Stack Overflowfibonacci identity using generating functionPrimality criterion for generalized Fermat numbers similar to the LLT ?Solvable parametric $7$th and $13$th degree equations using $eta(q)/eta(q^p)$?To what extent is it possible to generalise a natural bijection between trees and $7$-tuples of trees, suggested by divergent series?Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphismCan someone explain this appearance of the Fibonacci series in the formula of the Fibonacci series?On the automorphism group of binary quadratic formsFor what (other) families of graphs does the clique-coclique bound hold?Coefficients $U_m(n,k)$ in the identity $n^2m+1=sumlimits_0leq k leq m(-1)^m-kU_m(n,k)cdot n^k$A question on the Faulhaber's formula

Is this a new Fibonacci Identity?



The Next CEO of Stack Overflowfibonacci identity using generating functionPrimality criterion for generalized Fermat numbers similar to the LLT ?Solvable parametric $7$th and $13$th degree equations using $eta(q)/eta(q^p)$?To what extent is it possible to generalise a natural bijection between trees and $7$-tuples of trees, suggested by divergent series?Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphismCan someone explain this appearance of the Fibonacci series in the formula of the Fibonacci series?On the automorphism group of binary quadratic formsFor what (other) families of graphs does the clique-coclique bound hold?Coefficients $U_m(n,k)$ in the identity $n^2m+1=sumlimits_0leq k leq m(-1)^m-kU_m(n,k)cdot n^k$A question on the Faulhaber's formula










5












$begingroup$


I have found the following Fibonacci Identity (and proved it).



If $F_n$ denotes the nth Fibonacci Number, we have the following identity
beginequation
F_n-r+hF_n+k+g+1 - F_n-r+gF_n+k+h+1 = (-1)^n+r+h+1 F_g-hF_k+r+1
endequation

where $F_1 = F_2 = 1$, $r leq n$, $h leq g$, and $n, g, k in mathbbN$.



It is not too hard to show that this identity subsumes Cassini's Identity, Catalan's Identity, Vajda's Idenity, and d'Ocagne's identity to name a few.



I have done a pretty thorough literature review, and I have not found anything like this, but I am still wondering if anyone has seen this identity before? I found this by accident after noticing some patterns in some analysis work I was doing, so if this is already known I would be curious to see what the connections are. Thanks for your patience and input!










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    This can be simplified to $F_a - rF_b + k + 1 - F_b - r F_a + k + 1 = (-1)^a + r + 1 F_b - a F_k + r + 1$, using the substitution $a = n + h, b = n + g$, reducing to 5 variables instead of 6.
    $endgroup$
    – user44191
    3 hours ago










  • $begingroup$
    It doesn't have 6 variables? It has 5: $n, r, k, h, g$.
    $endgroup$
    – Grassi
    3 hours ago






  • 1




    $begingroup$
    Sorry, I meant 4 variables instead of 5. I'm pretty sure this can be reduced by changes of variables (with no Fibonacci arithmetic) to Vajda's identity.
    $endgroup$
    – user44191
    3 hours ago







  • 1




    $begingroup$
    This is a disguised version of Vajda's identity (with minor amounts of arithmetic for powers of $-1$); try doing variable substitutions to see for yourself.
    $endgroup$
    – user44191
    2 hours ago











  • $begingroup$
    Yes, but from what I can tell this is no different than saying Vajda's identity is a disguised version of Catalan's identity. You can't go the other way without adding a variable.
    $endgroup$
    – Grassi
    2 hours ago















5












$begingroup$


I have found the following Fibonacci Identity (and proved it).



If $F_n$ denotes the nth Fibonacci Number, we have the following identity
beginequation
F_n-r+hF_n+k+g+1 - F_n-r+gF_n+k+h+1 = (-1)^n+r+h+1 F_g-hF_k+r+1
endequation

where $F_1 = F_2 = 1$, $r leq n$, $h leq g$, and $n, g, k in mathbbN$.



It is not too hard to show that this identity subsumes Cassini's Identity, Catalan's Identity, Vajda's Idenity, and d'Ocagne's identity to name a few.



I have done a pretty thorough literature review, and I have not found anything like this, but I am still wondering if anyone has seen this identity before? I found this by accident after noticing some patterns in some analysis work I was doing, so if this is already known I would be curious to see what the connections are. Thanks for your patience and input!










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    This can be simplified to $F_a - rF_b + k + 1 - F_b - r F_a + k + 1 = (-1)^a + r + 1 F_b - a F_k + r + 1$, using the substitution $a = n + h, b = n + g$, reducing to 5 variables instead of 6.
    $endgroup$
    – user44191
    3 hours ago










  • $begingroup$
    It doesn't have 6 variables? It has 5: $n, r, k, h, g$.
    $endgroup$
    – Grassi
    3 hours ago






  • 1




    $begingroup$
    Sorry, I meant 4 variables instead of 5. I'm pretty sure this can be reduced by changes of variables (with no Fibonacci arithmetic) to Vajda's identity.
    $endgroup$
    – user44191
    3 hours ago







  • 1




    $begingroup$
    This is a disguised version of Vajda's identity (with minor amounts of arithmetic for powers of $-1$); try doing variable substitutions to see for yourself.
    $endgroup$
    – user44191
    2 hours ago











  • $begingroup$
    Yes, but from what I can tell this is no different than saying Vajda's identity is a disguised version of Catalan's identity. You can't go the other way without adding a variable.
    $endgroup$
    – Grassi
    2 hours ago













5












5








5


1



$begingroup$


I have found the following Fibonacci Identity (and proved it).



If $F_n$ denotes the nth Fibonacci Number, we have the following identity
beginequation
F_n-r+hF_n+k+g+1 - F_n-r+gF_n+k+h+1 = (-1)^n+r+h+1 F_g-hF_k+r+1
endequation

where $F_1 = F_2 = 1$, $r leq n$, $h leq g$, and $n, g, k in mathbbN$.



It is not too hard to show that this identity subsumes Cassini's Identity, Catalan's Identity, Vajda's Idenity, and d'Ocagne's identity to name a few.



I have done a pretty thorough literature review, and I have not found anything like this, but I am still wondering if anyone has seen this identity before? I found this by accident after noticing some patterns in some analysis work I was doing, so if this is already known I would be curious to see what the connections are. Thanks for your patience and input!










share|cite|improve this question









$endgroup$




I have found the following Fibonacci Identity (and proved it).



If $F_n$ denotes the nth Fibonacci Number, we have the following identity
beginequation
F_n-r+hF_n+k+g+1 - F_n-r+gF_n+k+h+1 = (-1)^n+r+h+1 F_g-hF_k+r+1
endequation

where $F_1 = F_2 = 1$, $r leq n$, $h leq g$, and $n, g, k in mathbbN$.



It is not too hard to show that this identity subsumes Cassini's Identity, Catalan's Identity, Vajda's Idenity, and d'Ocagne's identity to name a few.



I have done a pretty thorough literature review, and I have not found anything like this, but I am still wondering if anyone has seen this identity before? I found this by accident after noticing some patterns in some analysis work I was doing, so if this is already known I would be curious to see what the connections are. Thanks for your patience and input!







nt.number-theory co.combinatorics






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 3 hours ago









GrassiGrassi

10626




10626







  • 1




    $begingroup$
    This can be simplified to $F_a - rF_b + k + 1 - F_b - r F_a + k + 1 = (-1)^a + r + 1 F_b - a F_k + r + 1$, using the substitution $a = n + h, b = n + g$, reducing to 5 variables instead of 6.
    $endgroup$
    – user44191
    3 hours ago










  • $begingroup$
    It doesn't have 6 variables? It has 5: $n, r, k, h, g$.
    $endgroup$
    – Grassi
    3 hours ago






  • 1




    $begingroup$
    Sorry, I meant 4 variables instead of 5. I'm pretty sure this can be reduced by changes of variables (with no Fibonacci arithmetic) to Vajda's identity.
    $endgroup$
    – user44191
    3 hours ago







  • 1




    $begingroup$
    This is a disguised version of Vajda's identity (with minor amounts of arithmetic for powers of $-1$); try doing variable substitutions to see for yourself.
    $endgroup$
    – user44191
    2 hours ago











  • $begingroup$
    Yes, but from what I can tell this is no different than saying Vajda's identity is a disguised version of Catalan's identity. You can't go the other way without adding a variable.
    $endgroup$
    – Grassi
    2 hours ago












  • 1




    $begingroup$
    This can be simplified to $F_a - rF_b + k + 1 - F_b - r F_a + k + 1 = (-1)^a + r + 1 F_b - a F_k + r + 1$, using the substitution $a = n + h, b = n + g$, reducing to 5 variables instead of 6.
    $endgroup$
    – user44191
    3 hours ago










  • $begingroup$
    It doesn't have 6 variables? It has 5: $n, r, k, h, g$.
    $endgroup$
    – Grassi
    3 hours ago






  • 1




    $begingroup$
    Sorry, I meant 4 variables instead of 5. I'm pretty sure this can be reduced by changes of variables (with no Fibonacci arithmetic) to Vajda's identity.
    $endgroup$
    – user44191
    3 hours ago







  • 1




    $begingroup$
    This is a disguised version of Vajda's identity (with minor amounts of arithmetic for powers of $-1$); try doing variable substitutions to see for yourself.
    $endgroup$
    – user44191
    2 hours ago











  • $begingroup$
    Yes, but from what I can tell this is no different than saying Vajda's identity is a disguised version of Catalan's identity. You can't go the other way without adding a variable.
    $endgroup$
    – Grassi
    2 hours ago







1




1




$begingroup$
This can be simplified to $F_a - rF_b + k + 1 - F_b - r F_a + k + 1 = (-1)^a + r + 1 F_b - a F_k + r + 1$, using the substitution $a = n + h, b = n + g$, reducing to 5 variables instead of 6.
$endgroup$
– user44191
3 hours ago




$begingroup$
This can be simplified to $F_a - rF_b + k + 1 - F_b - r F_a + k + 1 = (-1)^a + r + 1 F_b - a F_k + r + 1$, using the substitution $a = n + h, b = n + g$, reducing to 5 variables instead of 6.
$endgroup$
– user44191
3 hours ago












$begingroup$
It doesn't have 6 variables? It has 5: $n, r, k, h, g$.
$endgroup$
– Grassi
3 hours ago




$begingroup$
It doesn't have 6 variables? It has 5: $n, r, k, h, g$.
$endgroup$
– Grassi
3 hours ago




1




1




$begingroup$
Sorry, I meant 4 variables instead of 5. I'm pretty sure this can be reduced by changes of variables (with no Fibonacci arithmetic) to Vajda's identity.
$endgroup$
– user44191
3 hours ago





$begingroup$
Sorry, I meant 4 variables instead of 5. I'm pretty sure this can be reduced by changes of variables (with no Fibonacci arithmetic) to Vajda's identity.
$endgroup$
– user44191
3 hours ago





1




1




$begingroup$
This is a disguised version of Vajda's identity (with minor amounts of arithmetic for powers of $-1$); try doing variable substitutions to see for yourself.
$endgroup$
– user44191
2 hours ago





$begingroup$
This is a disguised version of Vajda's identity (with minor amounts of arithmetic for powers of $-1$); try doing variable substitutions to see for yourself.
$endgroup$
– user44191
2 hours ago













$begingroup$
Yes, but from what I can tell this is no different than saying Vajda's identity is a disguised version of Catalan's identity. You can't go the other way without adding a variable.
$endgroup$
– Grassi
2 hours ago




$begingroup$
Yes, but from what I can tell this is no different than saying Vajda's identity is a disguised version of Catalan's identity. You can't go the other way without adding a variable.
$endgroup$
– Grassi
2 hours ago










2 Answers
2






active

oldest

votes


















2












$begingroup$

Here is an expanded comment of user44191. The basic observation is that one can extend $F_n$ to all $nin mathbb Z$ by requiring $F_-n=(-1)^n+1F_n$. Then by Vajda's formula, one has $$F_n'+a'F_n'+b'-F_n'F_n'+a'+b'=(-1)^n'F_a'F_b'=(-1)^n'+a'+1F_-a'F_b',$$ where one uses the extension above in the last equality. Now by the following substitutions, the above identity leads to the one given by user44191: $$n'=b-r,a'=a-b,b'=k+r+1,$$ using the fact that $a-r+1$ is congruent to $a+r+1$ mod $2$.






share|cite|improve this answer









$endgroup$




















    0












    $begingroup$

    "Vajda's identity" is really Tagiuro's identity: A. Tagiuri, Di alcune successioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1900–1901), 1–12.
    See also https://math.stackexchange.com/questions/1356391/is-there-a-name-for-this-fibonacci-identity.






    share|cite|improve this answer









    $endgroup$













      Your Answer





      StackExchange.ifUsing("editor", function ()
      return StackExchange.using("mathjaxEditing", function ()
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      );
      );
      , "mathjax-editing");

      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "504"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader:
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      ,
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );













      draft saved

      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f326922%2fis-this-a-new-fibonacci-identity%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      2












      $begingroup$

      Here is an expanded comment of user44191. The basic observation is that one can extend $F_n$ to all $nin mathbb Z$ by requiring $F_-n=(-1)^n+1F_n$. Then by Vajda's formula, one has $$F_n'+a'F_n'+b'-F_n'F_n'+a'+b'=(-1)^n'F_a'F_b'=(-1)^n'+a'+1F_-a'F_b',$$ where one uses the extension above in the last equality. Now by the following substitutions, the above identity leads to the one given by user44191: $$n'=b-r,a'=a-b,b'=k+r+1,$$ using the fact that $a-r+1$ is congruent to $a+r+1$ mod $2$.






      share|cite|improve this answer









      $endgroup$

















        2












        $begingroup$

        Here is an expanded comment of user44191. The basic observation is that one can extend $F_n$ to all $nin mathbb Z$ by requiring $F_-n=(-1)^n+1F_n$. Then by Vajda's formula, one has $$F_n'+a'F_n'+b'-F_n'F_n'+a'+b'=(-1)^n'F_a'F_b'=(-1)^n'+a'+1F_-a'F_b',$$ where one uses the extension above in the last equality. Now by the following substitutions, the above identity leads to the one given by user44191: $$n'=b-r,a'=a-b,b'=k+r+1,$$ using the fact that $a-r+1$ is congruent to $a+r+1$ mod $2$.






        share|cite|improve this answer









        $endgroup$















          2












          2








          2





          $begingroup$

          Here is an expanded comment of user44191. The basic observation is that one can extend $F_n$ to all $nin mathbb Z$ by requiring $F_-n=(-1)^n+1F_n$. Then by Vajda's formula, one has $$F_n'+a'F_n'+b'-F_n'F_n'+a'+b'=(-1)^n'F_a'F_b'=(-1)^n'+a'+1F_-a'F_b',$$ where one uses the extension above in the last equality. Now by the following substitutions, the above identity leads to the one given by user44191: $$n'=b-r,a'=a-b,b'=k+r+1,$$ using the fact that $a-r+1$ is congruent to $a+r+1$ mod $2$.






          share|cite|improve this answer









          $endgroup$



          Here is an expanded comment of user44191. The basic observation is that one can extend $F_n$ to all $nin mathbb Z$ by requiring $F_-n=(-1)^n+1F_n$. Then by Vajda's formula, one has $$F_n'+a'F_n'+b'-F_n'F_n'+a'+b'=(-1)^n'F_a'F_b'=(-1)^n'+a'+1F_-a'F_b',$$ where one uses the extension above in the last equality. Now by the following substitutions, the above identity leads to the one given by user44191: $$n'=b-r,a'=a-b,b'=k+r+1,$$ using the fact that $a-r+1$ is congruent to $a+r+1$ mod $2$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 1 hour ago









          Cherng-tiao PerngCherng-tiao Perng

          805148




          805148





















              0












              $begingroup$

              "Vajda's identity" is really Tagiuro's identity: A. Tagiuri, Di alcune successioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1900–1901), 1–12.
              See also https://math.stackexchange.com/questions/1356391/is-there-a-name-for-this-fibonacci-identity.






              share|cite|improve this answer









              $endgroup$

















                0












                $begingroup$

                "Vajda's identity" is really Tagiuro's identity: A. Tagiuri, Di alcune successioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1900–1901), 1–12.
                See also https://math.stackexchange.com/questions/1356391/is-there-a-name-for-this-fibonacci-identity.






                share|cite|improve this answer









                $endgroup$















                  0












                  0








                  0





                  $begingroup$

                  "Vajda's identity" is really Tagiuro's identity: A. Tagiuri, Di alcune successioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1900–1901), 1–12.
                  See also https://math.stackexchange.com/questions/1356391/is-there-a-name-for-this-fibonacci-identity.






                  share|cite|improve this answer









                  $endgroup$



                  "Vajda's identity" is really Tagiuro's identity: A. Tagiuri, Di alcune successioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1900–1901), 1–12.
                  See also https://math.stackexchange.com/questions/1356391/is-there-a-name-for-this-fibonacci-identity.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 45 mins ago









                  Ira GesselIra Gessel

                  8,3822642




                  8,3822642



























                      draft saved

                      draft discarded
















































                      Thanks for contributing an answer to MathOverflow!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid


                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.

                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f326922%2fis-this-a-new-fibonacci-identity%23new-answer', 'question_page');

                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Möglingen Índice Localización Historia Demografía Referencias Enlaces externos Menú de navegación48°53′18″N 9°07′45″E / 48.888333333333, 9.129166666666748°53′18″N 9°07′45″E / 48.888333333333, 9.1291666666667Sitio web oficial Mapa de Möglingen«Gemeinden in Deutschland nach Fläche, Bevölkerung und Postleitzahl am 30.09.2016»Möglingen

                      Virtualbox - Configuration error: Querying “UUID” failed (VERR_CFGM_VALUE_NOT_FOUND)“VERR_SUPLIB_WORLD_WRITABLE” error when trying to installing OS in virtualboxVirtual Box Kernel errorFailed to open a seesion for the virtual machineFailed to open a session for the virtual machineUbuntu 14.04 LTS Virtualbox errorcan't use VM VirtualBoxusing virtualboxI can't run Linux-64 Bit on VirtualBoxUnable to insert the virtual optical disk (VBoxguestaddition) in virtual machine for ubuntu server in win 10VirtuaBox in Ubuntu 18.04 Issues with Win10.ISO Installation

                      Torre de la Isleta Índice Véase también Referencias Bibliografía Enlaces externos Menú de navegación38°25′58″N 0°23′02″O / 38.43277778, -0.3838888938°25′58″N 0°23′02″O / 38.43277778, -0.38388889Torre de la Illeta de l’Horta o Torre Saleta. Base de datos de bienes inmuebles. Patrimonio Cultural. Secretaría de Estado de CulturaFicha BIC Torre de la Illeta de l’Horta. Dirección General de Patrimonio Cultural. Generalitat ValencianaLugares de interés. Ayuntamiento del CampelloTorre de la Isleta en CastillosNet.org