Products and sum of cubes in Fibonacci












5












$begingroup$


Consider the familiar sequence of Fibonacci numbers: $F_0=0, F_1=1, F_n=F_{n-1}+F_{n-2}$.



Although it is rather easy to furnish an algebraic verification of the below identity, I wish to see a different approach. Hence,




QUESTION. Is there a combinatorial or more conceptual reason for this "pretty" identity?
$$F_nF_{n-1}F_{n-2}=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}3.$$




Caveat. I'm open to as many alternative replies, of course.



Remark. The motivation comes as follows. Define $F_n!=F_1cdots F_n$ and $F_0!=1$. Further, $binom{n}k_F:=frac{F_n!}{F_k!cdot F_{n-k}!}$. Then, I was studying these coefficients and was lead to
$$binom{n}3_F=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}{3!}.$$






nt.number-theory reference-request co.combinatorics elementary-proofs combinatorial-identities







share|cite|improve this question











$endgroup$












  • $begingroup$
    I get a different left hand side. Rewrite the n+2 term as the sum of n+1 and n terms, and then compute the difference of cubes and divide by three. Algebraically you get the product of the n term and the n+1 term and (the sum of n+1 and n terms). This seems to have more to do with (a+b)^n - a^n - b^n than with Fibonacci. Gerhard "Unsure Of Any Combinatorial Interpretation" Paseman, 2019.03.26.
    $endgroup$
    – Gerhard Paseman
    16 hours ago












  • $begingroup$
    Thanks, edited accordingly.
    $endgroup$
    – T. Amdeberhan
    16 hours ago






  • 5




    $begingroup$
    $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$. If $a,b$ are consecutive Fibonacci numbers then $a+b$ is the next.
    $endgroup$
    – Noam D. Elkies
    15 hours ago
















5












$begingroup$


Consider the familiar sequence of Fibonacci numbers: $F_0=0, F_1=1, F_n=F_{n-1}+F_{n-2}$.



Although it is rather easy to furnish an algebraic verification of the below identity, I wish to see a different approach. Hence,




QUESTION. Is there a combinatorial or more conceptual reason for this "pretty" identity?
$$F_nF_{n-1}F_{n-2}=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}3.$$




Caveat. I'm open to as many alternative replies, of course.



Remark. The motivation comes as follows. Define $F_n!=F_1cdots F_n$ and $F_0!=1$. Further, $binom{n}k_F:=frac{F_n!}{F_k!cdot F_{n-k}!}$. Then, I was studying these coefficients and was lead to
$$binom{n}3_F=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}{3!}.$$






nt.number-theory reference-request co.combinatorics elementary-proofs combinatorial-identities







share|cite|improve this question











$endgroup$












  • $begingroup$
    I get a different left hand side. Rewrite the n+2 term as the sum of n+1 and n terms, and then compute the difference of cubes and divide by three. Algebraically you get the product of the n term and the n+1 term and (the sum of n+1 and n terms). This seems to have more to do with (a+b)^n - a^n - b^n than with Fibonacci. Gerhard "Unsure Of Any Combinatorial Interpretation" Paseman, 2019.03.26.
    $endgroup$
    – Gerhard Paseman
    16 hours ago












  • $begingroup$
    Thanks, edited accordingly.
    $endgroup$
    – T. Amdeberhan
    16 hours ago






  • 5




    $begingroup$
    $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$. If $a,b$ are consecutive Fibonacci numbers then $a+b$ is the next.
    $endgroup$
    – Noam D. Elkies
    15 hours ago














5












5








5


2



$begingroup$


Consider the familiar sequence of Fibonacci numbers: $F_0=0, F_1=1, F_n=F_{n-1}+F_{n-2}$.



Although it is rather easy to furnish an algebraic verification of the below identity, I wish to see a different approach. Hence,




QUESTION. Is there a combinatorial or more conceptual reason for this "pretty" identity?
$$F_nF_{n-1}F_{n-2}=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}3.$$




Caveat. I'm open to as many alternative replies, of course.



