How Does Series Notation Equal the Highlighted Part in Induction Proof?

Click For Summary

Discussion Overview

The discussion revolves around understanding a specific mathematical induction proof related to series notation, particularly how the summation notation for a series involving powers of 2 transforms into a different expression. Participants are exploring the steps involved in this transformation and the underlying principles of proof by induction.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant expresses confusion about how the series notation Ʃr2^r equals a highlighted expression in an induction proof.
  • Another participant suggests proving the equality by induction, prompting further clarification on the transformation of the summation.
  • Several participants discuss the specific steps in the induction proof, including substituting the assumption for n=k into the formula.
  • A participant requests the entire paragraph from the source to better understand the context of the equalities presented.
  • There is a focus on how to express the summation in a different form, with participants questioning the transition from the expanded series to the compact notation.
  • One participant notes the importance of understanding the proof structure and how to derive the sum without knowing the right-hand side expression initially.
  • Another participant mentions that proving by induction requires knowing the expression to be proven, emphasizing the necessity of the proposition.
  • There are suggestions for finding general formulas for similar series, with one participant recommending trial and error and inspecting terms of the series.

Areas of Agreement / Disagreement

Participants generally agree on the steps involved in the proof by induction but express varying levels of understanding regarding the transformation of the summation notation. The discussion remains unresolved regarding the specific mechanics of the transformation and the derivation of the general formula.

Contextual Notes

Some participants mention that they are new to proof by mathematical induction, indicating a potential gap in foundational knowledge that could affect their understanding of the discussion. There is also a lack of consensus on the best methods to derive expressions for series involving powers.

Who May Find This Useful

This discussion may be useful for students revising mathematical induction, particularly those struggling with series notation and transformations in proofs. It may also benefit individuals looking for insights into deriving summation formulas.

Googl
Messages
111
Reaction score
1
Hi all,

I am so sorry I don't know whether to post this. I am revising Proof by mathematical induction Further maths using an Edexcel FP1 book. The following is from chapter 6 example 3. I know how to work Proof by mathematical induction it is part of the example that I don't understand.

I don't know how the series notation becomes to equal to the highlighted part.

http://www.mathsrev.com/wp-content/uploads/Proof-by-mathematical-induction.png
01.png


The problem here is "r is a power" and I have not meant problems where r is a power and the book does not explain so much about that.

Thanks for the help.
 
Last edited by a moderator:
Physics news on Phys.org
Prove the equality by induction?
 
Sorry you're not helping me try to prove by induction. The image shows part of the work out. I understand how to prove it but I don't understand how the sum notation becomes to equal to the highlighted part.

I don't understand how the author got Ʃr2^r to equal to the highlighted part.

Thanks.
 
Can you post the entire paragraph and not just two equalities? I think I know what's going on now, but I need to see the entire paragraph first.
 
The question is;

Prove by the method of mathematical induction, that;

Ʃ r2r = 2[1 + (n - 1)2n]

n = 1;

LHS = 1(2)1 = 2

RHS = 2[1 + (1-1)20] = 2

Assume that the summation formula is true for n = k.

n = k + 1;

http://www.mathsrev.com/wp-content/uploads/Proof-by-mathematical-induction.png
= 2 + 2(k-1)2k + (k + 1)2k + 1
= 2 + (k - 1)2k + 1 + (k + 1)2k + 1
= 2 + (k - 1 + k + 1)2k + 1
= 2 + 2k2k + 1
= 2(1 + k2k + 1)
= 2[1 + ((k + 1) - 1)2k + 1]

I left out some comments.
 
Last edited by a moderator:
Right, so you assumed the summation formula was true for ##k##. This means that you know that

\sum_{r=1}^k r2^r = 1(2^1) + ... + k2^k = 2(1+(k-1)2^k)

is true. Now you just substitute that in your formula.
 
micromass said:
Right, so you assumed the summation formula was true for ##k##. This means that you know that

\sum_{r=1}^k r2^r = 1(2^1) + ... + k2^k = 2(1+(k-1)2^k)

is true. Now you just substitute that in your formula.

