عامل چندجملهای: یافتن چندجملهای $p(x)$ که $f(x)$ بر آن بخشپذیر باشد
بخشپذیری چندجملهای و مفهوم عامل
در جبر دبیرستان، زمانی که یک چندجملهای مانند $f(x)$ را بر چندجملهای دیگر مانند $p(x)$ تقسیم میکنیم، اگر باقیماندهٔ تقسیم برابر صفر شود، میگوییم $f(x)$ بر $p(x)$بخشپذیر است. در این حالت $p(x)$ را یک عامل یا مقسومعلیهٔ $f(x)$ مینامیم. به عبارت دیگر، رابطهٔ زیر برقرار است:
که در آن $q(x)$ چندجملهای خارجقسمت است. برای نمونه، چندجملهای $f(x)=x^2-5x+6$ بر $p(x)=x-2$ بخشپذیر است زیرا:
در این مقاله هدف ما یافتن چندجملهای $p(x)$ (با درجهٔ دلخواه) است که $f(x)$ بر آن بخشپذیر باشد. این کار معمولاً با یافتن ریشههای $f(x)$ و ساختن عاملهای خطی مرتبط با آنها انجام میشود.
قضیهٔ باقیمانده و قضیهٔ عامل: ابزارهای اصلی
قضیهٔ باقیمانده میگوید: اگر چندجملهای $f(x)$ را بر $x-c$ تقسیم کنیم، باقیمانده برابر $f(c)$ است. از این قضیه برای یافتن بخشپذیری استفاده میکنیم: $f(x)$ بر $x-c$ بخشپذیر است اگر و تنها اگر $f(c)=0$. به عبارت دیگر، $c$ ریشهٔ $f(x)$ باشد. این مطلب به قضیهٔ عامل معروف است.
مثال عملی: فرض کنید $f(x)=x^3-4x^2+x+6$. آیا $p(x)=x-2$ یک عامل است؟ مقدار $f(2)=8-16+2+6=0$ را محاسبه میکنیم. چون نتیجه صفر شد، $x-2$ یک عامل است و $f(x)$ بر $x-2$ بخشپذیر میباشد.
| نام قضیه | شرط بخشپذیری بر $x-c$ | کاربرد اصلی |
|---|---|---|
| قضیهٔ باقیمانده | $f(c)=0$ | محاسبهٔ باقیمانده بدون تقسیم |
| قضیهٔ عامل | $f(c)=0$ | تشخیص عامل خطی $x-c$ |
مراحل گامبهگام برای یافتن چندجملهای $p(x)$
برای یافتن چندجملهای $p(x)$ که $f(x)$ بر آن بخشپذیر باشد، از روش زیر پیروی میکنیم:
- گام یک: درجهٔ مورد نظر برای $p(x)$ را مشخص کنید (معمولاً عامل خطی یا درجهٔ کمتر از $f(x)$).
- گام دو: ریشههای احتمالی گویا را با استفاده از قضیهٔ ریشهٔ گویا5 پیدا کنید: اگر $f(x)=a_nx^n+...+a_0$، ریشهٔ گویا به شکل $\frac{p}{q}$ است که $p$ مقسومعلیهٔ $a_0$ و $q$ مقسومعلیهٔ $a_n$ است.
- گام سه: هر ریشهٔ حقیقی مانند $c$ را در $f(x)$ امتحان کنید تا $f(c)=0$ شود.
- گام چهار: برای هر ریشهٔ $c$، عامل خطی $x-c$ را بسازید. حاصلضرب هر مجموعه از این عاملهای خطی، یک $p(x)$ معتبر خواهد بود.
- گام پنج: با تقسیم طولی یا ترکیب عاملها، صحت بخشپذیری را بررسی کنید.
به عنوان مثال، برای $f(x)=x^3-3x^2+4$، مقسومعلیههای جملهٔ ثابت ($4$) عبارتند از $\pm1, \pm2, \pm4$. با تست این اعداد، $f(2)=8-12+4=0$ پس $x-2$ یک عامل است. برای یافتن عامل درجهٔ $2$، میتوانیم $f(x)$ را بر $x-2$ تقسیم کنیم تا خارجقسمت $x^2-x-2$ به دست آید. بنابراین $p(x)=x^2-x-2$ نیز یک عامل (مقسومعلیه) برای $f(x)$ محسوب میشود.
استفاده عملی: یافتن عامل برای چندجملهای درجهٔ سه
فرض کنید میخواهیم همهٔ چندجملهایهای $p(x)$ از درجهٔ یک یا دو را بیابیم که $f(x)=2x^3+3x^2-8x+3$ بر آنها بخشپذیر باشد. ابتدا ریشههای گویا را جستجو میکنیم. جملهٔ ثابت $3$ و ضریب اول $2$ است. ریشههای کاندید: $\pm1, \pm3, \pm\frac12, \pm\frac32$. با محاسبه:
$f(-3)=-54+27+24+3=0$ → ریشه $x=-3$
$f(\frac12)=0.25+0.75-4+3=0$ → ریشه $x=\frac12$
بنابراین عاملهای خطی عبارتند از $x-1$، $x+3$ و $2x-1$ (توجه: از ریشهٔ $\frac12$ عامل $2x-1$ ساخته میشود). حال میتوانیم هر ترکیبی از این عاملها را در هم ضرب کنیم تا $p(x)$های مختلف به دست آیند:
| ریشهها | چندجملهای $p(x)$ | درجهٔ $p(x)$ |
|---|---|---|
| $1$ | $x-1$ | $1$ |
| $-3$ | $x+3$ | $1$ |
| $\frac12$ | $2x-1$ | $1$ |
| $1,-3$ | $x^2+2x-3$ | $2$ |
| $1,\frac12$ | $(x-1)(2x-1)=2x^2-3x+1$ | $2$ |
چالشهای مفهومی
پاسخ: خیر. تنها چندجملهایهایی که حداقل یک ریشهٔ حقیقی دارند، عامل خطی حقیقی خواهند داشت. برای نمونه $x^2+1$ هیچ ریشهٔ حقیقی ندارد، بنابراین در اعداد حقیقی نمیتوان آن را به عاملهای خطی تجزیه کرد.
پاسخ: در مجموعهٔ اعداد حقیقی، اگر $p(x)$ درجهٔ بزرگتر از $2$ داشته باشد، ممکن است خودش به عاملهای خطی تجزیه نشود (مثل $p(x)=x^2+1$ که بر $f(x)=x^4-1$ بخشپذیر است اما خودش تجزیه خطی ندارد). بخشپذیری به معنای وجود خارجقسمت است، نه تجزیهپذیری $p(x)$.
پاسخ: با استفاده از الگوریتم اقلیدس برای چندجملهایها. اگر $f(x)$ و $g(x)$ را تقسیم کنیم و این فرآیند را تکرار کنیم، آخرین باقیماندهٔ غیرصفر، ب.م.م آنهاست. هر مقسومعلیهای از ب.م.م، بر هر دو چندجملهای بخشپذیر خواهد بود.
پاورقی
1 عامل جبری (Algebraic Factor): چندجملهای که بدون باقیمانده در چندجملهای دیگر ضرب میشود و حاصل آن چندجملهای اصلی را میدهد.
2 بخشپذیری چندجملهای (Polynomial Divisibility): وضعیتی که در آن تقسیم یک چندجملهای بر چندجملهای دیگر، باقیماندهٔ صفر تولید میکند.
3 قضیهٔ باقیمانده (Remainder Theorem): باقیماندهٔ تقسیم $f(x)$ بر $x-c$ برابر $f(c)$ است.
4 قضیهٔ عامل (Factor Theorem): $x-c$ یک عامل از $f(x)$ است اگر و تنها اگر $f(c)=0$.
5 قضیهٔ ریشهٔ گویا (Rational Root Theorem): هر ریشهٔ گویا به صورت $\frac{p}{q}$ (کسری سادهشده) که در آن $p$ مقسومعلیهٔ جملهٔ ثابت و $q$ مقسومعلیهٔ ضریب بزرگترین درجه است.