Remark. The motivation comes as follows. Define $F_n!=F_1cdots F_n$ and $F_0!=1$. Further, $binom{n}k_F:=frac{F_n!}{F_k!cdot F_{n-k}!}$. Then, I was studying these coefficients and was lead to
$$binom{n}3_F=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}{3!}.$$






nt.number-theory reference-request co.combinatorics elementary-proofs combinatorial-identities







share|cite|improve this question











$endgroup$




Consider the familiar sequence of Fibonacci numbers: $F_0=0, F_1=1, F_n=F_{n-1}+F_{n-2}$.



Although it is rather easy to furnish an algebraic verification of the below identity, I wish to see a different approach. Hence,




QUESTION. Is there a combinatorial or more conceptual reason for this "pretty" identity?
$$F_nF_{n-1}F_{n-2}=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}3.$$




Caveat. I'm open to as many alternative replies, of course.



Remark. The motivation comes as follows. Define $F_n!=F_1cdots F_n$ and $F_0!=1$. Further, $binom{n}k_F:=frac{F_n!}{F_k!cdot F_{n-k}!}$. Then, I was studying these coefficients and was lead to
$$binom{n}3_F=frac{F_n^3-F_{n-1}^3-F_{n-2}^3}{3!}.$$






nt.number-theory reference-request co.combinatorics elementary-proofs combinatorial-identities




nt.number-theory reference-request co.combinatorics elementary-proofs combinatorial-identities






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 16 hours ago







T. Amdeberhan

















asked 17 hours ago









T. AmdeberhanT. Amdeberhan

18k229131




18k229131












  • $begingroup$
    I get a different left hand side. Rewrite the n+2 term as the sum of n+1 and n terms, and then compute the difference of cubes and divide by three. Algebraically you get the product of the n term and the n+1 term and (the sum of n+1 and n terms). This seems to have more to do with (a+b)^n - a^n - b^n than with Fibonacci. Gerhard "Unsure Of Any Combinatorial Interpretation" Paseman, 2019.03.26.
    $endgroup$
    – Gerhard Paseman
    16 hours ago












  • $begingroup$
    Thanks, edited accordingly.
    $endgroup$
    – T. Amdeberhan
    16 hours ago






  • 5




    $begingroup$
    $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$. If $a,b$ are consecutive Fibonacci numbers then $a+b$ is the next.
    $endgroup$
    – Noam D. Elkies
    15 hours ago


















  • $begingroup$
    I get a different left hand side. Rewrite the n+2 term as the sum of n+1 and n terms, and then compute the difference of cubes and divide by three. Algebraically you get the product of the n term and the n+1 term and (the sum of n+1 and n terms). This seems to have more to do with (a+b)^n - a^n - b^n than with Fibonacci. Gerhard "Unsure Of Any Combinatorial Interpretation" Paseman, 2019.03.26.
    $endgroup$
    – Gerhard Paseman
    16 hours ago












  • $begingroup$
    Thanks, edited accordingly.
    $endgroup$
    – T. Amdeberhan
    16 hours ago






  • 5




    $begingroup$
    $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$. If $a,b$ are consecutive Fibonacci numbers then $a+b$ is the next.
    $endgroup$
    – Noam D. Elkies
    15 hours ago
















$begingroup$
I get a different left hand side. Rewrite the n+2 term as the sum of n+1 and n terms, and then compute the difference of cubes and divide by three. Algebraically you get the product of the n term and the n+1 term and (the sum of n+1 and n terms). This seems to have more to do with (a+b)^n - a^n - b^n than with Fibonacci. Gerhard "Unsure Of Any Combinatorial Interpretation" Paseman, 2019.03.26.
$endgroup$
– Gerhard Paseman
16 hours ago






$begingroup$
I get a different left hand side. Rewrite the n+2 term as the sum of n+1 and n terms, and then compute the difference of cubes and divide by three. Algebraically you get the product of the n term and the n+1 term and (the sum of n+1 and n terms). This seems to have more to do with (a+b)^n - a^n - b^n than with Fibonacci. Gerhard "Unsure Of Any Combinatorial Interpretation" Paseman, 2019.03.26.
$endgroup$
– Gerhard Paseman
16 hours ago














