مبرهنة البواقي

في الجبر ، مبرهنة البواقي (Remainder theorem) أو مبرهنة بيزو الصغيرة (سميت على اسم إيتيان بيزو ) [1] هي تطبيق للقسمة الإقليدية لمتعددات الحدود . وتنص على أنه لكل عدد ,أي دالة متعددة الحدود تساوي حاصل جمع مع جداء من متعددة حدود في ذات درجة أقل من درجة وحاصل القسمة بشكل خاص، هو باقي القسمة الاقليدية للدالة على

و هو المقسوم عليه للدالة إذا وفقط إذا [2] ضمن حالة خاصة تعرف بمبرهنة قابلية القسمة في الجبر..

أمثلة

عدل

المثال الأول

عدل

لتكن   . عن طريق تقسيم متعددة الحدود   بواسطة   يتم الحصول على ناتج قسمة يساوي   والباقي   . لذلك   .

المثال الثاني

عدل

هذا اثبات أن مبرهنة البواقي تنطبق على متعدد الحدود التعسفي من الدرجة الثانية   عن طريق معالجة التعبير: لذا وهي بالضبط صيغة القسمة الإقليدية.

ويرد أدناه تعميم هذا البرهان إلى أي درجة في § برهان مباشر.

البراهين

عدل

باستخدام القسمة الإقليدية

عدل

تتبع مبرهنة البواقي من مبرهنة القسمة الإقليدية ، والتي، بالنظر إلى متعددتي الحدود f(x) (المقسوم) و g(x) (المقسوم عليه)، تؤكد وجود (وتفرد) حاصل القسمة Q(x) والباقي R(x), كما هو موضح :

 

إذا كان المقسوم عليه   حيث r عدد ثابت، فإما R(x) = 0 أو درجته صفر؛ في كلتا الحالتين، R(x) هو عدد ثابت مستقل عن x ؛ إنه

 

بتعويض   في هذه الصيغة نحصل على:

 

برهان مباشر

عدل

يستخدم البرهان البناء — الذي لا يتضمن مبرهنة القسمة الإقليدية — المتطابقة

 

إذا كان   يدل على العامل الكبير في الجانب الأيمن من هذه المتطابقة، و

 

بالإمكان

 

(بما أن   ).

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

التطبيقات

عدل

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

مبرهنة قابلية القسمة في الجبر هي تطبيق آخر لمبرهنة البواقي: إذا كان الباقي صفرًا، فإن المقسوم عليه الخطي هو عامل. إعادة تكرار مبرهنة قابلية القسمة قد تستخدم لتفكيك متعددات الحدود. [3]

مراجع

عدل
  1. ^ Piotr Rudnicki (2004). "Little Bézout Theorem (Factor Theorem)" (PDF). Formalized Mathematics. ج. 12 ع. 1: 49–58. مؤرشف من الأصل (PDF) في 2024-03-16.
  2. ^ Larson, Ron (2014), College Algebra, Cengage Learning
  3. ^ Larson, Ron (2011), Precalculus with Limits, Cengage Learning