بخش‌پذیری xⁿ − aⁿ بر x − a

بررسی قضیه عامل، اتحادهای مهم، کاربرد در ساده‌سازی و حل معادلات جبری

در این مقاله اثبات می‌کنیم که برای هر عدد طبیعی $n$، چندجمله‌ای $x^n - a^n$ همواره بر دو جمله‌ای $x - a$ بخش‌پذیر است. با معرفی قضیه عامل¹، اتحاد های چاق‌لاغر و الگوی ضریب‌ها، به همراه مثال‌های عددی و جبری، درک عمیقی از این مفهوم پایه‌ای در چندجمله‌ای‌ها و دنباله‌های حسابی به دست می‌دهیم.

بخش‌پذیری در چندجمله‌ای‌ها یعنی حاصل تقسیم یک چندجمله‌ای بر چندجمله‌ای دیگر، چندجمله‌ای با درجه صحیح و بدون باقی‌مانده باشد.

برای بررسی اینکه آیا $x^n - a^n$ بر $x - a$ بخش‌پذیر است یا نه، از قضیه عامل (Factor Theorem)¹ استفاده می‌کنیم. این قضیه می‌گوید: اگر $P(x)$ یک چندجمله‌ای باشد، آن‌گاه $(x - c)$ یک عامل² از $P(x)$ است اگر و تنها اگر $P(c)=0$.

در اینجا $P(x)=x^n - a^n$ و $c=a$ را در نظر می‌گیریم. مقدار $P(a)$ را محاسبه می‌کنیم: $P(a)=a^n - a^n = 0$. پس شرط قضیه عامل برقرار است و نتیجه می‌گیریم $(x - a)$ همواره $x^n - a^n$ را برای هر $n \in \mathbb{N}$ می‌شمارد (یعنی بدون باقی‌مانده تقسیم می‌کند).

مثال عددی: فرض کنید $x=5$، $a=2$ و $n=3$. آن‌گاه $5^3 - 2^3 = 125 - 8 = 117$. حال $5 - 2 = 3$. می‌بینیم $117 \div 3 = 39$ و باقی‌مانده صفر است. بنابراین بخش‌پذیری در اعداد نیز برقرار است.

خارج‌قسمت تقسیم $x^n - a^n$ بر $x - a$ یک چندجمله‌ای از درجه $n-1$ است که با استفاده از اتحاد چاق‌لاغر (difference of powers) به دست می‌آید: $$x^n - a^n = (x - a)(x^{n-1} + x^{n-2}a + x^{n-3}a^2 + \dots + x a^{n-2} + a^{n-1})$$

برای $n=1$ اتحاد به صورت $x - a = (x-a)$ و برای $n=2$ به فرم $x^2 - a^2 = (x-a)(x+a)$ می‌شود که همان اتحاد مزدوج است. در حالت $n=3$ داریم: $x^3 - a^3 = (x-a)(x^2 + x a + a^2)$.

توان $n$	اتحاد $x^n - a^n$	ضریب‌های خارج‌قسمت
$1$	$x-a$	$1$
$2$	$x^2 - a^2$	$1,1$
$3$	$x^3 - a^3$	$1,1,1$
$4$	$x^4 - a^4$	$1,1,1,1$

همان‌طور که مشاهده می‌شود، تمام ضریب‌های خارج‌قسمت برابر $1$ هستند. این الگو برای هر $n$ طبیعی برقرار است. بنابراین خارج‌قسمت به شکل زیر نوشته می‌شود: $$Q(x)=x^{n-1}+x^{n-2}a+\dots+x a^{n-2}+a^{n-1}$$ که مجموع یک تصاعد هندسی³ با جمله اول $x^{n-1}$ و نسبت $\frac{a}{x}$ است (در شرایطی که $x \neq 0$).

یکی از مهم‌ترین کاربردهای این بخش‌پذیری، ساده‌سازی کسرهای گویا است. به مثال زیر توجه کنید:
$$\frac{x^5 - 32}{x - 2}$$ در اینجا $a=2$ و $n=5$. چون $2^5 = 32$، صورت برابر $x^5 - 2^5$ است. با استفاده از اتحاد: $$\frac{x^5 - 32}{x - 2} = x^4 + 2x^3 + 4x^2 + 8x + 16$$ که ساده‌سازی محاسبات را بسیار آسان می‌کند.

مثال عملی در حل معادله: فرض کنید می‌خواهیم معادله $x^4 - 81 = 0$ را حل کنیم. می‌نویسیم: $x^4 - 81 = (x^2-9)(x^2+9) = (x-3)(x+3)(x^2+9)$. ریشه‌ها عبارتند از $x=3$ و $x=-3$. توجه کنید که عامل $x - 3$ مستقیماً از بخش‌پذیری $x^4 - 3^4$ بر $x - 3$ حاصل شده است.

سوال ۱: آیا برای توان‌های فرد $n$ عبارت $x^n + a^n$ بر $x + a$ بخش‌پذیر است؟ چرا؟
پاسخ: بله. اگر $n$ فرد باشد، با جایگذاری $c = -a$ در $P(x)=x^n + a^n$ داریم $P(-a)=(-a)^n + a^n = -a^n + a^n = 0$، پس $(x+a)$ عامل است.

سوال ۲: اگر $n$ زوج باشد، آیا $x^n - a^n$ بر $x + a$ نیز بخش‌پذیر است؟
پاسخ: خیر، مگر اینکه $a=0$. برای $n$ زوج، $P(-a)=(-a)^n - a^n = a^n - a^n = 0$ است، بنابراین بله! در واقع برای هر $n$ زوج نیز بر $x+a$ بخش‌پذیر است. (این یک نکته ظریف است: $(-a)^n = a^n$ وقتی $n$ زوج باشد، پس اختلاف صفر می‌شود.)

سوال ۳: آیا می‌توان این قضیه را برای اعداد حقیقی و مختلط نیز تعمیم داد؟
پاسخ: بله، $a$ می‌تواند هر عدد حقیقی یا مختلط باشد. شرط اصلی این است که $n$ یک عدد طبیعی باشد. اتحاد چاق‌لاغر در میدان اعداد حقیقی و مختلط نیز برقرار است.

جمع‌بندی: در این مقاله نشان دادیم که به کمک قضیه عامل، چندجمله‌ای $x^n - a^n$ برای هر عدد طبیعی $n$ بر $x - a$ بخش‌پذیر است. خارج‌قسمت حاصل، مجموع جمله‌های $x^{n-1} + x^{n-2}a + \dots + a^{n-1}$ است که همگی ضریب $1$ دارند. این ویژگی در ساده‌سازی کسرهای گویا، حل معادلات جبری و اثبات بسیاری از اتحادهای مهم کاربرد گسترده‌ای دارد. همچنین با بررسی توان‌های زوج و فرد، الگوی بخش‌پذیری بر $x+a$ را نیز تحلیل کردیم.

¹ قضیه عامل (Factor Theorem): قضیه‌ای در جبر که بیان می‌کند $(x-c)$ یک عامل از چندجمله‌ای $P(x)$ است اگر و تنها اگر $P(c)=0$.
² عامل (Factor): به چندجمله‌ای که حاصل ضرب آن در چندجمله‌ای دیگر، چندجمله‌ای اصلی را بسازد، عامل می‌گویند.
³ تصاعد هندسی (Geometric Progression): دنباله‌ای از اعداد که هر جمله پس از جمله اول، حاصل ضرب جمله قبلی در یک عدد ثابت (نسبت مشترک) باشد.