Proof by mathematical induction

Click For Summary

Homework Help Overview

The discussion revolves around proving the identity \(\sum_{i=0}^n\binom{n}{i} = 2^n\) using mathematical induction. Participants are exploring the principles of induction and how to apply them to this combinatorial identity.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the initial steps of mathematical induction, including verifying the base case and the inductive step. There is mention of using Pascal's Triangle to relate binomial coefficients, and questions arise about the implications of this relationship for the proof.

Discussion Status

Some participants have provided guidance on the structure of the induction proof, emphasizing the need to establish the base case and the inductive step. Others are questioning how to effectively utilize Pascal's rule in the context of the proof, indicating a mix of understanding and uncertainty about the approach.

Contextual Notes

There is a noted confusion regarding the application of Pascal's rule and its relevance to the original statement. Participants are also grappling with the definitions and assumptions necessary for the proof, particularly concerning the indexing of binomial coefficients.

nuuskur
Science Advisor
Messages
929
Reaction score
1,226
Hello,

I need to prove the following:
[tex]\sum_{i=0}^n\binom{n}{i} = 2^n[/tex]
by using something called mathematical induction. I understand, somewhat, what it is - we propose a statement and show that is true for n=1, then we assume that the statement is true for all [itex]n \in \mathbb{N}[/itex], which should also mean that the statement is true for n+1. This is what I have written down:

[tex]\binom{n+1}{0} + \binom{n+1}{1}+ . . .+ \binom{n+1}{n-1}+ \binom{n+1}{n}+ \binom{n+1}{n+1} = 2^{n+1}[/tex]
which is
[tex]1 + (n+1) + \frac{n(n+1)}{2!}+ . . .+ \frac{n(n+1)}{2!}+ (n+1)+ 1 = 2^{n+1}[/tex]
I can see a symmetry and I thought about calculating half and showing that it equals 2n, but that idea quickly died, since I don't know where the "half point" is in the sum.

What should I do?
Thanks in advance!
 
Last edited:
Physics news on Phys.org
nuuskur said:
Hello,

I need to prove the following:
[tex]\sum_{i=0}^n\binom{n}{i} = 2^n[/tex]
by using something called mathematical induction. I understand, somewhat, what it is - we propose a statement and show that is true for n=1, then we assume that the statement is true for all [itex]n \in \mathbb{N}[/itex], which should also mean that the statement is true for n+1. This is what I have written down:

[tex]\binom{n+1}{0} + \binom{n+1}{1}+ . . .+ \binom{n+1}{n-1}+ \binom{n+1}{n}+ \binom{n+1}{n+1} = 2^{n+1}[/tex]
which is
[tex]1 + (n+1) + \frac{n(n+1)}{2!}+ . . .+ \frac{n(n+1)}{2!}+ (n+1)+ 1 = 2^{n+1}[/tex]
I can see a symmetry and I thought about calculating half and showing that it equals 2n, but that idea quickly died, since I don't know where the "half point" is in the sum.

What should I do?
Thanks in advance!

Given the truth of the statement for ##n=k##, you need to prove it for ##n= k+1##. To do that, you need to know how ##\binom{n+1}{r}## relates to ##\binom{n}{s}##. Use Pascal's Triangle; look it up if you have not heard of it.
 
I looked it up Here and saw the Pascal's rule, according to which I could state that:
[tex]\binom{n+1}{k} = \binom{n}{k-1}+ \binom{n}{k}, n \geq 0 \land k \in [1, n][/tex]
(k can't be zero, right? If it is then nCk-1=ø)

If I plug in k=n I get:
Left side:
[tex]\frac{(n+1)!}{n!}= n+1[/tex]
Right side:
[tex]\frac{n!}{(n-1)!}+ \frac{n!}{n!}= n+1[/tex]
Cannot understand how this helps me come to the conclusion in the first statement(the original assignment). What exactly does that equality show?
 
It doesn't look like you're trying to use induction. The idea between induction is this: Suppose that for each natural number n, P(n) is a statement about n. You can prove that P(n) is true for all n, by proving only two statements:

1. P(0)
2. For all n, if P(n) then P(n+1).

In your case, P(n) is the statement ##\sum_{i=1}^n \binom n i=2^n##. You need to prove P(0), i.e. that ##\sum_{i=0}^0 \binom 0 i =2^0##. This is of course easy. Then you let n be an arbitrary natural number and try to prove that if P(n) then P(n+1). So you have to use ##\sum_{i=0}^n \binom n i =2^n## to prove ##\sum_{i=0}^{n+1}\binom{n+1}{i}=2^{n+1}##.
 
Last edited:

Similar threads

  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
4K
Replies
6
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K