# Combinatorial Identity, Pascal's Triangle, Hexagon Identity

Printable View

• Apr 9th 2013, 02:42 PM
zhengcl86
Combinatorial Identity, Pascal's Triangle, Hexagon Identity
Latex is pretty sweet! just learned how to use this, so for this question

Prove the following combinatorial identity if ${1}\leq k. This identity is known as the hexagon identity and relates terms in Pascal's Triangle.

$\left(\begin{array}{cc}n-1\\k-1\end{array}\right)$ $\left(\begin{array}{cc}n\\k+1\end{array}\right)$ $\left(\begin{array}{cc}n+1\\k\end{array}\right)$ = $\left(\begin{array}{cc}n-1\\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)$

where do i even begin to solve this? The Pascal's Triangle i kind of understand but the rest is news to me.
• Apr 9th 2013, 06:22 PM
Gusbob
Re: Combinatorial Identity, Pascal's Triangle, Hexagon Identity
Quote:

Originally Posted by zhengcl86
Latex is pretty sweet! just learned how to use this, so for this question

Prove the following combinatorial identity if ${1}\leq k. This identity is known as the hexagon identity and relates terms in Pascal's Triangle.

$\left(\begin{array}{cc}n-1\\k-1\end{array}\right)$ $\left(\begin{array}{cc}n\\k+1\end{array}\right)$ $\left(\begin{array}{cc}n+1\\k\end{array}\right)$ = $\left(\begin{array}{cc}n-1\\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)$

where do i even begin to solve this? The Pascal's Triangle i kind of understand but the rest is news to me.

Use the identity

$\left(\begin{array}{cc}n\\k\end{array}\right)$ $=\frac{n!}{(n-k)!k!}$

and this becomes trivially true by permutation of the denominators of the factors.
• Apr 16th 2013, 11:57 AM
zhengcl86
Re: Combinatorial Identity, Pascal's Triangle, Hexagon Identity
Quote:

Originally Posted by Gusbob
Use the identity

$\left(\begin{array}{cc}n\\k\end{array}\right)$ $=\frac{n!}{(n-k)!k!}$

and this becomes trivially true by permutation of the denominators of the factors.

is that 1<k<n?
• Apr 16th 2013, 01:09 PM
Plato
Re: Combinatorial Identity, Pascal's Triangle, Hexagon Identity
Quote:

Originally Posted by zhengcl86
Prove the following combinatorial identity if ${1}\leq k. This identity is known as the hexagon identity and relates terms in Pascal's Triangle.

$\left(\begin{array}{cc}n-1\\k-1\end{array}\right)$ $\left(\begin{array}{cc}n\\k+1\end{array}\right)$ $\left(\begin{array}{cc}n+1\\k\end{array}\right)$ = $\left(\begin{array}{cc}n-1\\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)$

The LHS is
$\frac{(n-1)!}{(k-1)!(n-k)!}\cdot\frac{n!}{(k+1)!(n-k-1)!}\cdot\frac{(n+1)!}{(k!)(n-k+1)!}$

REARRANGE:
$\frac{(n-1)!}{(k)!(n-k-1)!}\cdot\frac{n!}{(k-1)!(n-k+1)!}\cdot\frac{(n+1)!}{(k+1)!(n-k)!}$
• Apr 17th 2013, 05:32 AM
zhengcl86
Re: Combinatorial Identity, Pascal's Triangle, Hexagon Identity
Quote:

Originally Posted by Plato
The LHS is
$\frac{(n-1)!}{(k-1)!(n-k)!}\cdot\frac{n!}{(k+1)!(n-k-1)!}\cdot\frac{(n+1)!}{(k!)(n-k+1)!}$

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

is the rearranged part the answer? i kinda have a similar answer but a couple faults on the 3rd spot where n+1 / (k+1) (n+1-k-1)

somehow i simplified it down to (k-n)! (n-k-1)! = (n-k+1)! (n+1-k-1)!
• Apr 17th 2013, 06:56 AM
Plato
Re: Combinatorial Identity, Pascal's Triangle, Hexagon Identity
Quote:

Originally Posted by zhengcl86
is the rearranged part the answer? i kinda have a similar answer but a couple faults on the 3rd spot where n+1 / (k+1) (n+1-k-1)

somehow i simplified it down to (k-n)! (n-k-1)! = (n-k+1)! (n+1-k-1)!

${\color{red}\frac{(n-1)!}{(k)!(n-k-1)!}}\cdot{\color{blue}\frac{n!}{(k-1)!(n-k+1)!}}\cdot\color{green}\frac{(n+1)!}{(k+1)!(n-k)!}$

${\color{red}\binom{n-1}{k}}\cdot{\color{blue}\binom{n}{k-1}}\cdot{\color{green}\binom{n+1}{k+1}}$