اتحاد تفاضل توان‌های زوج: بخش‌پذیری $x^n - a^n$ بر $x + a$ وقتی $n$ زوج است
۱. تفاوت بخش‌پذیری برای توان‌های زوج و فرد
در جبر دبیرستان، اتحادهای مرتبط با $x^n \pm a^n$ از پایه‌ای‌ترین ابزارها برای تجزیه هستند. قاعده کلی این است:
- اگر $n$ فرد باشد، $x^n + a^n$ بر $x + a$ بخش‌پذیر است.
- اگر $n$ زوج باشد، $x^n - a^n$ بر $x + a$ بخش‌پذیر است.
موضوع این مقاله مورد دوم است. به عبارتی، برای هر عدد زوج طبیعی مانند $n = 2k$ (که $k$ عددی صحیح و مثبت است)، چندجمله‌ای $x^{2k} - a^{2k}$ بدون باقی‌مانده بر $x + a$ تقسیم می‌شود.
۲. اثبات با استفاده از قضیه باقی‌مانده (قضیه ریشه)
قضیه باقی‌مانده1 می‌گوید: اگر چندجمله‌ای $P(x)$ را بر دوجمله‌ای $x - c$ تقسیم کنیم، باقی‌مانده برابر $P(c)$ است. اما مقسوم‌علیه ما $x + a$ است که می‌توان آن را به شکل $x - (-a)$ نوشت. بنابراین کافی است مقدار $P(-a)$ را محاسبه کنیم. اگر $P(-a)=0$، آنگاه $x + a$ یک عامل (فاکتور) خواهد بود.
در اینجا $P(x) = x^n - a^n$ که در آن $n$ زوج است. پس:
از آنجا که $n$ زوج است، $(-a)^n = a^n$ (زیرا توان زوج علامت منفی را حذف می‌کند). بنابراین:
بنابراین $x + a$ یک ریشه یا عامل برای $x^n - a^n$ است. این اثبات کاملاً عمومی و بدون نیاز به انجام تقسیم طولانی است.
۳. اتحاد تجزیه و فرمول کلی
با استفاده از اتحاد تفاضل توان‌ها2 و با در نظر گرفتن زوج بودن $n$، می‌توان یک فرمول کلی برای خارج‌قسمت نوشت:
توجه کنید که علائم در پرانتز دوم به صورت متناوب $+$ و $-$ می‌شوند و جمله آخر ($a^{n-1}$) دارای علامت $+$ است. برای حالت $n=4$ داریم:
| نوع عبارت | شرط زوج/فرد بودن $n$ | بخش‌پذیری بر $x+a$ | یک مثال عددی |
|---|---|---|---|
| $x^n - a^n$ | هر $n$ (زوج یا فرد) | تنها بر $x-a$ بخش‌پذیر است، نه همیشه بر $x+a$ | $x^2 - 4$ بر $x+2$ بخش‌پذیر نیست؟ (چون $n=2$ زوج است اما در اینجا بررسی خاصی داریم) |
| $x^n - a^n$ با $n$ زوج | زوج | بله بر $x+a$ بخش‌پذیر است | $x^4 - 16$ بر $x+2$ بخش‌پذیر است |
| $x^n + a^n$ | فرد | بله بر $x+a$ بخش‌پذیر است | $x^3 + 8$ بر $x+2$ بخش‌پذیر است |
۴. کاربرد در ساده‌سازی کسرهای جبری و حل معادله
فرض کنید می‌خواهیم مقدار $\frac{x^6 - 64}{x+2}$ را برای $x \neq -2$ ساده کنیم. در اینجا $n=6$ زوج و $a=2$. طبق اتحاد داریم:
بنابراین:
این روش از انجام تقسیم طولانی و وقت‌گیر جلوگیری می‌کند. همچنین در حل معادلات، اگر معادله‌ای مانند $x^4 = 81$ داشته باشیم، می‌نویسیم $x^4 - 81 = 0$ و چون $n=4$ زوج است، آن را بر $x+3$ تقسیم کرده و ریشه $x=-3$ را به دست می‌آوریم (علاوه بر ریشه $x=3$ که از $x-a$ حاصل می‌شود).
۵. چالش‌های مفهومی
چالش ۱: چرا برای $n$ زوج، عبارت $x^n + a^n$ هرگز بر $x + a$ بخش‌پذیر نیست؟
پاسخ: اگر $P(x)=x^n + a^n$ و $n$ زوج باشد، آنگاه $P(-a)=(-a)^n + a^n = a^n + a^n = 2a^n \neq 0$ (به شرط آنکه $a \neq 0$). بنابراین باقی‌مانده صفر نیست و بخش‌پذیری رخ نمی‌دهد.
چالش ۲: آیا اتحاد فوق برای توان‌های زوج منفی (مانند $n=-2$) نیز برقرار است؟
پاسخ: خیر، اتحادهای بخش‌پذیری معمولاً برای توان‌های طبیعی (صحیح و مثبت) تعریف می‌شوند. برای توان‌های منفی با عبارت گویا سر و کار داریم و قضیه باقی‌مانده به همان سادگی قابل اعمال نیست.
چالش ۳: اگر $a$ خود یک عبارت جبری باشد، آیا باز هم این اتحاد برقرار است؟
پاسخ: بله، اتحاد یک رابطه جبری کلی است و $a$ می‌تواند هر عدد حقیقی یا مختلط یا حتی یک چندجمله‌ای باشد. مثلاً $x^4 - (y+1)^4$ بر $x + (y+1)$ بخش‌پذیر است.
۶. جمع‌بندی
پاورقی
1 قضیه باقی‌مانده (Remainder Theorem): اگر چندجمله‌ای $P(x)$ بر $x-c$ تقسیم شود، باقی‌مانده برابر $P(c)$ است.
2 اتحاد تفاضل توان‌ها (Difference of Powers): برای هر عدد طبیعی $n$ داریم $x^n - a^n = (x-a)(x^{n-1} + a x^{n-2} + ... + a^{n-1})$.
