ヴァンデルモンドの畳み込み

ヴァンデルモンドの畳み込み（ヴァンデルモンドのたたみこみ、）またはヴァンデルモンドの恒等式（ヴァンデルモンドのこうとうしき、）とは、組合せ数学における二項係数に関する恒等式の一種。具体的には、任意の自然数に対する次の恒等式のことを指す:

この恒等式の名前はフランスの数学者ヴァンデルモンド(1772)に因んでいるが、式自体は中国の数学者・朱世傑によって1303年に発見されていた。そのため、朱-ヴァンデルモンドの恒等式（しゅ-ヴァンデルモンドのこうとうしき、）と呼称されることもある。

また、この定理とq-類似なも存在する。

さらに、ヴァンデルモンドの恒等式には次のような多項係数に関する一般化形も存在する:

証明

代数学による証明一般的に、次数がそれぞれであるような多項式同士の積は、

で与えられる。ただし、多項式の係数についてならばであるとし、についても同様の制約を課す。ここで、二項定理より、

が任意の自然数に対して成立することに注意すると、としてをそれぞれ代入した式を利用することで、

が得られる。ただし、最後の変形で証明冒頭で述べた式を利用した。なお、二項係数はの時0となるので、の場合の係数に関する制約は守られていることに注意せよ。

この式のの係数同士を比較することで、なる自然数に関するヴァンデルモンドの恒等式が証明される。である場合は、示すべき式の両辺が0であるので、直ちに示される。以上より、任意の自然数について示すべき式が示される。

組み合わせ論による証明を利用することで、ヴァンデルモンドの恒等式を組み合わせ論により証明することができる。の番号が振られた白玉および、の番号が振られた赤玉からなる、合計個の玉の中から個の玉を選択して袋に詰める問題を考える。袋に玉を入れる方法は全部で

通りだけある。一方、個の白玉と個の赤玉を袋に詰める方法は通りあり、これをについて足し合わせることで、袋に玉を入れる方法全てを記述することができる。以上より、

が示される。これはヴァンデルモンドの恒等式に他ならない。

幾何学による証明座標平面上に点A をとる。今、点Pが原点を出発し、各ステップで座標または座標を +1 しつつ、最終的に点Aへ到達するとしたとき、そのような経路が何通りあるかを考える。点Aに辿り着くためには、回のステップ中に回だけ座標を+1する必要があるので、このような経路は

通りだけある。

ここで、ステップ後に点Aがどこにあるかによって、全経路を場合分けする。ステップ後の点Aの座標はのいずれかであり、にいるような経路が実現されるには、ステップの間に座標が+1されることがちょうど回発生する必要があるので、そのような経路は通りだけある。同様に、を出発して点Aに到着するような経路は通りだけある。したがって、原点を出発し、を中継して点Aに到達するような経路は

通りある。これを可能なについて足し合わせることで、原点を出発し点Aに到着するすべての経路が得られるので、ヴァンデルモンドの恒等式が示される。

一般化

多項係数に対する一般化ヴァンデルモンドの恒等式を、以下のように一般化できる:

この恒等式の証明も、ヴァンデルモンド恒等式と同様に代数的な手法や組み合わせ論に依拠した手法によって可能である。例えば、組み合わせ論であれば、次のような議論によって示される:

番目の色の玉が個だけあり、それぞれの玉にの番号が割り振られているとする。全部で個ある玉の中から個の玉を選ぶ場合の数はである。一方、それぞれの色からそれぞれ個ずつ玉を選択し、合計で個の玉を選ぶような選び方は通りある。これを可能なの組み合わせ全てについて数え上げれば、元の選び方に一致する。

複素数への一般化ここまでの議論では、ヴァンデルモンドの恒等式に出てくる文字は全て自然数であるとしてきたが、その一部を複素数へと一般化することもできる。この場合、この恒等式は朱-ヴァンデルモンド恒等式と呼ばれることが多い。一般化された恒等式は

という形となる。ここで、は非負整数だが、は一般に複素数である。この式を示す際は、とを二項級数で表し、それらのコーシー積をとった結果がの二項級数表示に等しいことを利用する。

ヴァンデルモンドの畳み込み式を下降階乗冪を表すポッホハマー記号を使って表せば、

となる。この形では、この恒等式が二項定理の陰変種の一つであることが明確に認識できる(二項定理の陰変種に関する詳細は、二項型多項式列を参照)。また、この恒等式は、ガウスの超幾何定理の特別な場合であると見なすこともできる。同定理によれば、

が成立する。ここで、

は超幾何関数であり、はガンマ関数である。また、定理の要請よりである。この定理からヴァンデルモンドの恒等式を再現するには、とした上で、次の式

を必要に応じて適用すればよい。なお、この式はガンマ関数のから導かれる。

また、Rothe–Hagen identityとして知られる次の恒等式は、この恒等式をさらに一般化したものである:

超幾何分布との関係ヴァンデルモンドの恒等式の両辺を左辺で割ると、総和に出現する各項が非負かつそれらの合計値が1であるような項が出現するので、これらを離散的な確率とみなすことができる。このようにして得られる確率分布は超幾何分布と呼ばれ、例えば、「個の赤玉、個の白玉が入った袋から無作為に個を同時に取り出した時に、取り出した玉の中にある赤玉の個数が個である確率」などを記述できる。

ヴァンデルモンドの畳み込み

Źródło i licencja