2項係数の半分までの総和
2項係数の半分までの総和
(1)偶数の場合で半分以下
\[ \sum_{k=0}^{n-1}C\left(2n,k\right)=2^{2n-1}-\frac{1}{2}C\left(2n,n\right) \](2)偶数の場合で半分以上
\[ \sum_{k=0}^{n}C\left(2n,k\right)=2^{2n-1}+C\left(2n,n\right) \](3)奇数の場合で丁度半分
\[ \sum_{k=0}^{n-1}C\left(2n-1,k\right)=2^{2n-2} \](1)
\begin{align*} \sum_{k=0}^{n-1}C\left(2n,k\right) & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n,k\right)+\sum_{k=0}^{n-1}C\left(2n,2n-k\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n,k\right)+\sum_{k=0}^{n-1}C\left(2n,2n-\left(n-1-k\right)\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n,k\right)+\sum_{k=0}^{n-1}C\left(2n,n+1+k\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n,k\right)+\sum_{k=n+1}^{2n}C\left(2n,k\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{2n}C\left(2n,k\right)-C\left(2n,n\right)\right)\\ & =2^{2n-1}-\frac{1}{2}C\left(2n,n\right) \end{align*}(2)
\begin{align*} \sum_{k=0}^{n}C\left(2n,k\right) & =\sum_{k=0}^{n-1}C\left(2n,k\right)+C\left(2n,n\right)\\ & =2^{2n-1}-\frac{1}{2}C\left(2n,n\right)+C\left(2n,n\right)\\ & =2^{2n-1}+C\left(2n,n\right) \end{align*}(3)
\begin{align*} \sum_{k=0}^{n-1}C\left(2n-1,k\right) & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n-1,k\right)+\sum_{k=0}^{n-1}C\left(2n-1,2n-1-k\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n-1,k\right)+\sum_{k=0}^{n-1}C\left(2n-1,2n-1-\left(n-1-k\right)\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n-1,k\right)+\sum_{k=0}^{n-1}C\left(2n-1,n+k\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{n-1}C\left(2n-1,k\right)+\sum_{k=n}^{2n-1}C\left(2n-1,k\right)\right)\\ & =\frac{1}{2}\left(\sum_{k=0}^{2n-1}C\left(2n-1,k\right)\right)\\ & =2^{2n-2} \end{align*}ページ情報
タイトル | 2項係数の半分までの総和 |
URL | https://www.nomuramath.com/k1y1011c/ |
SNSボタン |
ファンデルモンドの畳み込み定理と第1引数の畳み込み
\[
\sum_{j=0}^{k}C(x,j)C(y,k-j)=C(x+y,k)
\]
2項係数の飛び飛びの総和
\[
\sum_{k=-\infty}^{\infty}C\left(mn,mk+l\right)=\frac{1}{m}\sum_{j=0}^{m-1}\left(1+\omega_{m}^{j}\right)^{mn}\left(\omega_{m}^{j}\right)^{-l}
\]
2項係数の2乗和
\[
\sum_{j=0}^{m}C^{2}(m,j)=C(2m,m)
\]
2項係数が0になるとき
\[
\forall m,n\in\mathbb{Z},\left(0\leq m<n\right)\lor\left(n<0\leq m\right)\lor\left(m<n<0\right)\Leftrightarrow C\left(m,n\right)=0
\]