Prove for all $nin mathbbN$ that $sum_i=0^n icdot F_2i = (n+1)F_2n + 1 - F_2n + 2$.Showing that an equation holds true with a Fibonacci sequence: $F_n+m = F_n-1F_m + F_n F_m+1$Proof by Induction: Alternating Sum of Fibonacci NumbersFibonacci sequencesQuestion regarding the Fibonacci sequenceFibonacci numeration systemHelp with how to prepare the inductive step of a strong induction exercise.Fibonacci proof question $sum_i=1^nF_i = F_n+2 - 1$Inductively proving a fibonacci numbers statementSeries with inverse Fibonacci productsStrong Inductive proof for inequality using Fibonacci sequence
Customer Requests (Sometimes) Drive Me Bonkers!
Is it appropriate to ask a job candidate if we can record their interview?
Return the Closest Prime Number
Where does the Z80 processor start executing from?
Increase performance creating Mandelbrot set in python
How to Reset Passwords on Multiple Websites Easily?
Would this custom Sorcerer variant that can only learn any verbal-component-only spell be unbalanced?
How can I get through very long and very dry, but also very useful technical documents when learning a new tool?
when is out of tune ok?
How do I extract a value from a time formatted value in excel?
Two monoidal structures and copowering
Do the temporary hit points from the Battlerager barbarian's Reckless Abandon stack if I make multiple attacks on my turn?
Is there a good way to store credentials outside of a password manager?
Large drywall patch supports
System.debug(JSON.Serialize(o)) Not longer shows full string
Purchasing a ticket for someone else in another country?
Lay out the Carpet
Proof of work - lottery approach
How does it work when somebody invests in my business?
How to safely derail a train during transit?
Did Dumbledore lie to Harry about how long he had James Potter's invisibility cloak when he was examining it? If so, why?
What can we do to stop prior company from asking us questions?
Is HostGator storing my password in plaintext?
What is the intuitive meaning of having a linear relationship between the logs of two variables?
Prove for all $nin mathbbN$ that $sum_i=0^n icdot F_2i = (n+1)F_2n + 1 - F_2n + 2$.
Showing that an equation holds true with a Fibonacci sequence: $F_n+m = F_n-1F_m + F_n F_m+1$Proof by Induction: Alternating Sum of Fibonacci NumbersFibonacci sequencesQuestion regarding the Fibonacci sequenceFibonacci numeration systemHelp with how to prepare the inductive step of a strong induction exercise.Fibonacci proof question $sum_i=1^nF_i = F_n+2 - 1$Inductively proving a fibonacci numbers statementSeries with inverse Fibonacci productsStrong Inductive proof for inequality using Fibonacci sequence
$begingroup$
$F_n$ denotes the Fibonacci sequence where $n$ is the term of the Fibonacci number in the sequence. ($F_0=0$, $F_1=1$, $F_2=1$, $F_3=2$, $F_4=3$, ... $F_n=F_n-1 + F_n-2$)
I want to prove this using strong induction and have formulated base cases for when $n=0$ and when $n=1$.
My induction hypothesis is that for all $kin mathbbN$, $kgeq 1$ we can assume that for $k-1$, $sum_i=0^k-1 icdot F_2i = (k)F_2k - 1 - F_2k$ and that for $k$, $sum_i=0^k icdot F_2i = (k + 1)F_2k + 1 - F_2k + 2$.
For my induction step I want to show that for $k+1$, $sum_i=0^k+1 icdot F_2i = (k+2)F_2k + 3 - F_2k + 4$. I've been stuck on the equation below for the past couple of hours trying to figure out how I can derive the equation for $k + 1$.
beginalign*
sum_i=0^k+1 icdot F_2i &= (k + 1)cdot F_2k + 2 + sum_i=0^k icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + sum_i=0^k - 1 icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + (k)F_2k - 1 - F_2k\
endalign*
Any help is appreciated.
discrete-mathematics induction fibonacci-numbers
$endgroup$
add a comment |
$begingroup$
$F_n$ denotes the Fibonacci sequence where $n$ is the term of the Fibonacci number in the sequence. ($F_0=0$, $F_1=1$, $F_2=1$, $F_3=2$, $F_4=3$, ... $F_n=F_n-1 + F_n-2$)
I want to prove this using strong induction and have formulated base cases for when $n=0$ and when $n=1$.
My induction hypothesis is that for all $kin mathbbN$, $kgeq 1$ we can assume that for $k-1$, $sum_i=0^k-1 icdot F_2i = (k)F_2k - 1 - F_2k$ and that for $k$, $sum_i=0^k icdot F_2i = (k + 1)F_2k + 1 - F_2k + 2$.
For my induction step I want to show that for $k+1$, $sum_i=0^k+1 icdot F_2i = (k+2)F_2k + 3 - F_2k + 4$. I've been stuck on the equation below for the past couple of hours trying to figure out how I can derive the equation for $k + 1$.
beginalign*
sum_i=0^k+1 icdot F_2i &= (k + 1)cdot F_2k + 2 + sum_i=0^k icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + sum_i=0^k - 1 icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + (k)F_2k - 1 - F_2k\
endalign*
Any help is appreciated.
discrete-mathematics induction fibonacci-numbers
$endgroup$
add a comment |
$begingroup$
$F_n$ denotes the Fibonacci sequence where $n$ is the term of the Fibonacci number in the sequence. ($F_0=0$, $F_1=1$, $F_2=1$, $F_3=2$, $F_4=3$, ... $F_n=F_n-1 + F_n-2$)
I want to prove this using strong induction and have formulated base cases for when $n=0$ and when $n=1$.
My induction hypothesis is that for all $kin mathbbN$, $kgeq 1$ we can assume that for $k-1$, $sum_i=0^k-1 icdot F_2i = (k)F_2k - 1 - F_2k$ and that for $k$, $sum_i=0^k icdot F_2i = (k + 1)F_2k + 1 - F_2k + 2$.
For my induction step I want to show that for $k+1$, $sum_i=0^k+1 icdot F_2i = (k+2)F_2k + 3 - F_2k + 4$. I've been stuck on the equation below for the past couple of hours trying to figure out how I can derive the equation for $k + 1$.
beginalign*
sum_i=0^k+1 icdot F_2i &= (k + 1)cdot F_2k + 2 + sum_i=0^k icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + sum_i=0^k - 1 icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + (k)F_2k - 1 - F_2k\
endalign*
Any help is appreciated.
discrete-mathematics induction fibonacci-numbers
$endgroup$
$F_n$ denotes the Fibonacci sequence where $n$ is the term of the Fibonacci number in the sequence. ($F_0=0$, $F_1=1$, $F_2=1$, $F_3=2$, $F_4=3$, ... $F_n=F_n-1 + F_n-2$)
I want to prove this using strong induction and have formulated base cases for when $n=0$ and when $n=1$.
My induction hypothesis is that for all $kin mathbbN$, $kgeq 1$ we can assume that for $k-1$, $sum_i=0^k-1 icdot F_2i = (k)F_2k - 1 - F_2k$ and that for $k$, $sum_i=0^k icdot F_2i = (k + 1)F_2k + 1 - F_2k + 2$.
For my induction step I want to show that for $k+1$, $sum_i=0^k+1 icdot F_2i = (k+2)F_2k + 3 - F_2k + 4$. I've been stuck on the equation below for the past couple of hours trying to figure out how I can derive the equation for $k + 1$.
beginalign*
sum_i=0^k+1 icdot F_2i &= (k + 1)cdot F_2k + 2 + sum_i=0^k icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + sum_i=0^k - 1 icdot F_2i\
&= (k + 1)cdot F_2k + 2 + (k + 1)F_2k + 1 - F_2k + 2 + (k)F_2k - 1 - F_2k\
endalign*
Any help is appreciated.
discrete-mathematics induction fibonacci-numbers
discrete-mathematics induction fibonacci-numbers
asked Mar 17 at 22:45
ivyleaf57ivyleaf57
514
514
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
beginalign
sum_i=0^k+1iF_2i&=(k+1)F_2k+2+(k+1)F_2k+1-F_2k+2\
&=kF_2k+2+(k+1)(F_2k+3-F_2k+2)\
&=(k+1)F_2k+3-F_2k+2\
&=(k+1)F_2k+3-(F_2k+4-F_2k+3)\
&=(k+2)F_2k+3-F_2k+4.
endalign
$endgroup$
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
add a comment |
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: "69"
;
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152182%2fprove-for-all-n-in-mathbbn-that-sum-i-0n-i-cdot-f-2i-n1f-2n%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
beginalign
sum_i=0^k+1iF_2i&=(k+1)F_2k+2+(k+1)F_2k+1-F_2k+2\
&=kF_2k+2+(k+1)(F_2k+3-F_2k+2)\
&=(k+1)F_2k+3-F_2k+2\
&=(k+1)F_2k+3-(F_2k+4-F_2k+3)\
&=(k+2)F_2k+3-F_2k+4.
endalign
$endgroup$
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
add a comment |
$begingroup$
beginalign
sum_i=0^k+1iF_2i&=(k+1)F_2k+2+(k+1)F_2k+1-F_2k+2\
&=kF_2k+2+(k+1)(F_2k+3-F_2k+2)\
&=(k+1)F_2k+3-F_2k+2\
&=(k+1)F_2k+3-(F_2k+4-F_2k+3)\
&=(k+2)F_2k+3-F_2k+4.
endalign
$endgroup$
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
add a comment |
$begingroup$
beginalign
sum_i=0^k+1iF_2i&=(k+1)F_2k+2+(k+1)F_2k+1-F_2k+2\
&=kF_2k+2+(k+1)(F_2k+3-F_2k+2)\
&=(k+1)F_2k+3-F_2k+2\
&=(k+1)F_2k+3-(F_2k+4-F_2k+3)\
&=(k+2)F_2k+3-F_2k+4.
endalign
$endgroup$
beginalign
sum_i=0^k+1iF_2i&=(k+1)F_2k+2+(k+1)F_2k+1-F_2k+2\
&=kF_2k+2+(k+1)(F_2k+3-F_2k+2)\
&=(k+1)F_2k+3-F_2k+2\
&=(k+1)F_2k+3-(F_2k+4-F_2k+3)\
&=(k+2)F_2k+3-F_2k+4.
endalign
answered Mar 17 at 22:55
Lord Shark the UnknownLord Shark the Unknown
107k1162135
107k1162135
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
add a comment |
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
$begingroup$
Thanks, It seems like you were able to get the answer using ordinary induction. I was told that whenever you see Fibonacci numbers you should go straight to strong induction. Is there a way to know which you should start with? Or should you always start with ordinary induction and then move to strong induction if you need to assume more?
$endgroup$
– ivyleaf57
Mar 17 at 23:02
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- 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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152182%2fprove-for-all-n-in-mathbbn-that-sum-i-0n-i-cdot-f-2i-n1f-2n%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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