Induction Proof - show 2^n = sum of nCi (i = 0 to n)

Click For Summary

Homework Help Overview

The problem involves proving the equation 2^n = Ʃ(nCi) for i from 0 to n using mathematical induction and a combinatorial argument. The original poster has shown the base case and is working on the inductive step.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the inductive proof structure, including the base case and the assumption. There is mention of expanding binomial coefficients and attempts to relate them to the original equation. Some participants express confusion about the algebraic manipulation required to complete the proof.

Discussion Status

The discussion is ongoing, with participants seeking hints and guidance on how to proceed with the algebra without using the binomial theorem. There is recognition of the connection to Pascal's triangle, but clarity on how to apply it in this context is still being sought.

Contextual Notes

Participants note that the professor has explicitly requested not to use the binomial theorem for the proof, which adds a constraint to their approaches. There is also a reference to the definition of nCk as n!/(n-k)!k!, indicating a potential avenue for exploration.

lveenis
Messages
12
Reaction score
0

Homework Statement


Hi everyone,
In my assignment I've been asked to show that 2^n = Ʃ(nCi) i from 0 -> n
ie: 2^n = nC0 + nC1 + ... + nCn and I have to do this by induction and then also by a combinatorial argument.


Homework Equations


Right now I'm just working on the induction part.
BASE CASE: n = 0
ASSUME: 2^n = ƩnCi
PROVE: 2^(n+1) = Ʃ(n+1)Ci

The Attempt at a Solution


I've shown the base case, 2^0 = 1 and 0C0 = 1
Then I assumed that 2^k = ƩkCi (i from 0->k)

Now I've expanded (n+1)Ci = (n+1)C0 + (n+1)C1 +... + (n+1)C(n+1)
I know there must be a way to do this simply using algebra but I'm totally stumped.

I tried saying that 2^k+1 = 2(2^k) which we know from the assumption to be 2*(ƩkCi) but that doesn't seem to help me out.

If anyone could give me a hint which direction to go with the algebra I would really appreciate it!
 
Physics news on Phys.org
lveenis said:

Homework Statement


Hi everyone,
In my assignment I've been asked to show that 2^n = Ʃ(nCi) i from 0 -> n
ie: 2^n = nC0 + nC1 + ... + nCn and I have to do this by induction and then also by a combinatorial argument.


Homework Equations


Right now I'm just working on the induction part.
BASE CASE: n = 0
ASSUME: 2^n = ƩnCi
PROVE: 2^(n+1) = Ʃ(n+1)Ci

The Attempt at a Solution


I've shown the base case, 2^0 = 1 and 0C0 = 1
Then I assumed that 2^k = ƩkCi (i from 0->k)

Now I've expanded (n+1)Ci = (n+1)C0 + (n+1)C1 +... + (n+1)C(n+1)
I know there must be a way to do this simply using algebra but I'm totally stumped.

I tried saying that 2^k+1 = 2(2^k) which we know from the assumption to be 2*(ƩkCi) but that doesn't seem to help me out.

If anyone could give me a hint which direction to go with the algebra I would really appreciate it!

Look up Pascal's triangle http://en.wikipedia.org/wiki/Pascal's_triangle (yes, I'm serious!).

RGV
 
I'm still having some trouble with how the algebra works here :(. I know how to show it using the binomial theorem, but our prof explicitly asks us to prove it without using the binomial theorem. Is there a way to do it using the definition of nCk = n!/(n-k)!k! ?? I tried re-writing the sum of (k+1)Ci as (k+1)!/(k+1-i)!i! .. is this a good approach?
 
lveenis said:
I'm still having some trouble with how the algebra works here :(. I know how to show it using the binomial theorem, but our prof explicitly asks us to prove it without using the binomial theorem. Is there a way to do it using the definition of nCk = n!/(n-k)!k! ?? I tried re-writing the sum of (k+1)Ci as (k+1)!/(k+1-i)!i! .. is this a good approach?

Did you read my previous response?

RGV
 
I did yes, my prof was also actually talking about Pascal's triangle in class. I'm just having trouble relating the two I think. Their examples seem to focus around the binomial theorem.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K
Replies
6
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K