Combinatorial proofs of identities use double counting and combinatorial characterizations of binomial coefficients, powers, factorials etc. They avoid complicated algebraic manipulations.
Questions tagged [combinatorial-proofs]
985 questions
89
votes
4 answers
Identity for convolution of central binomial coefficients: $\sum\limits_{k=0}^n \binom{2k}{k}\binom{2(n-k)}{n-k}=2^{2n}$
It's not difficult to show that
$$(1-z^2)^{-1/2}=\sum_{n=0}^\infty \binom{2n}{n}2^{-2n}z^{2n}$$
On the other hand, we have $(1-z^2)^{-1}=\sum z^{2n}$. Squaring the first power series and comparing terms gives us
$$\sum_{k=0}^n…
![](../../users/profiles/8973.webp)
Skatche
- 1,422
- 10
- 10
82
votes
9 answers
Combinatorial proof of summation of $\sum\limits_{k = 0}^n {n \choose k}^2= {2n \choose n}$
I was hoping to find a more "mathematical" proof, instead of proving logically $\displaystyle \sum_{k = 0}^n {n \choose k}^2= {2n \choose n}$.
I already know the logical Proof:
$${n \choose k}^2 = {n \choose k}{ n \choose n-k}$$
Hence summation can…
![](../../users/profiles/31999.webp)
Lance C
- 821
- 1
- 7
- 3
73
votes
2 answers
Combinatorial proof that $\sum \limits_{k=0}^n \binom{2k}{k} \binom{2n-2k}{n-k} (-1)^k = 2^n \binom{n}{n/2}$ when $n$ is even
In my answer here I prove, using generating functions, a statement equivalent to
$$\sum_{k=0}^n \binom{2k}{k} \binom{2n-2k}{n-k} (-1)^k = 2^n \binom{n}{n/2}$$
when $n$ is even. (Clearly the sum is $0$ when $n$ is odd.) The nice expression on the…
![](../../users/profiles/2370.webp)
Mike Spivey
- 52,894
- 17
- 169
- 272
40
votes
5 answers
The Hexagonal Property of Pascal's Triangle
Any hexagon in Pascal's triangle, whose vertices are 6 binomial coefficients surrounding any entry, has the property that:
the product of non-adjacent vertices is constant.
the greatest common divisor of non-adjacent vertices is constant.
Below is…
![](../../users/profiles/5105.webp)
milcak
- 3,929
- 2
- 28
- 37
31
votes
1 answer
Two interview questions
I recently came across two interview questions for admission in B.Math at an university. I gave the two questions a try and want to know if my solutions are correct or not.
Q1: Given that $x^4-4x^3+ax^2+bx+1=0$ has all positive roots and $a,b\in\Bbb…
![](../../users/profiles/325385.webp)
idiot
- 391
- 2
- 4
26
votes
5 answers
Is there a combinatorial interpretation of the triangular numbers?
The triangular numbers count the number of items in a triangle with $n$ items on a side, like this:
This can be calculated exactly by the formula $T_n = \sum_{k=1}^n k = \frac{n(n+1)}{2} = {n+1 \choose 2} = {n+1 \choose n-1}$.
Is there any…
![](../../users/profiles/235050.webp)
sagittarian
- 383
- 3
- 5
23
votes
4 answers
Combinatorial interpretation of sum of squares, cubes
Consider the sum of the first $n$ integers:
$$\sum_{i=1}^n\,i=\frac{n(n+1)}{2}=\binom{n+1}{2}$$
This makes the following bit of combinatorial sense. Imagine the set $\{*,1,2,\ldots,n\}$. We can choose two from this set, order them in decreasing…
![](../../users/profiles/11123.webp)
2'5 9'2
- 51,425
- 6
- 76
- 143
22
votes
5 answers
Evaluate $\sum\limits_{k=1}^n k^2$ and $\sum\limits_{k=1}^n k(k+1)$ combinatorially
$$\text{Evaluate } \sum_{k=1}^n k^2 \text{ and } \sum_{k=1}^{n}k(k+1) \text{ combinatorially.}$$
For the first one, I was able to express $k^2$ in terms of the binomial coefficients by considering a set $X$ of cardinality $2k$ and partitioning it…
![](../../users/profiles/8365.webp)
kuch nahi
- 6,481
- 7
- 41
- 77
22
votes
4 answers
Show by combinatorial argument that ${2n\choose 2} = 2{n \choose 2} + n^2$
So i was given this question. Show by combinatorial argument that ${2n\choose 2} = 2{n \choose 2} + n^2$
Here is my solution:
Given $2n$ objects, split them into $2$ groups of $n$, $A$ and $B$. $2$-combinations can either be assembled both from…
![](../../users/profiles/306605.webp)
Zero
- 445
- 1
- 5
- 10
21
votes
2 answers
Combinatorial proof of $\sum\limits_{k=0}^n {n \choose k}3^k=4^n$
Using the following equation:
$$\sum_{k=0}^n {n \choose k}3^k=4^n$$
I need to prove that both sides of the equation solve the same combinatorial problem.
It's easy to see that the right side of the equation is counting number of ways to divide $n$…
![](../../users/profiles/14124.webp)
MichaelS
- 833
- 2
- 8
- 16
19
votes
1 answer
Strange inequality involving *nested* binomial coefficients and combinatorial interpretation
Recently, I solved a question that asked for a geometric proof of the identity $\binom{\binom{n}{3}}{2} < \binom{\binom{n}{2}}{3}$ and I did it here using the combinatorial interpretation of lines and triangles in an $n$-gon, and exploiting the…
![](../../users/profiles/316409.webp)
Sarvesh Ravichandran Iyer
- 68,988
- 7
- 60
- 128
19
votes
2 answers
Is there a combinatorial proof that $e$ is finite?
I'm looking for an integer $N$ and a combinatorial proof either that $(n+1)^n
![](../../users/profiles/498147.webp)
MTyson
- 305
- 2
- 10
19
votes
16 answers
How to show $\sum_{k=0}^{n}\binom{n+k}{k}\frac{1}{2^k}=2^{n}$
How does one show that $$\sum_{k=0}^{n}\binom{n+k}{k}\frac{1}{2^k}=2^{n}$$ for each nonnegative integer $n$?
I tried using the Snake oil technique but I guess I am applying it incorrectly. With the snake oil technique we have $$F(x)=…
![](../../users/profiles/95894.webp)
C.S.
- 5,364
- 14
- 31
18
votes
4 answers
Proving $k \binom{n}{k} = n \binom{n-1}{k-1}$
Suppose we want to prove $$ k \binom{n}{k} = n \binom{n-1}{k-1}$$
In the LHS we are choosing a team of $k$ players from $n$ players. Then we are choosing a captain. In the RHS we are choosing a captain from the $n$ players. Then we are choosing the…
![](../../users/profiles/21891.webp)
James
- 979
- 2
- 8
- 5
18
votes
4 answers
Show that $\sum\limits_{k=0}^n\binom{2n}{2k}^{\!2}-\sum\limits_{k=0}^{n-1}\binom{2n}{2k+1}^{\!2}=(-1)^n\binom{2n}{n}$
How can I prove the identity:
$$
\sum_{k=0}^n\binom{2n}{2k}^2-\sum_{k=0}^{n-1}\binom{2n}{2k+1}^2=(-1)^n\binom{2n}{n}?
$$
Maybe, can we expand
$$
f(x)=(1+x)^{2n}?
$$
Thank you.
![](../../users/profiles/58742.webp)
math110
- 1
- 15
- 119
- 475