二項定理の他の多項式への一般化
数学において、多項式定理は、和の累乗をその和に含まれる項の累乗で展開する方法を説明します。これは、二項式定理を二項式から多項式に一般化したものです。
定理
任意の正の整数mと任意の非負の整数nについて、多項式定理はm項の和
がn乗されたときにどのように拡張されるかを記述します。
ここで は
多項式係数
です。この和は、すべてのk iの合計がnとなるような、非負の整数インデックスk 1からk mまでのすべての組み合わせにわたって取られます。つまり、展開の各項について、x iの指数はnになる必要があります。[1] [a]
m = 2の場合、この命題は二項定理の命題に帰着する。[1]
例
三項式a + b + cの 3 乗は次のように与えられます。
これは、加算に対する乗算の分配法則と同類項の結合を使用して手動で計算できますが、多項式定理を使用して (おそらくより簡単に) 行うこともできます。多項式係数の公式を使用して、項から多項式係数を「読み取る」ことができます。たとえば、項 には係数 があり、項 には係数などです。





代替表現
定理の記述は、多重インデックスを使用して簡潔に記述できます。

どこ

そして

証拠
この多項式定理の証明では、二項式定理とmに対する帰納法を使用します。
まず、m = 1の場合、和にはk 1 = nという項が 1 つだけあるため、両辺はx 1 nに等しくなります。帰納法のステップでは、 mに対して多項式定理が成り立つと仮定します。すると、
![{\displaystyle {\begin{aligned}&(x_{1}+x_{2}+\cdots +x_{m}+x_{m+1})^{n}=(x_{1}+x_{2}+\cdots +(x_{m}+x_{m+1}))^{n}\\[6pt]={}&\sum _{k_{1}+k_{2}+\cdots +k_{m-1}+K=n}{n \choose k_{1},k_{2},\ldots ,k_{m-1},K}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m-1}^{k_{m-1}}(x_{m}+x_{m+1})^{K}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1adc5f8add6e0ee01e9fc422b22e5d75ac722cc7)
帰納仮説によって。最後の因子に二項定理を適用すると、


これで帰納法は完了です。最後のステップは、

次のように 3 つの係数を階乗で表すと簡単にわかります。

多項係数
数字

定理に現れるのは多項式係数である。これらは、二項式係数や階乗の積など、さまざまな方法で表現できる。

すべての多項係数の合計
多項式定理に
すべてのiについてx i = 1を代入すると、

すぐにそれを与える

多項式係数の数
多項式和の項の数# n , mは、変数x 1 , …, x mの次数nの単項式の数に等しい。

星と棒の方式を使用すると、簡単にカウントできます。
多項式係数の評価
多項式係数を割り切る素数pの最大累乗は、クンマーの定理の一般化を使用して計算できます。
漸近解析
スターリング近似、または同等の対数ガンマ関数の漸近展開により、例えば、
解釈
物を箱に入れる方法
多項式係数は、 n個の異なるオブジェクトをm個の異なるビンに配置する方法の数として、直接的な組み合わせ解釈が可能です。最初のビンにはk1個のオブジェクト、2番目のビンにはk2個のオブジェクト、というように配置します。[2]
分布に従って選択する方法の数
統計力学と組合せ論では、ラベルの数分布がある場合、多項係数は二項係数から自然に生じます。 合計N個の項目のセットの数分布{ n i }が与えられた場合、n i はラベルiが付与される項目の数を表します。(統計力学では、i はエネルギー状態のラベルです。)
配置の数は次のように求められる。
- 合計Nのうちn 1 を選択して1 とラベル付けします。これは、次の方法で実行できます。

- 残りのN − n 1 個の項目からn 2 個を選択して2 にラベルを付けます。これは次の方法で実行できます。

- 残りのN − n 1 − n 2個の項目からn 3 個を選択して3 にラベルを付けます。これも、複数の方法で実行できます。

各ステップで選択肢の数を掛け合わせると、次のようになります。

キャンセルの結果は上記の式になります。
単語のユニークな順列の数
MISSISSIPPI の文字の順列を数える、二項係数の積としての多項係数。
多項係数

は、n個の要素からなる多重集合を並べ替える異なる方法の数でもあります。ここで、 k i はi番目の要素のそれぞれの多重度です。たとえば、MISSISSIPPI という単語には、1 つの M、4 つの I、4 つの S、2 つの P があり、その文字の異なる並べ替えの数は、

一般化されたパスカルの三角形
多項式定理を使用すると、パスカルの三角形またはパスカルのピラミッドをパスカルの単体に一般化できます。これにより、多項式係数の参照テーブルをすばやく生成できます。
参照
参考文献
- ^ ab スタンレー、リチャード(2012)、列挙的組合せ論、第1巻(第2版)、ケンブリッジ大学出版局、§1.2
- ^ アメリカ国立標準技術研究所(2010 年 5 月 11 日)。「NIST 数学関数デジタルライブラリ」セクション 26.4。2010年8 月 30 日閲覧。