افتح القائمة الرئيسية

نظرية ذات الحدين

المعاملات الثنائية تظهر مداخل في مثلث باسكال حيث كل مدخل هو مجموع المدخلين الموجودين فوقه.

نظرية ذات الحدين أو حد الكرخي-نيوتن أو ثنائي نيوتن (بالإنكليزية: Binomial theorem) هي صيغة ساهم في وضعها نيوتن لإيجاد نشر لثنائي مرفوع إلى قوة صحيحة ما.[1][2][3] ويطلق على هذه الصيغة صيغة ثنائي نيوتن، أو ببساطة صيغة الثنائي .


نظرية ذات الحدين
Binomial expansion visualisation.svg
 

النوع مبرهنة،  وصيغة رياضية  تعديل قيمة خاصية حالة من (P31) في ويكي بيانات
الصيغة   تعديل قيمة خاصية تعريف الصيغة (P2534) في ويكي بيانات
سميت بأسم ذو اسمين،  وإسحاق نيوتن  تعديل قيمة خاصية سمي باسم (P138) في ويكي بيانات

التاريخ والترميزعدل

عُرفت حالات خاصة من مبرهنة ذات الحدين على الأقل منذ القرن الرابع قبل الميلاد حيث أشار عالم الرياضيات الإغريقي إقليدس إلى الحالة الخاصة التي يكون فيها الأس مساويا لاثنين. أما ذات الحدين من الدرجة الثالثة، فهناك أدلة على أنها كانت معروفة خلال القرن السادس الميلادي في الهند.

أول صيغة لمبرهنة ذات الحدين مع لائحة المعاملات يمكن أن توجد في عمل لأبي بكر الكرجي، عالم رياضيات فارسي توفي في 1020 ميلادية، كما جاء بذلك السموأل بن يحيى المغربي في كتابه الباهر في الجبر.

في عام 1544، اقترح العالم ميكائيل شتيفل مصطلح المعامل الثنائي مبرهنا على كيفية الحصول على   من خلال  .

عالم الرياضيات أندرياس فون ايتينغ هاوسن هو أول من اقترح الرمز  . كان ذلك عام 1826.

عموما، يشار إلى إسحاق نيوتن على أنه أول من عمم مبرهنة ذي الحدين على جميع الأعداد الجذرية.

الصيغةعدل

ليكن ثنائي متكون من عنصرين x وy معرفين على مجموعة حيث xy=yx، وعدد صحيح طبييع n،

 

حيث الأعداد   (و التي تكتب أحيانا  ) هي المعاملات الثنائية.

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

تغيير y ب y - داخل الصيغة، يعطي الصيغة :

 

مثال :

 
 
 

البرهانعدل

لتكن y، x عناصر من مجموعة حيث xy=yx و n عددا طبيعيا صحيحا.

 

لنبين هذه الصيغة بالـ "الطريقة التراجعية" :

البدايةعدل

 

صحة العنصر التاليعدل

ليكن n عددا صحيحا طبيعيا أكبر أو مساو لـ 1، سنبين أن العلاقات صحيحة لـ n + 1 إذا كانت صحيحة لـ n:

حسب الافتراض الأول :

 

بتوزيعية   على   :

 

بالتفكيك إلى جداء :

 

باستعمال صيغة مثلث باسكال :

 

و هو ما ينهي التبيين الافتراضي.

مراجععدل

  1. ^ Kline، Morris (1972). History of mathematical thought. Oxford University Press. صفحة 273. 
  2. ^ Biggs، N. L. (1979). "The roots of combinatorics". Historia Math. 6 (2): 109–136. doi:10.1016/0315-0860(79)90074-0. 
  3. ^ Cover، Thomas M.؛ Thomas، Joy A. (2001-01-01). Data Compression (باللغة الإنجليزية). John Wiley & Sons, Inc. صفحة 320. ISBN 9780471200611. doi:10.1002/0471200611.ch5.