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

(بالتحويل من مبرهنة متعدد الحدود)

مبرهنة ذات الحدود المتعددة أو مبرهنة متعددة الحدود هي تعميم لمبرهنة ذات الحدين، التي تتعامل مع أسس[1] مجموع عدة حدود. بمعنى آخر، تسمح هذه النظرية بفك تعبير مثل إلى مجموع يعتمد على حدودها الفردية والعدد الصحيح .

نظرية متعدد الحدود
معلومات عامة
جزء من
سُمِّي باسم
تعريف الصيغة
عدل القيمة على Wikidata
الرموز في الصيغة




عدل القيمة على Wikidata

المبرهنة

عدل

لأي عدد صحيح موجب   وأي عدد صحيح غير سالب  ، تصف مبرهنة متعددة الحدود كيفية فك مجموع يتكون من   حدود عند رفعه إلى أس أي  :[1]

 

حيث

 

هو معامل ذات الحدود المتعددة. يتم أخذ المجموع على جميع التركيبات الصحيحة غير السالبة الممكنة من   إلى   بحيث يكون مجموع كل   هو  . أي أنه لكل حد في المفكوك، يجب أن يكون مجموع أسس   مساويًا لـ  . كذلك، كما هو الحال مع مبرهنة ذات الحدين، فإن الكميات التي تظهر على شكل   تؤخذ على أنها تساوي   (حتى عندما تكون   تساوي صفرًا).

في الحالة   ، تختصر هذه العبارة إلى تلك الخاصة بمبرهنة ذات الحدين.

مثال

عدل

الأس الثالث للتعبير المكنون من ثلاثة حدود   يكون:

 

يمكن حسابه يدويًا باستخدام خاصية توزيع الضرب على الجمع، ولكن يمكن أيضًا إجراؤه (ربما بسهولة أكبر) باستخدام مبرهنة متعددة الحدود. فمن الممكن "استخراج" المعاملات في المعادلة   باستخدام الصيغة لمعاملات ذات الحدود متعددة  . على سبيل المثال:

معامل   هو  
معامل  هو  

تعبير بديل

عدل

يمكن كتابة بيان المبرهنة بإيجاز باستخدام تدوين متعدد الأدلة:

 

حيث

 

و

 

إثبات

عدل

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

أولاً ، بالنسبة لـ  ، كلا الطرفين يساوي   نظرًا لوجود حد واحد فقط   في المجموع. في الخطوة الاستقرائية، افترض أن المبرهنة متعددة الحدود صحيحة لـ  . بالتالي

 

من خلال الفرضية الاستقرائية، نطبق مبرهنة ذات الحدين على المعامل الأخير

 
 

وبذلك يكتمل الاستقراء. استنتجنا الخطوة الأخيرة بسبب العلاقة

 

والذي بدوره يمكن استنتاجه باستخدام تعريف معامل ذات الحدود المتعددة  

 

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

عدل

كما أشرنا سابقاً إن الارقام

 

التي تظهر في المبرهنة هي معاملات ذات الحدود المتعددة, ويمكن التعبير عنها بعدة طرق، أحدها هي جداء لمعاملات ذات الحدين أو المضروب.

 

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

عدل

التعويض عن   لكل   في مبرهنة متعددة الحدود

 

يعطي ذلك على الفور

 

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

عدل

عدد الحدود في مجموع متعدد الحدود، ويرمز إليه  ، يساوي عدد الحدود الأحادية من الدرجة   في المتغيرات  :

 

يمكن إجراء العد بسهولة باستخدام طريقة النجوم والأشرطة .

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

عدل

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

التفسيرات

عدل

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

عدل

معاملات متعددة الحدود لها تفسير توافقي مباشر، فتمثل عدد طرق توزيع   أشياء مختلفة في   صناديق مختلفة، بحيث يكون هناك   شىء في الصندوق الأول،   شيء في الصندوق الثاني، وهكذا.[3]

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

عدل

في الميكانيكا الإحصائية والتوافقيات ، إذا أردنا توزيع علامات (labels) بواسطة مجموعة من الأرقام ، فإن معاملات متعددة الحدود تنتج بشكل طبيعي من معاملات ذات الحدين. بالنظر إلى توزيع الأرقام   على مجموعة   من العناصر، يمثل   عدد العناصر التي سيتم منحها العلامة   . (في الميكانيكا الإحصائية ،   هي العلامة الحالة الطاقة.)

  • اختيار   من إجمالي   ليتم إعطائها علامة  . يمكن القيام بذلك بواسطة   طريقة.
  • من العناصر   المتبقية ، اختر   لإعطائها علامة  . يمكن القيام بذلك بواسطة   طريقة.
  • من العناصر المتبقية  ، اختر   لإعطائها علامة  . مرة أخرى ، يمكن القيام بذلك بواسطة   طريقة.

يؤدي ضرب عدد الاختيارات من كل خطوة إلى:

 

ينتج عن الإختصار معادلة معاملات ذات الحدود المتعددة  .

 
المعامل متعدد الحدود كجداء معاملات ذات الحدين، مع عد التبديلات لأحرف كلمة MISSISSIPPI.

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

عدل

المعامل متعدد الحدود   يمثل أيضًا عدد الطرق المختلفة لتبديل   عنصر في المجموعة المتعددة، حيث يمثل   تعدد كل عنصر من العناصر i. على سبيل المثال، عدد التبديلات المختلفة لأحرف كلمة MISSISSIPPI ، التي تحتوي على 1 M و 4 S و 4 I و 2 P ، هو[4]

 

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

عدل

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


المراجع

عدل
  1. ^ ا ب ج Sylvestre, Jeremy. EF Multinomial Coefficients (بالإنجليزية الأمريكية). Archived from the original on 2024-09-08.
  2. ^ Mihet، Dorel (ديسمبر 2010). "Legendre's and Kummer's Theorems Again". Resonance. ج. 15 ع. 12: 1111–1121. مؤرشف من الأصل في 2024-08-15.
  3. ^ National Institute of Standards and Technology (11 مايو 2010). "NIST Digital Library of Mathematical Functions". Section 26.4. مؤرشف من الأصل في 2022-05-16. اطلع عليه بتاريخ 2010-08-30.
  4. ^ "7.6 - Counting Principles". people.richland.edu. مؤرشف من الأصل في 2020-11-18. اطلع عليه بتاريخ 2024-09-08.
  5. ^ Peter Fox (1998). Cambridge University Library: the great collections. Cambridge University Press. ص. 13. ISBN:978-0-521-62647-7. مؤرشف من الأصل في 2020-03-02.