$begingroup$
Thanks, edited accordingly.
$endgroup$
– T. Amdeberhan
16 hours ago




$begingroup$
Thanks, edited accordingly.
$endgroup$
– T. Amdeberhan
16 hours ago




5




5




$begingroup$
$(a+b)^3 - a^3 - b^3 = 3ab(a+b)$. If $a,b$ are consecutive Fibonacci numbers then $a+b$ is the next.
$endgroup$
– Noam D. Elkies
15 hours ago




$begingroup$
$(a+b)^3 - a^3 - b^3 = 3ab(a+b)$. If $a,b$ are consecutive Fibonacci numbers then $a+b$ is the next.
$endgroup$
– Noam D. Elkies
15 hours ago










2 Answers
2






active

oldest

votes


















10












$begingroup$

$F_n$ is the number of compositions (ordered partitions) of $n-1$ into
parts equal to 1 or 2. The number of triples $(a,b,c)$ of such
compositions is $F_n^3$. The number such that $a,b,c$ all begin with 1
is $F_{n-1}^3$. The number such that $a,b,c$ all begin with 2 is
$F_{n-2}^3$. Otherwise either one of $a,b,c$ begins with 1 and the
others begin with 2, or vice versa. There are $3F_{n-1}F_{n-2}^2$ such
triples of the first type. Similarly there are $3F_{n-1}^2F_{n-2}$
of the second type, i.e., one of
$a,b,c$ begins with 2 and the others begin with 1. Hence
begin{eqnarray*} F_n^3 & = & F_{n-1}^3 + F_{n-2}^3
+3(F_{n-1}^2F_{n-2}+F_{n-1}F_{n-2}^2)\ & = &
F_{n-1}^3 + F_{n-2}^3 +3F_{n-1}F_{n-2}(F_{n-1}+F_{n-2})\ & = &
F_{n-1}^3 + F_{n-2}^3 + F_nF_{n-1}F_{n-2}. end{eqnarray*}






share|cite|improve this answer









$endgroup$









  • 2




    $begingroup$
    With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
    $endgroup$
    – Lucia
    11 hours ago






  • 3




    $begingroup$
    If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
    $endgroup$
    – Richard Stanley
    11 hours ago






  • 6




    $begingroup$
    The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
    $endgroup$
    – Noam D. Elkies
    11 hours ago



















9












$begingroup$

This is just the following identity:
$$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).$$ Since $$F_n+(-F_{n-1})+(-F_{n-2})=0,$$ your formula follows.






share|cite|improve this answer









$endgroup$









  • 7




    $begingroup$
    Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
    $endgroup$
    – Noam D. Elkies
    15 hours ago











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%2f326414%2fproducts-and-sum-of-cubes-in-fibonacci%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









10












$begingroup$

$F_n$ is the number of compositions (ordered partitions) of $n-1$ into
parts equal to 1 or 2. The number of triples $(a,b,c)$ of such
compositions is $F_n^3$. The number such that $a,b,c$ all begin with 1
is $F_{n-1}^3$. The number such that $a,b,c$ all begin with 2 is
$F_{n-2}^3$. Otherwise either one of $a,b,c$ begins with 1 and the
others begin with 2, or vice versa. There are $3F_{n-1}F_{n-2}^2$ such
triples of the first type. Similarly there are $3F_{n-1}^2F_{n-2}$
of the second type, i.e., one of
$a,b,c$ begins with 2 and the others begin with 1. Hence
begin{eqnarray*} F_n^3 & = & F_{n-1}^3 + F_{n-2}^3
+3(F_{n-1}^2F_{n-2}+F_{n-1}F_{n-2}^2)\ & = &
F_{n-1}^3 + F_{n-2}^3 +3F_{n-1}F_{n-2}(F_{n-1}+F_{n-2})\ & = &
F_{n-1}^3 + F_{n-2}^3 + F_nF_{n-1}F_{n-2}. end{eqnarray*}






