パスカルの法則の一般形
パスカルの法則の一般形
\(n\in\mathbb{N}_{0}\)とする。
\[ C\left(x+n,y+n\right)=\sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+k\right) \]
\(n\in\mathbb{N}_{0}\)とする。
\[ C\left(x+n,y+n\right)=\sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+k\right) \]
(0)
ファンデルモンドの畳み込み定理より、\begin{align*} \sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+k\right) & =\sum_{k=0}^{n}C\left(n,n-k\right)C\left(x,y+n-k\right)\\ & =\sum_{k=0}^{n}C\left(n,k\right)C\left(x,y+n-k\right)\\ & =C\left(x+n,y+n\right) \end{align*} となるので与式は成り立つ。
(0)-2
\(n=0\)のとき明らかに成り立つ。\(n=j\)のとき成り立つと仮定すると、\(n=j+1\)のときは、
\begin{align*} C\left(x+j+1,y+j+1\right) & =C\left(x+j,y+j\right)+C\left(x+j,y+1+j\right)\\ & =\sum_{k=0}^{j}C\left(j,k\right)C\left(x,y+k\right)+\sum_{k=0}^{j}C\left(j,k\right)C\left(x,y+k+1\right)\\ & =\sum_{k=0}^{j}C\left(j,k\right)C\left(x,y+k\right)+\sum_{k=1}^{j+1}C\left(j,k-1\right)C\left(x,y+k\right)\\ & =\sum_{k=0}^{j+1}\left\{ C\left(j,k\right)+C\left(j,k-1\right)\right\} C\left(x,y+k\right)\\ & =\sum_{k=0}^{j+1}C\left(j+1,k\right)C\left(x,y+k\right) \end{align*} となるので成り立つ。
故に数学的帰納法より与式は成り立つ。
ページ情報
| タイトル | パスカルの法則の一般形 |
| URL | https://www.nomuramath.com/gkhugivo/ |
| SNSボタン |
中央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項係数の1項間漸化式
\[
C(x+1,y)=\frac{x+1}{x+1-y}C(x,y)
\]
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)
\]
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}
\]