0
$\begingroup$

My teacher showed us a proof by induction for this equation for $n\in\mathbb{N}$:

$$\sum\limits_{k=0}^n{{n}\choose{k}} = 2^n$$

In the first step, this sum is rewritten using ${{n+1}\choose{k}}={{n}\choose{k-1}}+{{n}\choose{k}}$.

However, he doesn't explain why this would be - and since he just introduced binomials coefficients, I assume it's something trivial, which I just don't see. I can't figure out why this would hold though.

I tried rewriting the binomial coefficients with ${{n}\choose{k}}=\frac{n!}{k!\cdot(n-k)!}$ when $n,k\in\mathbb{N}$ and $n\geq k$:

$${{n+1}\choose{k}}=\frac{(n+1)!}{k!\cdot(n+1-k)!}$$

$${{n}\choose{k-1}}=\frac{n!}{(k-1)!\cdot(n-k+1)!}$$

$${{n}\choose{k}}=\frac{n!}{k!\cdot(n-k)!}$$

But I can't prove:

$$\frac{(n+1)!}{k!\cdot(n+1-k)!} \stackrel{?}{=} \frac{n!}{(k-1)!\cdot(n-k+1)!} + \frac{n!}{k!\cdot(n-k)!}$$

Am I on the right track? Is there a basic idea behind this equation which makes you see it easily?

$\endgroup$
11
  • 3
    $\begingroup$ You are on the right track, but you have some mistakes in your equations. The first one is correct, but then the second should have $n-(k-1)$ instead of $(n-k)$, and the third should have $(n-k)$ instead of $(n+1-k)$. Then you should be able to succeed with showing your big equation is correct. $\endgroup$
    – Matt
    Commented Nov 20, 2014 at 12:25
  • $\begingroup$ Just so you know this trick, but one can use the binomial formula to get this result instantly: $ (a+b)^n = \sum_{k=0}^n {{n}\choose{k}}a^kb^{n-k} $; you only have to set a=1; b=1 $\endgroup$
    – mvggz
    Commented Nov 20, 2014 at 12:28
  • $\begingroup$ @Matt thank you, you're correct. Actually I had this on my paper, I just typed it incorrectly. However, that doesn't change the big equation, right? It just swaps the two terms in the right part. (I corrected the mistake in my question) $\endgroup$
    – user63495
    Commented Nov 20, 2014 at 12:29
  • $\begingroup$ Thanks @mvggz, I'll note that down, but of course I still want to understand the proof :) $\endgroup$
    – user63495
    Commented Nov 20, 2014 at 12:31
  • $\begingroup$ @CamilStaps How does your teacher define the binomial coefficients? You can obviously define it in terms of a fraction of factions, but it's possible to define them recursively based on Pascal's rule. $\endgroup$
    – David H
    Commented Nov 20, 2014 at 12:34

4 Answers 4

4
$\begingroup$

Algebra: note that $\;r!=r(r-1)!\;,\;\;\frac{r!}r=(r-1)!\;$ , and also correcting your equalities we have

$$\binom n{k-1}=\frac{n!}{(k-1)!(n-k+1)!}\;,\;\;\binom nk=\frac{n!}{k!(n-k)!}$$

so that we actually should have on the RHS of your last equality

$$\frac{n!}{(k-1)!\cdot(n-k+1)!} + \frac{n!}{k!\cdot(n-k)!}=n!\frac{k+n-k+1}{k!(n-k+1)!}=$$

$$=\frac{n!(n+1)}{k!(n-k+1)!}=\binom{n+1}{k}$$

$\endgroup$
0
3
$\begingroup$

I can give you an other way of proving this without any calculus.

What is ${{n}\choose{k}}$? This is the number of ways to choose k elements among n ones, without specifying an order.

So let's have the set: A=$(a_1...a_n)$ n elements ( tennis balls per say). Let's look at one particularly: $a_i$ because it is the only red ball of the set.

The number of ways to choose k elements in A is the number of ways to choose k elements with $a_i$ in it, plus the number of ways to choose k elements without $a_i$.

For the first, since you know that among the k elements $a_i$ has to be present you can choose k-1 elements among n-1 elements ($a_i$ has already been chosen so your set is diminished of one ball, that gives n-1 elements left). This gives ${{n-1}\choose{k-1}}$

Likewise, for the second you know that $a_i$ is not part of your choosing so you have to choose k elements among n-1 elements, that is ${{n-1}\choose{k}}$

So you get the equality : ${{n}\choose{k}} = {{n-1}\choose{k-1}} + {{n-1}\choose{k}}$

$\endgroup$
6
  • $\begingroup$ This is wonderful, thank you very much. This may very well end up as the accepted answer, but I will still try to understand the algebra in Timbuc's answer of course. $\endgroup$
    – user63495
    Commented Nov 20, 2014 at 12:42
  • 1
    $\begingroup$ @Camil Staps, thanks :) . Of course both ways are important, you should understand them well. But you'll see that often you can get yourself out of trouble with bijections, sheer reformulation of the combinatorics problem. Here I only chose to count while settling one element and the answer became straightforward :) $\endgroup$
    – mvggz
    Commented Nov 20, 2014 at 12:47
  • 1
    $\begingroup$ I think that you may indicate in your proof how this argument leads to a generalization of the original identity OP posed, i.e., $\displaystyle\binom{n+k+1}{k}=\displaystyle\sum_{i=0}^k\binom{n+i}{i}$. I think it will enrich your answer. $\endgroup$
    – user170039
    Commented Nov 20, 2014 at 12:53
  • 1
    $\begingroup$ @user 170039 , yes of course but I'll leave it to Camil Staps if he's interested :) . One can do this with an induction, once he has the result for p=0 (I think your equality should use different index: k among n+p+1 maybe) $\endgroup$
    – mvggz
    Commented Nov 20, 2014 at 13:01
  • $\begingroup$ No. It's alright. $\endgroup$
    – user170039
    Commented Nov 20, 2014 at 13:04
1
$\begingroup$

$$\dfrac{1}{k}+\dfrac{1}{n-k+1}=\dfrac{n+1}{k(n-k+1)}\\ \left(\dfrac{n!}{(k-1)!(n-k)!}\right)\left(\dfrac{1}{k}+\dfrac{1}{n-k+1}\right)=\left(\dfrac{n!}{(k-1)!(n-k)!}\right)\left(\dfrac{n+1}{k(n-k+1)}\right)\\ \displaystyle\binom{n}{k}+\displaystyle\binom{n}{k-1}=\displaystyle\binom{n+1}{k}$$

$\endgroup$
0
$\begingroup$

you mismatched:

you must verify

$$\frac{(n+1)!}{k!(n+1-k)!}=\frac{n!}{(k-1)!(n+1-k)!}+\frac{n!}{k!(n-k)!}$$

which is straightforward.

cheers

the right hand side: $$\frac{n!}{(k-1)!(n+1-k)!}+\frac{n!}{k!(n-k)!} = \frac{n!.k+n!.(n+1-k)}{k!(n+1-k)!}=\frac{n!(k+n+1-k)}{k!(n+1-k)!}=\frac{n!(n+1)}{k!(n+1-k)!}=\frac{(n+1)!}{k!(n+1-k)!}$$ = the left hand side.

$\endgroup$
1
  • $\begingroup$ Thanks, but I corrected this already in my question, and it doesn't look straightforward to me. $\endgroup$
    – user63495
    Commented Nov 20, 2014 at 12:38