# مبرهنة ذات الحدود المتعددة

مبرهنة ذات الحدود المتعددة أو مبرهنة متعددة الحدود هي تعميم لمبرهنة ذات الحدين، التي تتعامل مع أسس مجموع عدة حدود. بمعنى آخر، تسمح هذه النظرية بفك تعبير مثل $(x_{1}+\cdots +x_{m})^{n}$ إلى مجموع يعتمد على حدودها الفردية $x_{1},x_{2},\cdots ,x_{m}$ والعدد الصحيح $n$.

## المبرهنة

لأي عدد صحيح موجب $n$ وأي عدد صحيح غير سالب $m$، تصف مبرهنة متعددة الحدود كيفية فك مجموع يتكون من $m$ حدود عند رفعه إلى أس أي $n$:
    $(x_{1}+x_{2}+\cdots +x_{m})^{n}=\sum _{k_{1}+k_{2}+\cdots +k_{m}=n;\ k_{1},k_{2},\cdots ,k_{m}\geq 0}{n \choose k_{1},k_{2},\ldots ,k_{m}}\prod _{t=1}^{m}x_{t}^{k_{t}}\,,$
حيث
    ${n \choose k_{1},k_{2},\ldots ,k_{m}}={\frac {n!}{k_{1}!\,k_{2}!\cdots k_{m}!}}.{\bf {(i)}}$
هو معامل ذات الحدود المتعددة. يتم أخذ المجموع على جميع التركيبات الصحيحة غير السالبة الممكنة من $k_{1}$ إلى $k_{m}$ بحيث يكون مجموع كل $k_{i}$ هو $n$. أي أنه لكل حد في المفكوك، يجب أن يكون مجموع أسس $x_{i}$ مساويًا لـ $n$. كذلك، كما هو الحال مع مبرهنة ذات الحدين، فإن الكميات التي تظهر على شكل $x^{0}$ تؤخذ على أنها تساوي $1$ (حتى عندما تكون $x$ تساوي صفرًا).
في الحالة $m=2$ ، تختصر هذه العبارة إلى تلك الخاصة بمبرهنة ذات الحدين.

### مثال

الأس الثالث للتعبير المكنون من ثلاثة حدود $a+b+c$ يكون:
$(a+b+c)^{3}=a^{3}+b^{3}+c^{3}+3a^{2}b+3a^{2}c+3b^{2}a+3b^{2}c+3c^{2}a+3c^{2}b+6abc.{\bf {(ii)}}$
يمكن حسابه يدويًا باستخدام خاصية توزيع الضرب على الجمع، ولكن يمكن أيضًا إجراؤه (ربما بسهولة أكبر) باستخدام مبرهنة متعددة الحدود. فمن الممكن "استخراج" المعاملات في المعادلة ${\bf {(ii)}}$ باستخدام الصيغة لمعاملات ذات الحدود متعددة ${\bf {(i)}}$. على سبيل المثال:
    معامل $a^{2}b^{0}c^{1}$ هو ${3 \choose 2,0,1}={\frac {3!}{2!\cdot 0!\cdot 1!}}={\frac {6}{2\cdot 1\cdot 1}}=3$
    معامل$a^{1}b^{1}c^{1}$ هو ${3 \choose 1,1,1}={\frac {3!}{1!\cdot 1!\cdot 1!}}={\frac {6}{1\cdot 1\cdot 1}}=6$

### تعبير بديل

يمكن كتابة بيان المبرهنة بإيجاز باستخدام تدوين متعدد الأدلة:
    $(x_{1}+\cdots +x_{m})^{n}=\sum _{|\alpha |=n}{n \choose \alpha }x^{\alpha }$
حيث
    $\alpha =(\alpha _{1},\alpha _{2},\dots ,\alpha _{m})$
و
    $x^{\alpha }=x_{1}^{\alpha _{1}}x_{2}^{\alpha _{2}}\cdots x_{m}^{\alpha _{m}}$

### إثبات

يمكن إثبات مبرهنة متعددة الحدود عن طريق استخدام مبرهنة ذات الحدين والاستقراء على $m$.
أولاً ، بالنسبة لـ $m=1$، كلا الطرفين يساوي $x_{1}^{n}$ نظرًا لوجود حد واحد فقط $n=k_{1}$ في المجموع. في الخطوة الاستقرائية، افترض أن المبرهنة متعددة الحدود صحيحة لـ$m$ . بالتالي
    ${\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}}$
من خلال الفرضية الاستقرائية، نطبق مبرهنة ذات الحدين على المعامل الأخير
    $=\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}}\sum _{k_{m}+k_{m+1}=K}{K \choose k_{m},k_{m+1}}x_{m}^{k_{m}}x_{m+1}^{k_{m+1}}$
    $=\sum _{k_{1}+k_{2}+\cdots +k_{m-1}+k_{m}+k_{m+1}=n}{n \choose k_{1},k_{2},\ldots ,k_{m-1},k_{m},k_{m+1}}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m-1}^{k_{m-1}}x_{m}^{k_{m}}x_{m+1}^{k_{m+1}}$
وبذلك يكتمل الاستقراء. استنتجنا الخطوة الأخيرة بسبب العلاقة
    ${n \choose k_{1},k_{2},\ldots ,k_{m-1},K}{K \choose k_{m},k_{m+1}}={n \choose k_{1},k_{2},\ldots ,k_{m-1},k_{m},k_{m+1}},$
