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

AI Thread Summary
The discussion focuses on proving the equation 2^n = Σ(nCi) from i = 0 to n using mathematical induction. The base case is established with n = 0, confirming that 2^0 = 1 equals 0C0. The user has assumed the statement holds for n = k and is attempting to prove it for n = k + 1 by expanding (k + 1)Ci. They express difficulty in simplifying the algebra without using the binomial theorem, despite recognizing connections to Pascal's triangle. The conversation emphasizes the need for a combinatorial argument or alternative algebraic manipulation to complete the proof.
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.
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top