قضیه باقی‌مانده چندجمله‌ای

در جبر، قضیه باقیمانده چند جمله ای یا قضیه کوچک بزو (به نام اتین بزو) کاربرد تقسیم چند جمله ای‌های اقلیدسی است. این بیان می‌کند که باقیمانده تقسیم یک چند جمله ای  توسط چند جمله ای خطی  برابر است با  به خصوص،  مقسوم علیه  است اگر و تنها اگر  باشد. خاصیتی که به عنوان قضیه عامل شناخته می‌شود.

مثال‌ها

مثال ۱ 
فرض می‌کنیم  باشد. تقسیم چند جمله ای از  توسط  ضریب می‌دهد  و باقیمانده آن برابر با  می‌شود. از این رو،  .

مثال ۲ 
نشان دهید که قضیه باقیمانده چند جمله ای برای چند جمله ای دلخواه درجه دوم نگهداری می‌شود  با استفاده از دستکاری جبری:

 

ضرب هر دو طرف در (x − r) می‌دهد:

  .

از آنجا که  باقی مانده‌است، ما در واقع نشان داده‌ایم که  .

اثبات 
قضیه باقیمانده چند جمله ای از قضیه تقسیم اقلیدسی پیروی می‌کند، که با توجه به دو چند جمله ای  (مقسوم) و  (تقسیم‌کننده یا مقسوم علیه یا شمارنده)، وجود (و منحصر به فرد بودن) یک ضریب  یا همان خارج قسمت و یک باقیمانده  گونه ای که

 

اگر مقسوم علیه یا شمارنده  باشد که در آن r یک عدد ثابت است، سپس یا  یا درجه آن صفر است. در هر دو حالت،  یک ثابت است که مستقل از . به این معنا که:

 

تنظیمات  در این فرمول، ما بدست می‌آوریم:

 

برای اثبات کمی متفاوت، که ممکن است برای برخی از افراد ابتدایی تر به نظر برسد، با مشاهده ای شروع می‌شود  ترکیبی خطی از اصطلاحات فرم است  که هر کدام با تقسیم می‌شوند  از آنجا که

برنامه‌های کاربردی 
برای ارزیابی می‌توان از قضیه باقیمانده چند جمله ای استفاده کرد  با محاسبه باقیمانده ،  . اگرچه تقسیم طولانی چند جمله ای دشوارتر از ارزیابی عملکرد است، اما تقسیم ترکیبی از نظر محاسباتی آسان‌تر است؛ بنابراین، ممکن است عملکرد با استفاده از تقسیم مصنوعی و قضیه باقی مانده چند جمله ای «ارزان تر» ارزیابی شود.

قضیه عامل یکی دیگر از کاربردهای قضیه باقیمانده است: اگر باقیمانده صفر باشد، تقسیم خطی یک عامل است. ممکن است برای فاکتور بندی چند جمله ای از تکرار قضیه فاکتور استفاده شود.

منابع 

الگوریتم‌ها
تقسیم
جبر
ریاضیات
قضایای مربوط به چندجمله‌ای‌ها
قضیه‌های ریاضی