share|cite|improve this answer









$endgroup$









  • 2




    $begingroup$
    With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
    $endgroup$
    – Lucia
    11 hours ago






  • 3




    $begingroup$
    If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
    $endgroup$
    – Richard Stanley
    11 hours ago






  • 6




    $begingroup$
    The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
    $endgroup$
    – Noam D. Elkies
    11 hours ago
















10












$begingroup$

$F_n$ is the number of compositions (ordered partitions) of $n-1$ into
parts equal to 1 or 2. The number of triples $(a,b,c)$ of such
compositions is $F_n^3$. The number such that $a,b,c$ all begin with 1
is $F_{n-1}^3$. The number such that $a,b,c$ all begin with 2 is
$F_{n-2}^3$. Otherwise either one of $a,b,c$ begins with 1 and the
others begin with 2, or vice versa. There are $3F_{n-1}F_{n-2}^2$ such
triples of the first type. Similarly there are $3F_{n-1}^2F_{n-2}$
of the second type, i.e., one of
$a,b,c$ begins with 2 and the others begin with 1. Hence
begin{eqnarray*} F_n^3 & = & F_{n-1}^3 + F_{n-2}^3
+3(F_{n-1}^2F_{n-2}+F_{n-1}F_{n-2}^2)\ & = &
F_{n-1}^3 + F_{n-2}^3 +3F_{n-1}F_{n-2}(F_{n-1}+F_{n-2})\ & = &
F_{n-1}^3 + F_{n-2}^3 + F_nF_{n-1}F_{n-2}. end{eqnarray*}






share|cite|improve this answer









$endgroup$









  • 2




    $begingroup$
    With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
    $endgroup$
    – Lucia
    11 hours ago






  • 3




    $begingroup$
    If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
    $endgroup$
    – Richard Stanley
    11 hours ago






  • 6




    $begingroup$
    The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
    $endgroup$
    – Noam D. Elkies
    11 hours ago














10












10








10





$begingroup$

$F_n$ is the number of compositions (ordered partitions) of $n-1$ into
parts equal to 1 or 2. The number of triples $(a,b,c)$ of such
compositions is $F_n^3$. The number such that $a,b,c$ all begin with 1
is $F_{n-1}^3$. The number such that $a,b,c$ all begin with 2 is
$F_{n-2}^3$. Otherwise either one of $a,b,c$ begins with 1 and the
others begin with 2, or vice versa. There are $3F_{n-1}F_{n-2}^2$ such
triples of the first type. Similarly there are $3F_{n-1}^2F_{n-2}$
of the second type, i.e., one of
$a,b,c$ begins with 2 and the others begin with 1. Hence
begin{eqnarray*} F_n^3 & = & F_{n-1}^3 + F_{n-2}^3
+3(F_{n-1}^2F_{n-2}+F_{n-1}F_{n-2}^2)\ & = &
F_{n-1}^3 + F_{n-2}^3 +3F_{n-1}F_{n-2}(F_{n-1}+F_{n-2})\ & = &
F_{n-1}^3 + F_{n-2}^3 + F_nF_{n-1}F_{n-2}. end{eqnarray*}






share|cite|improve this answer









$endgroup$



$F_n$ is the number of compositions (ordered partitions) of $n-1$ into
parts equal to 1 or 2. The number of triples $(a,b,c)$ of such
compositions is $F_n^3$. The number such that $a,b,c$ all begin with 1
is $F_{n-1}^3$. The number such that $a,b,c$ all begin with 2 is
$F_{n-2}^3$. Otherwise either one of $a,b,c$ begins with 1 and the
others begin with 2, or vice versa. There are $3F_{n-1}F_{n-2}^2$ such
triples of the first type. Similarly there are $3F_{n-1}^2F_{n-2}$
of the second type, i.e., one of
$a,b,c$ begins with 2 and the others begin with 1. Hence
begin{eqnarray*} F_n^3 & = & F_{n-1}^3 + F_{n-2}^3
+3(F_{n-1}^2F_{n-2}+F_{n-1}F_{n-2}^2)\ & = &
F_{n-1}^3 + F_{n-2}^3 +3F_{n-1}F_{n-2}(F_{n-1}+F_{n-2})\ & = &
F_{n-1}^3 + F_{n-2}^3 + F_nF_{n-1}F_{n-2}. end{eqnarray*}







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 11 hours ago









