多項定理

二項定理の一般化

数学における多項定理(たこうていり、: multinomial theorem)は二項定理における二項式多項式に対して一般化するもので、多項和 (multinomial) の冪を和の各項からなる積和へ展開する方法を記述するものである。

定理の主張編集

任意の正整数 m と任意の非負整数 n に対して、多項公式 (multinomial formula) は m-項和の任意の n-冪が

 

と展開されることを示すものである。ただし、係数

 

多項係数である。また、和は非負整数値をとる添字列 k1, k2, …, km でそれらの総和が k1 + k2 + … + km = n を満たすものすべてに亙って取る。従って、展開された式の各項は全次数(各変数 xi の冪指数 ki の総和)が n でなければならない。また二項定理の場合と同様、x0 の形の量が現れたときは(x が零のときも含めて恒等的に)1 に等しいものと理解しなければならない。

  • m = 2 のとき、主張は二項定理に帰着される。

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

 

と短く書ける。ここに、α = (α1, α2, …, αm), x = (x1, x2, …, xm) であって, xα = xα1
1
xα2
2
⋅ ⋯ ⋅xαm
m
および |α| = α1 + α2 + … + αm, α! = α1! α2! ⋅ … ⋅ αm! に対して (n
α
) = n!α! = |α|α!
である。

証明編集

二項定理m に関する数学的帰納法による。

まず m = 1 のとき、k1 = n であり両辺は単項で x1n に等しい。次に、m に対して多項定理が満足されると仮定するとき、

 

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

 

最後の項に二項定理を適用して

 

を得る。最後の等号は

 

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

 

と容易に示せる。

参考文献編集

関連項目編集

外部リンク編集

  • mutinom.m function in Specfun (since 1.1.0) package of Octave-Forge for GNU Octave. SVN version
  • Hazewinkel, Michiel, ed. (2001), "Multinomial coefficient", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4