ディクソンの等式
ディクソンの等式
\(a,b,c\in\mathbb{N}_{0}\)とする。
(1)
\[ \sum_{k=-a}^{a}(-1)^{k}C(a+b,a+k)C(b+c,b+k)C(c+a,c+k)=\frac{(a+b+c)!}{a!b!c!} \]
(2)
\[ \sum_{k=-a}^{a}(-1)^{k}C^{3}(2a,a+k)=\frac{(3a)!}{\left(a!\right)^{3}} \]
(1)
略
(2)
(1)で\(a=b=c\)とおくと、
\[
\sum_{k=-a}^{a}(-1)^{k}C^{3}(2a,a+k)=\frac{(3a)!}{\left(a!\right)^{3}}
\]
となるので与式は成り立つ。
ページ情報
タイトル | ディクソンの等式 |
URL | https://www.nomuramath.com/kga8k4q6/ |
SNSボタン |
2項係数の逆数の差分
\[
C^{-1}(k+j+1,j+1)=\frac{j+1}{j}\left(C^{-1}(k+j,j)-C^{-1}(k+j+1,j)\right)
\]
パスカルの法則の一般形
\[
C\left(x+n,y+n\right)=\sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+k\right)
\]
負の整数の2項係数
\[
C\left(-m,-n\right)=\left(-1\right)^{m-n}C\left(n-1,m-1\right)
\]
ファンデルモンドの畳み込み定理と第1引数の畳み込み
\[
\sum_{j=0}^{k}C(x,j)C(y,k-j)=C(x+y,k)
\]