多項定理

数学における多項定理（たこうていり、）とは、多項和 (multinomial) の冪を展開した式を表すものである。二項定理において項数を一般化したものである。

定理の主張多項公式 (multinomial formula) とは、正整数 , 非負整数に対して、項和の任意の -冪を展開すると

となることを示すものである。ここで係数は多項係数と呼ばれ、

となる。また、は非負整数であり、総和はとなるもの全てに亘って取る。従って、展開式の各項の次数はとなる。また、はここでは、二項定理の場合と同様に、（が零のときも含めて恒等的に）と定義している。のとき、主張は二項定理である。

多重添字記法を用いると、定理の主張は

略記できる。ここに、であって、およびに対してである。

例えば、を展開すると、次のようになる：

証明組合せ論的証明二項定理の組合せ論的証明と同様に証明できる。

個のの積を一度に展開し切ることを考える。

一度に展開すると、それぞれのからの1つだけを取った文字個の総乗の総和となる。

これらの積のうち、並び替えてになるものは、個の、…、個のを並べる場合の数だけあるから、多項係数、すなわちの係数はとなる。

指数について帰納法二項定理と同様に、指数についての数学的帰納法で証明できる。

のとき、

より成り立つ。

あるについて成り立つと仮定する。

より、

最後の等号は

が成り立つことを用いたが、これは右辺の階乗表示：

を通分すると左辺になることが示せる。

項数について帰納法二項定理を既知とすると、項数について数学的帰納法により証明できる。

まずのとき、であり両辺は単項でに等しい。

次に、に対して多項定理が成り立つと仮定する。

に帰納法の仮定を適用して

を得る。最後の等号は

が成り立つことを用いたが、これは例えば階乗による表示を用いれば

と示せる。

応用例一般ライプニッツ則 3個以上の函数の積の高階導函数に対しても、一般のライプニッツの法則を適用することができる：

参考文献

Źródło i licencja