Richard StanleyRichard Stanley

29.1k9115190




29.1k9115190








  • 2




    $begingroup$
    With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
    $endgroup$
    – Lucia
    11 hours ago






  • 3




    $begingroup$
    If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
    $endgroup$
    – Richard Stanley
    11 hours ago






  • 6




    $begingroup$
    The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
    $endgroup$
    – Noam D. Elkies
    11 hours ago














  • 2




    $begingroup$
    With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
    $endgroup$
    – Lucia
    11 hours ago






  • 3




    $begingroup$
    If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
    $endgroup$
    – Richard Stanley
    11 hours ago






  • 6




    $begingroup$
    The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
    $endgroup$
    – Noam D. Elkies
    11 hours ago








2




2




$begingroup$
With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
$endgroup$
– Lucia
11 hours ago




$begingroup$
With the greatest respect, and mostly out of curiosity, would you really prefer such a bijective proof to the algebra in e.g. Elkies's comment?
$endgroup$
– Lucia
11 hours ago




3




3




$begingroup$
If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
$endgroup$
– Richard Stanley
11 hours ago




$begingroup$
If it's simply a matter of proving the identity, then I prefer Elkies. If you want to understand it combinatorially, then a bijective proof is better.
$endgroup$
– Richard Stanley
11 hours ago




6




6




$begingroup$
The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
$endgroup$
– Noam D. Elkies
11 hours ago




$begingroup$
The OP specified a desire for "combinatorial" or "conceptual" explanations. But the distinction between combinatorics and algebra is blurry here. You have to choose one ball from each of three urns, each containing $a$ amaranth and $b$ blue balls. How many choices don't have all three balls the same color? On the one hand, $(a+b)^3-a^3-b^3$. On the other, choose any cyclic permutation of (amaranth, blue, either) to get $3ab(a+b)$.
$endgroup$
– Noam D. Elkies
11 hours ago











9












$begingroup$

This is just the following identity:
$$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).$$ Since $$F_n+(-F_{n-1})+(-F_{n-2})=0,$$ your formula follows.






share|cite|improve this answer









$endgroup$









  • 7




    $begingroup$
    Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
    $endgroup$
    – Noam D. Elkies
    15 hours ago
















9












$begingroup$

This is just the following identity:
$$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).$$ Since $$F_n+(-F_{n-1})+(-F_{n-2})=0,$$ your formula follows.






share|cite|improve this answer









$endgroup$









  • 7




    $begingroup$
    Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
    $endgroup$
    – Noam D. Elkies
    15 hours ago














9












9








9





$begingroup$

This is just the following identity:
$$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).$$ Since $$F_n+(-F_{n-1})+(-F_{n-2})=0,$$ your formula follows.






share|cite|improve this answer









$endgroup$



This is just the following identity:
$$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).$$ Since $$F_n+(-F_{n-1})+(-F_{n-2})=0,$$ your formula follows.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 15 hours ago









Cherng-tiao PerngCherng-tiao Perng

720147




720147








  • 7




    $begingroup$
    Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
    $endgroup$
    – Noam D. Elkies
    15 hours ago














  • 7




    $begingroup$
    Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
    $endgroup$
    – Noam D. Elkies
    15 hours ago








7




7




$begingroup$
Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
$endgroup$
– Noam D. Elkies
15 hours ago




$begingroup$
Simpler yet: since $F_n = F_{n-1} + F_{n+2}$ it's enough to use the two-variable identity $(a+b)^3 - a^3 - b^3 = 3ab(a+b)$ which is a quick consequence of the binomial expansion of $(a+b)^3$.
$endgroup$
– Noam D. Elkies
15 hours ago


















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%2f326414%2fproducts-and-sum-of-cubes-in-fibonacci%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

