中心二項係数の畳込みから広げた、パスカルの三角形の性質のお話をいたします。
赤枠は枠内の数を青矢印を掛け算して、全て足した数が計算した数、
緑枠は枠内の数を全て足した数が答えです。
$4^{r}$= $\sum_{k=0}^{r} { 2k \choose k } { 2r-2k \choose r-k }$
$4^{2}$=$\sum_{k=0}^{2} { 2k \choose k } { 4-2k \choose 2-k}$
上記の定理を更に広げて、中心二項係数だけでなく他のパスカルの三角形の縦の並びの数を畳み込みをしてみたら下記のような性質を見つけました。
$4^{r}$=$ \sum_{k=0}^{2r} { 2r \choose k }$
$=2(\sum_{k=0}^{r-1} { 2r \choose k }) + { 2r \choose r} $
$2r$を$n$に置き換えて
$=2(\sum_{k=0}^{r-1} { n \choose k }) + { n \choose r} [r<\frac{n}{2}]$
$[r<\frac{n}{2}]$を前提として
$2(\sum_{k=0}^{r-1} { n \choose k }) + { n \choose r} $ $= \sum_{k=0}^{r} { 2k \choose k } { n-2k \choose r-k } $
$2(\sum_{k=0}^{2-1} { 7 \choose k }) + { 7 \choose 2} $ $= \sum_{k=0}^{2} { 2k \choose k } { 7-2k \choose 2-k }$
また移項して、
$2=\frac{((\sum_{k=0}^{r} { 2k \choose k } { n-2k \choose r-k })- { n \choose r }) }{\sum_{k=0}^{r-1}{ n \choose k }} [r<\frac{n}{2}]$
とも言えます。
さらに広げて
$n=A+B$で$[A≦B]$と定義します。
$2(\sum_{k=0}^{r-1} { A+B \choose k }) + { A+B \choose r} $ $= \sum_{k=0}^{r} { A+2k \choose k } { B-2k \choose r-k }$
$2(\sum_{k=0}^{2-1} { 1+6 \choose k }) + { 1+6 \choose 2} $ $= \sum_{k=0}^{2} { 1+2k \choose k } { 6-2k \choose 2-k }$
パスカルの三角形で見ると、
ヴァンデルモンドの恒等式は横
ホッケースティック恒等式が斜め
ならば縦の畳み込みはあるかな?と思ったら見つけました。