2項係数の総和その他
\[\sum_{k=1}^{n-1}\frac{C\left(k-n,k\right)}{k}=-H_{n-1}\]
2項係数の関係その他
\[C\left(\alpha,\beta\right)C\left(\beta,\gamma\right)=C\left(\alpha,\gamma\right)C\left(\alpha-\gamma,\beta-\gamma\right)\]
一般ヴァンデルモンドの畳み込み定理
\[\sum_{k_{1}+\cdots+k_{p}=m}\prod_{j=1}^{p}C\left(n_{j},k_{j}\right)=C\left(\sum_{j=1}^{p}n_{j},m\right)\]
2項係数の第1引数と第2引数同士の総和
\[\sum_{j=0}^{k-a}\left(-1\right)^{j}C\left(k,j+a\right)C\left(j+b,c\right)=\begin{cases}\left(-1\right)^{k-a}C\left(b-a,c-k\right) & a-b+c\leq k\\0 & k<a-b+c\end{cases}\]
2項変換と交代2項変換の母関数
\[\sum_{k=0}^{\infty}b_{k}x^{k}=\frac{1}{1-x}\sum_{k=0}^{\infty}a_{k}\left(\frac{x}{1-x}\right)^{k}\]
飛び飛びの2項定理
\[\sum_{k=0}^{\infty}C\left(n,2k\right)a^{2k}b^{n-2k}=\frac{1}{2}\left\{ \left(a+b\right)^{n}+\left(-a+b\right)^{n}\right\} \]
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項係数が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\]
2項係数を含む総和
\[\sum_{k=0}^{n}\frac{\left(-1\right)^{k}C\left(n,k\right)}{m+k}=\frac{1}{mC\left(m+n,m\right)}\]
中央2項係数の値
\[C\left(2n,n\right)=4^{n}\left(-1\right)^{n}C\left(-\frac{1}{2},n\right)\]
負の整数の2項係数
\[C\left(-m,-n\right)=\left(-1\right)^{m-n}C\left(n-1,m-1\right)\]
パスカルの法則の一般形
\[C\left(x+n,y+n\right)=\sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+k\right)\]
パスカルの法則の応用
\[C\left(x+n,y+n\right)=C\left(x,y+n\right)+\sum_{k=0}^{n-1}C\left(x+k,y+n-1\right)\]
中央2項係数を含む通常型母関数
\[\sum_{k=0}^{\infty}\frac{1}{k+1}C\left(2k,k\right)z^{k}=\frac{1}{2z}\left\{ 1-\left(1-4z\right)^{\frac{1}{2}}\right\} \]
中央2項係数の通常型母関数
\[\sum_{k=0}^{\infty}C\left(2k,k\right)z^{k}=\left(1-4z\right)^{-\frac{1}{2}}\]
2項係数の半分までの総和
\[\sum_{k=0}^{n-1}C\left(2n-1,k\right)=2^{2n-2}\]
2項係数の相加平均・相乗平均を含む極限
\[\lim_{n\rightarrow\infty}\sqrt[n]{\sqrt[n+1]{\prod_{k=0}^{n}C\left(n,k\right)}}=\sqrt{e}\]
2項変換と交代2項変換の逆変換
\[a_{n}=\sum_{k=0}^{n}(-1)^{n-k}C(n,k)b_{k}\]
2項係数の母関数
\[\sum_{k=0}^{\infty}C(x+k,k)t^{k}=(1-t)^{-(x+1)}\]