Proof of Equality: Summation & 2^n

  • Context: Undergrad 
  • Thread starter Thread starter twoflower
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Discussion Overview

The discussion revolves around proving the equality \(\sum_{k=0}^n \left(\begin{array}{cc}n\\k \end{array}\right) = 2^n\) using properties of combination numbers and induction. Participants explore various approaches, including binomial expansion and combinatorial interpretations.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested, Mathematical reasoning

Main Points Raised

  • One participant expresses difficulty in proving the equality using induction and requests assistance.
  • Another participant notes that the equality is a result of the binomial expansion of \((1 + 1)^n\).
  • A participant emphasizes the need to prove the equality using properties of combination numbers, referencing specific identities.
  • Several participants discuss the concept of the powerset of a set with \(n\) elements, suggesting it has \(2^n\) elements and proposing that this can be counted in two different ways to demonstrate the equality.
  • A hint is provided to manipulate the summation to utilize the induction hypothesis and the identity involving combination numbers.
  • Another participant mentions reaching a certain point in their proof but struggles to proceed further.
  • Further suggestions are made regarding summing over different indices and applying the identity to connect the sums.
  • One participant shares a result they reached but indicates they are unable to continue from that point.
  • Another participant reiterates the identity involving combination numbers and connects it back to the induction hypothesis.

Areas of Agreement / Disagreement

Participants generally agree on the validity of the binomial expansion and the properties of combination numbers, but there is no consensus on the specific steps required to complete the proof using induction. Multiple approaches and interpretations are presented, indicating ongoing exploration and debate.

Contextual Notes

Some participants express uncertainty about specific mathematical steps and identities, indicating that the discussion is still in a developmental stage without a resolved proof.

twoflower
Messages
363
Reaction score
0
Hi all,

I don't know how to prove this equality:
[tex] \sum_{k=0}^n \left(\begin{array}{cc}n\\k \end{array}\right) = 2^n[/tex]

I tried it many times, but never achieved the result. I used induction to do the proof, but no success.

Would somebody help please?

Thank you.
 
Physics news on Phys.org
This is just the binomial expansion of [itex](1 + 1)^n[/itex]
 
Ok, that's something I already know, but I need to prove it using some properties of combination numbers, eg.

[tex] \left(<br /> \begin{array}{cc}<br /> 0\\<br /> 0\end{array}<br /> \right) = 1[/tex]

[tex]\left(\begin{array}{cc}n\\k\end{array}\right) + \left(\begin{array}{cc}n\\k+1\end{array}\right) = \left(\begin{array}{cc}n+1\\k+1\end{array}\right)[/tex]
 
Let A be a set with n elements. How many elements does the powerset of A have?
 
Muzza said:
Let A be a set with n elements. How many elements does the powerset of A have?
I can't imagine the "powerset of A"...
 
The powerset of A is the set of all subsets of A.

E.g., let A = {1,2}. Then the powerset of A = { {}, {1}, {2}, {1,2} }.

If one could count the cardinality of the powerset of A in two different ways, one would immediately know that the resulting numbers would be equal...
 
Ok, now I know what you mean with "powerset", my translator gave me completely different meaning...Yes I know that it is 2^n, but...I need to prove it with induction...
 
Hint:
[tex]\sum_{k=0}^{n+1} {n+1 \choose k}=\sum_{k=0}^{n}{n+1 \choose k}+{n+1 \choose n+1}=\sum_{k=0}^{n}{n+1 \choose k}+1[/tex]

You want to manipulate your expression in such a way so you can use your induction hypothesis:

[tex]\sum_{k=0}^{n}{n \choose k}=2^n[/tex]
and the identity:

[tex]\left(\begin{array}{cc}n\\k\end{array}\right) + \left(\begin{array}{cc}n\\k+1\end{array}\right) = \left(\begin{array}{cc}n+1\\k+1\end{array}\right)[/tex]
 
Last edited:
Thank you Galileo, I've already achieved this point, but I'm not able to edit it further...
 
  • #10
Well, you have:
[tex]{n \choose k} + {n \choose k+1} = {n+1 \choose k+1}[/tex]

and
[tex]\sum_{k=0}^{n}{n+1 \choose k}[/tex]
in the expression so we can almost put it together.
Why not sum over
[tex]\sum_{k=0}^{n}{n+1 \choose k+1}[/tex]
it's almost the same as the previous sum. You are missing a term (which you'll have to add) and it gives an extra term (which you'll have to subtract).
Then you can apply the identity.
 
  • #11
However I tried to use the equality, I only get to this point:

[tex] \sum_{k=0}^{n}{n \choose k-1} - \sum_{k=0}^{n}{n \choose k+1} + 1 = 0[/tex]

which I'm not able to go on with...
 
  • #12
[tex]\sum_{k=0}^{n}{n+1 \choose k+1}=\sum_{k=0}^{n}{n \choose k}+\sum_{k=0}^{n}{n \choose k+1}[/tex]
This is obtained by simply using that identity.
Now
[tex]\sum_{k=0}^{n}{n \choose k}=2^n[/tex]
according to our induction hypothesis.

By the way:[itex]{n \choose k}=0[/itex] if k>n.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K