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

Click For Summary
SUMMARY

The discussion centers on proving the equation 2n = Ʃ(nCi) for i from 0 to n using mathematical induction. The base case is established with n = 0, where 20 = 1 and 0C0 = 1. The inductive step involves proving that if 2k = Ʃ(kCi), then 2k+1 = Ʃ(k+1)Ci. Participants suggest using algebraic manipulation and Pascal's triangle to facilitate the proof without relying on the binomial theorem.

PREREQUISITES
  • Understanding of mathematical induction
  • Familiarity with binomial coefficients (nCi)
  • Knowledge of Pascal's triangle
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the properties of binomial coefficients and their relationship to Pascal's triangle
  • Learn how to perform mathematical induction proofs in combinatorics
  • Explore the binomial theorem and its applications in combinatorial proofs
  • Practice algebraic manipulation of sums involving binomial coefficients
USEFUL FOR

Students studying combinatorics, mathematicians interested in induction proofs, and educators teaching mathematical induction and binomial coefficients.

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
3K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
6
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · 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
2K