Sum of Combinations

amcavoy

I was just wondering how you would prove the following:



Any help is appreciated.

Townsend

Its easy to see once you know where to look. Look at pascals triangle. What is the value of the sum of all the numbers in each row equal to? Perhaps 2^n....where n is the row...

Now what does that binomial theorem have to say about combinations and pascals triangle again?

Do you see where to go from here?

Just so you know, what I am talking about is how you can show that your equation is believable but to prove it you would have to show all the details.....

amcavoy

I see what you are saying about Pascal's Triangle. However, I would like to know if there is a way to prove this symbolically, rather than just seeing that it works. Does anyone have any suggestions?

Thanks a lot for your help.

matt grime

combinatorially which is the summand is the number of ways of choosing k objects (order unimportant) from n or the number of subsets fo size k of n objects.

you are adding these up from 0 to n.

so you are finding the total number of subsets of a set of size n. this is obvisouly 2^n

it may also be proved by induction or by noting it is the binomial expansion of (x+y)^n for x=y=1

Townsend

If what you're asking is for a way to prove the identity directly.....good luck.

The first time I realized that sum was equal to 2^n I went to trying to prove the identity like what you're asking. I never could....

But good luck to you.

As a side note, proving it the way matt grime said is just as good as any other way. After all, can you prove symbolically? You could...perhaps....but it's no better than a geometric argument. And I think the geometric proof is more useful in the sense that you have a geometric understanding of why the identity is true.

Regards,

honestrosewater

Here's a proof by induction: http://www.math.utah.edu/~alfeld/mat...owerproof.html
"Let S be a finite set with N elements. Then the powerset of S (that is the set of all subsets of S ) contains 2^N elements. ..."

matt grime

hopefully i gave a solution that is more explanatory than "jsut look at pascal's triangle" ie it explains why the rows add up to 2^n rather than just saying they do.

amcavoy

Yes of course. Thanks a lot for your help everyone.

Pietjuh

You can also see that the sum is just equal to evaluated at x=1

matt grime

but i said that one too in one of the three proofs i gave...

Townsend

Yes, but to the casual observer such things may not be so clear....thus, it never hurts to be explicit from time to time.

Gokul43201

...to find the number of ways of selecting any number of objects out of n given objects. (ie: you can pick 0 objects or 1 object or 2 objects or...or all n objects).

Alternatively, you can think of this as assigning to each of the n objects, one of 2 labels, namely "chosen" and "not chosen". The total number of ways of assigning labels is hence 2^n, and this is exactly the process of choosing any number of objects.

LittleWolf

You can prove Sum(nCk,k=0,1..n)=2^n as a straight summation problem by induction on n. It works for n=0 then assume it is true for n-1. Since 2^(n-1)+2^(n-1) = 2^n expand out the summations and rearrange terms and show (n-1)C(k-1)+(n-1)Ck=nCk Where nCk=n!/k!/(n-k)! and note that nC0=(n-1)C0=nCn=(n-1)C(n-1)=1.