He _____ here since 1970 . Answer needed [closed]What does “since he was so high” mean?Meaning of “catch birds for”?How do I ensure “since” takes the meaning I want?“Who cares here” meaningWhat does “right round toward” mean?the time tense (had now been detected)What does the phrase “ring around the roses” mean here?Correct usage of “visited upon”Meaning of “foiled rail sabotage bid”It was the third time I had gone to Rome or It is the third time I had been to Rome

Image
Engineer refusing to file/disclose patents Extending the spectral theorem for bounded self adjoint operators to bounded normal operators Do varchar(max), nvarchar(max) and varbinary(max) columns affect select queries? Why is it that I can sometimes guess the next note? What linear sensor for a keyboard? Why don’t women say שלא עשני גויה and שפחה, according to Ashkenazim? Did arcade monitors have same pixel aspect ratio as TV sets? anything or something to eat Query about absorption line spectra Can I use my Chinese passport to enter China after I acquired another citizenship? Fuse symbol on toroidal transformer Create all possible words using a set or letters Does the Mind Blank spell prevent the target from being frightened? Can I sign legal documents with a smiley face? When quoting, must I also copy hyphens used to divide words that continue on the next line? Hot bath for aluminium engine block and heads Journal losing indexing services Is it possib
Read more

Bunad

Image
Tradisjonelle folkedrakter frå Aust-Telemark, truleg frå 1880-åra. Drakter som dette er grunnlaget for moderne bunadar. Foto: Axel Lindahl Bunad frå Eggedal i Buskerud fotografert i 1906. Bunad (frå kledebunad , der norrønt «búnaðr» har same rot som (føre)bu) er ei samnemning brukt om klesdrakter i tradisjonell nordisk stil — ofte utvikla frå folkedrakter, men likevel i ein eigen tradisjon. Ein bunad er typisk ei forseggjort og kostbar drakt, med mykje broderi, og med handsmidde smykke i gull eller sølv, særleg dei særeigne søljene, som obligatorisk prynad i tillegg. Bunad og bunadbruk er eit debattemne med mange ulike oppfatningar, til dømes om kva som er ein bunad, og om ein kan endra på utforminga av draktene eller ikkje. Den norske bunadrørsla går tilbake til folkedansrørsla og føregangsfolk som Hulda Garborg og Klara Semb. I dag blir bunad brukt som nasjonaldrakt. Festbunad er likestilt med galla-antrekk, og ofte nytta ved særskilde høve, som konfirmasjonar eller d
Read more

Færeyskur hestur Heimild | Tengill | Tilvísanir | LeiðsagnarvalRossið - síða um færeyska hrossið á færeyskuGott ár hjá færeyska hestinum

Image
FæreyjarHestar færeyskahjaltlandshestinumíslenski hesturinnBretlandskolanámumenskuWikipediafæreyskuWikipediaRossið - síða um færeyska hrossið á færeysku Færeyskur hestur Úr Wikipediu, frjálsa alfræðiritinu Jump to navigation Jump to search Rani og Grani. Grani í vetrarfeldi. Færeyski hesturinn (færeyska: Føroyska rossið ) er hestur sem hefur lifað í Færeyjum í hundruði ára. Hann er smágerður, 120-132 cm á hæð, og helst skyldur hjaltlandshestinum. Hlutverk hans var að draga vagna og plóg og bera klyfjar. Hann hefur fjórar gangtegundir eins og íslenski hesturinn (þar með talið tölt) og er með fjölda litaafbrigði. Nú til dags er hann notaður til frístunda. Í lok 19. aldar voru til um 800 hross. Mörg þeirra voru seld til Bretlands til að vinna í kolanámum og um 1960 voru aðeins nokkrir hestar eftir. Átak var gert í að varðveita hestinn og eru nú til 70-80 hross í Færeyjum. [1] Heimild |   Wikimedia Commons er með margmiðlunarefni sem te
Read more