والذي بدوره يمكن استنتاجه باستخدام تعريف معامل ذات الحدود المتعددة ${\bf {(i)}}$
    ${\frac {n!}{k_{1}!k_{2}!\cdots k_{m-1}!K!}}{\frac {K!}{k_{m}!k_{m+1}!}}={\frac {n!}{k_{1}!k_{2}!\cdots k_{m+1}!}}.$

## معاملات متعددة الحدود

كما أشرنا سابقاً إن الارقام
    ${n \choose k_{1},k_{2},\ldots ,k_{m}}$
التي تظهر في المبرهنة هي معاملات ذات الحدود المتعددة, ويمكن التعبير عنها بعدة طرق، أحدها هي جداء لمعاملات ذات الحدين أو المضروب.
    ${n \choose k_{1},k_{2},\ldots ,k_{m}}={\frac {n!}{k_{1}!\,k_{2}!\cdots k_{m}!}}={k_{1} \choose k_{1}}{k_{1}+k_{2} \choose k_{2}}\cdots {k_{1}+k_{2}+\cdots +k_{m} \choose k_{m}}$

### مجموع كل معاملات متعددة الحدود

التعويض عن $x_{i}=1$ لكل $i$ في مبرهنة متعددة الحدود
    $\sum _{k_{1}+k_{2}+\cdots +k_{m}=n}{n \choose k_{1},k_{2},\ldots ,k_{m}}x_{1}^{k_{1}}x_{2}^{k_{2}}\cdots x_{m}^{k_{m}}=(x_{1}+x_{2}+\cdots +x_{m})^{n}$
يعطي ذلك على الفور
    $\sum _{k_{1}+k_{2}+\cdots +k_{m}=n}{n \choose k_{1},k_{2},\ldots ,k_{m}}=m^{n}.$

### عدد معاملات متعددة الحدود

عدد الحدود في مجموع متعدد الحدود، ويرمز إليه $\#_{n,m}$، يساوي عدد الحدود الأحادية من الدرجة $n$ في المتغيرات $x_{1},\cdots ,x_{m}$:
    $\#_{n,m}={n+m-1 \choose m-1}.$
يمكن إجراء العد بسهولة باستخدام طريقة النجوم والأشرطة .

### تقييم معاملات متعددة الحدود

يمكننا حساب أكبر أس للعدد الأولي $p$ الذي يقسم معامل متعدد الحدود، وذلك من خلال تعميم مبرهنة كومر.

## التفسيرات
### طرق لوضع الأشياء في صناديق

معاملات متعددة الحدود لها تفسير توافقي مباشر، فتمثل عدد طرق توزيع $n$ أشياء مختلفة في $m$ صناديق مختلفة، بحيث يكون هناك $k_{1}$ شىء في الصندوق الأول، $k_{2}$ شيء في الصندوق الثاني، وهكذا.

### عدد طرق التحديد وفقًا للتوزيع

في الميكانيكا الإحصائية والتوافقيات ، إذا أردنا توزيع علامات (labels) بواسطة مجموعة من الأرقام ، فإن معاملات متعددة الحدود تنتج بشكل طبيعي من معاملات ذات الحدين. بالنظر إلى توزيع الأرقام $\{n_{i}\}$ على مجموعة $N$ من العناصر، يمثل $n_{i}$ عدد العناصر التي سيتم منحها العلامة $i$ . (في الميكانيكا الإحصائية ، $i$ هي العلامة الحالة الطاقة.)
* اختيار $n_{1}$ من إجمالي $N$ ليتم إعطائها علامة $1$. يمكن القيام بذلك بواسطة $N \choose n_{1}$ طريقة.
* من العناصر $N-n_{1}$ المتبقية ، اختر $n_{2}$ لإعطائها علامة $2$. يمكن القيام بذلك بواسطة $N-n_{1} \choose n_{2}$ طريقة.
* من العناصر المتبقية $N-n_{1}-n_{2}$، اختر $n_{3}$ لإعطائها علامة $3$. مرة أخرى ، يمكن القيام بذلك بواسطة $N-n_{1}-n_{2} \choose n_{3}$ طريقة.
يؤدي ضرب عدد الاختيارات من كل خطوة إلى:
    ${N \choose n_{1}}{N-n_{1} \choose n_{2}}{N-n_{1}-n_{2} \choose n_{3}}\cdots ={\frac {N!}{(N-n_{1})!n_{1}!}}\cdot {\frac {(N-n_{1})!}{(N-n_{1}-n_{2})!n_{2}!}}\cdot {\frac {(N-n_{1}-n_{2})!}{(N-n_{1}-n_{2}-n_{3})!n_{3}!}}\cdots .$
ينتج عن الإختصار معادلة معاملات ذات الحدود المتعددة ${\bf {(i)}}$.

### عدد التبديلات الوحيدة للكلمات

المعامل متعدد الحدود ${\binom {n}{k_{1},\ldots ,k_{m}}}$ يمثل أيضًا عدد الطرق المختلفة لتبديل $n$ عنصر في المجموعة المتعددة، حيث يمثل $k_{i}$ تعدد كل عنصر من العناصر i. على سبيل المثال، عدد التبديلات المختلفة لأحرف كلمة MISSISSIPPI ، التي تحتوي على 1 M و 4 S و 4 I و 2 P ، هو
    ${11 \choose 1,4,4,2}={\frac {11!}{1!\,4!\,4!\,2!}}=34650.$

### مثلث باسكال المعمم

يمكن للمرء استخدام نظرية متعددة الحدود لتعميم مثلث باسكال أو هرم باسكال إلى مبسط باسكال. يعطي هذا التعميم طريقة سريعة لإيجاد معاملات متعددة الحدود.