How does it come from;
1(2^1) + ... + k2^k

...to...

2(1+(k-1)2^k)

That is what I don't understand.
 
You want to prove the formula Ʃ r2r = 2[1 + (n - 1)2n].

By induction hypothesis, you assume that the formula is true for n=k.
 
I think I see what you're getting confused at. It's the way this line is written:

∑r2r = 1(21) + 2(22) + 3(23) + ... + k(2k) = 2(1+(k-1)2k)

The far LHS is the original summation you're interested in.

The 'middle side' is just the LHS written out in full.

The far RHS is your assumption. You are assuming that when n=k the original formula for the summation works, so you substitute k into

2(1+(n-1)sn)
 
  • #10
I see your problem; I think it would be clearer to write the first line that you highlighted \sum_{r=1}^{k+1} r2^r = \sum_{r=1}^k r2^r + (k+1)2^{k+1} then it is clear that the next line follows by substitution of the hypothesised summation formula.
 
  • #11
I understand how to prove it.

What I don't understand is this part.

1(2^1) + ... + k2^k = 2(1+(k-1)2^k)

Please explain how this: 1(2^1) + ... + k2^k

... is equal to this: 2(1+(k-1)2^k)

I know there are formulas you can use but I have not used them before for when r is a power of a number.

1(2^1) + ... + k2^k
...there is something missing here between these lines and that is what I am trying to understand.
2(1+(k-1)2^k)

I know how to prove it by mathematical induction
 
  • #12
MrAnchovy said:
I see your problem; I think it would be clearer to write the first line that you highlighted \sum_{r=1}^{k+1} r2^r = \sum_{r=1}^k r2^r + (k+1)2^{k+1} then it is clear that the next line follows by substitution of the hypothesised summation formula.

Thanks. That is what I had not realized. I understand that now.

Is there a way to find the following without knowing the RHS expression? ...because they and you have used the RHS after assuming that n = k.
\sum_{r=1}^{k+1} r2^r

I have only been revising Proof by mathematical induction for two days now so everything is coming together. I have don't know how to find the sum when r is a power as above. Is there some examples that you know online?
 
  • #13
I'm not sure exactly what you mean, but if you are asking whether you can do a proof by induction without knowing what the expression you are trying to prove is, the answer is no. That is why you are always given a proposition to prove.

Don't get hung up about the fact that there are powers in there, just work through the steps: until you have fully grasped the concept of proof by induction you might find it helps to look at this in abstract terms:

  • We are given a proposition ## p(n) ## In this case the proposition is \sum_{r=1}^n f(r) = S(n)
  • We show that if ## p(k) ## is true then ## p(k+1) ## is also true. In this case, we do it thus: \begin{align} \sum_{r=1}^{k+1} f(r) &= \sum_{r=1}^{k} f(r) + f(k+1) \rm{\ \ (by \ \ definition)} \\ &= S(k) + f(k+1) \rm{\ \ (from \ \ the \ \ proposition)} \end{align} We then expand ## S(k) + f(k+1) ## and rearrange terms, showing that this is identical to ## S(k+1) ##. There is no fancy expansion of power series, all this is achieved simply by multiplying out the brackets and noting that ## 2^{k+1} = 2(2^k) ## etc.
  • We show that for some particular ## n = m ##, ## p(m) ## is true.
 
Last edited:
  • Like
Likes   Reactions: 1 person
  • #14
Thanks a lot that helped. On a side note (forgetting the Proof by 'mathematical induction' part) how might you find an expression for the following ie a general formula where k is an integer.

\sum_{r=1}^{k} r2^r

or

\sum_{r=1}^{k} 2^r

I understand the Proof by 'mathematical induction' part now.
 
  • #15
Trial and error. You might start by inspecting a few terms of the series, looking at first and higher order differences and comparing them with expressions that are likely to grow at a similar rate. Try it with ## \sum_{r=1}^{k} 2^r ##, once you get to the 6th term they should start to remind you of something.
 
Last edited:
  • Like
Likes   Reactions: 1 person

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
Replies
32
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K