قضیهٔ تقسیمپذیری توانها در اعداد صحیح
بررسی جامع قضیه: اگر a عددی صحیح، b عددی طبیعی و a بر b بخشپذیر باشد، آنگاه a به توان n بر b به توان n بخشپذیر است.
خلاصه: در این مقاله، قضیهٔ بنیادین «تقسیمپذیری توانها» را بررسی میکنیم. اگر عدد صحیح a بر عدد طبیعی b بخشپذیر باشد (یعنی b مقسومعلیه a باشد)، آنگاه برای هر توان طبیعی n، عدد a^n بر b^n بخشپذیر خواهد بود. این مطلب با استفاده از مفهوم بخشپذیری و بازنویسی توان اثبات میشود. در ادامه با مثالهای گوناگون، اثبات گامبهگام، جدول مقایسه و پرسشهای مفهومی، این قضیه را برای دانشآموزان دبیرستان کاملاً روشن میکنیم.
۱. مفهوم بخشپذیری و پایههای قضیه
بخشپذیری1 یکی از مفاهیم پایهای در نظریهٔ اعداد است. میگوییم عدد صحیح a بر عدد طبیعی b بخشپذیر است و مینویسیم $b \mid a$ هرگاه عدد صحیحی مانند k وجود داشته باشد به طوری که $a = b \times k$. در این صورت b را مقسومعلیه a و a را مضرب b مینامیم.
مثال پایه:$6 \mid 24$ زیرا $24 = 6 \times 4$. در اینجا $b=6$ و $a=24$ و $k=4$.
حال اگر a بر b بخشپذیر باشد، یعنی $a = b \times k$، آنگاه با گرفتن توان n از دو طرف تساوی داریم:
$a^n = (b \times k)^n = b^n \times k^n$.
از آنجا که $k^n$ عددی صحیح است (چون k صحیح و n طبیعی است)، طبق تعریف بخشپذیری نتیجه میشود $b^n \mid a^n$. این همان قضیه مورد نظر است.
نکته فرمولی: اگر $a = b \times k$ آنگاه $a^n = b^n \times k^n$. پس $b^n \mid a^n$.
۲. اثبات گامبهگام با استفاده از تعریف بخشپذیری
برای درک کامل، مراحل اثبات را به صورت شفاف و با یک مثال عددی دنبال میکنیم. مرحله ۱: فرض کنید $b \mid a$. یعنی عدد صحیح k وجود دارد که $a = b \times k$. مرحله ۲: دو طرف تساوی را به توان $n$ (که عددی طبیعی است) میرسانیم: $a^n = (b \times k)^n$. مرحله ۳: با استفاده از خاصیت توان حاصلضرب2 داریم: $(b \times k)^n = b^n \times k^n$. مرحله ۴: از آنجا که k عدد صحیح است، $k^n$ نیز عدد صحیح خواهد بود. بنابراین میتوان نوشت: $a^n = b^n \times (k^n)$. مرحله ۵: با توجه به تعریف بخشپذیری، تساوی فوق دقیقاً به این معناست که $b^n \mid a^n$. اثبات کامل است.
مثال عددی گامبهگام: فرض کنید $3 \mid 12$ (چون $12 = 3 \times 4$). برای $n=2$ داریم $12^2 = 144$ و $3^2 = 9$. تساوی $144 = 9 \times 16$ صادق است، زیرا $k^2 = 4^2 = 16$. پس $9 \mid 144$.
۳. جدول مقایسهٔ حالتهای مختلف بخشپذیری توانها
| رابطهٔ اولیه (b|a) | توان (n) | a^n و b^n | آیا b^n | a^n؟ |
|---|---|---|---|
| 2 \mid 10 | n=3 | 2^3=8، 10^3=1000 | بله، 1000 = 8 \times 125 |
| 5 \mid 35 | n=2 | 5^2=25، 35^2=1225 | بله، 1225 = 25 \times 49 |
| 7 \mid 21 | n=4 | 7^4=2401، 21^4=194481 | بله، ضریب صحیح 81 = 3^4 |
۴. کاربرد عملی و مثال عینی در حل مسئله
فرض کنید در یک مسئلهٔ ریاضی میخواهیم بدانیم آیا $12^5$ بر $6^5$ بخشپذیر است یا خیر. به جای محاسبهٔ اعداد بزرگ (که $12^5 = 248832$ و $6^5 = 7776$ است و تقسیم آنها زمانبر است) از قضیه استفاده میکنیم. میبینیم $6 \mid 12$ زیرا $12 = 6 \times 2$. طبق قضیه، برای $n=5$ خواهیم داشت $6^5 \mid 12^5$. بنابراین بدون انجام محاسبات سنگین، پاسخ مثبت است. مثال دیگر در اثبات اتحادها: فرض کنید میخواهیم نشان دهیم $(a^2 - b^2)$ بر $(a-b)$ بخشپذیر است. میدانیم $a^2 - b^2 = (a-b)(a+b)$. با در نظر گرفتن $m = a-b$ و $N = a+b$ داریم $(a^2-b^2) = m \times N$. حال اگر از این رابطه به توان $n$ برسیم، با کمک قضیهٔ تقسیمپذیری توانها نتیجه میشود $(a-b)^n \mid (a^2-b^2)^n$. چنین نتیجهای در مسائل استقرا و نظریه اعداد بسیار کاربرد دارد.۵. چالشهای مفهومی
پرسش ۱: آیا عکس این قضیه درست است؟ یعنی اگر $b^n \mid a^n$ آنگاه آیا الزاماً $b \mid a$ برقرار است؟
پاسخ: بله، اگر a و b مثبت باشند، عکس قضیه نیز درست است. زیرا از $b^n \mid a^n$ نتیجه میشود عدد صحیحی مانند t وجود دارد که $a^n = b^n \times t$. با گرفتن ریشهٔ nام (که در اعداد مثبت امکانپذیر است) داریم $a = b \times \sqrt[n]{t}$. برای اینکه a صحیح باشد، $\sqrt[n]{t}$ باید صحیح باشد که نشان میدهد $b \mid a$.
پاسخ: بله، اگر a و b مثبت باشند، عکس قضیه نیز درست است. زیرا از $b^n \mid a^n$ نتیجه میشود عدد صحیحی مانند t وجود دارد که $a^n = b^n \times t$. با گرفتن ریشهٔ nام (که در اعداد مثبت امکانپذیر است) داریم $a = b \times \sqrt[n]{t}$. برای اینکه a صحیح باشد، $\sqrt[n]{t}$ باید صحیح باشد که نشان میدهد $b \mid a$.
پرسش ۲: اگر n صفر باشد (یعنی $a^0$ و $b^0$) آیا قضیه برقرار است؟
پاسخ: طبق قرارداد، هر عدد غیرصفر به توان صفر برابر $1$ است. آنگاه $b^0 = 1$ و $a^0 = 1$ و clearly $1 \mid 1$ برقرار است. اما در تعریف رایج بخشپذیری، n معمولاً عددی طبیعی (بزرگتر یا مساوی ۱) در نظر گرفته میشود. برای n=0 قضیه به شکل بدیهی اما با احتیاط در مورد $a=0$ صادق است (چون $0^0$ تعریف نشده است).
پاسخ: طبق قرارداد، هر عدد غیرصفر به توان صفر برابر $1$ است. آنگاه $b^0 = 1$ و $a^0 = 1$ و clearly $1 \mid 1$ برقرار است. اما در تعریف رایج بخشپذیری، n معمولاً عددی طبیعی (بزرگتر یا مساوی ۱) در نظر گرفته میشود. برای n=0 قضیه به شکل بدیهی اما با احتیاط در مورد $a=0$ صادق است (چون $0^0$ تعریف نشده است).
پرسش ۳: اگر a یا b عدد منفی باشند، آیا قضیه همچنان برقرار است؟ به عنوان مثال $-2 \mid 6$؟
پاسخ: بله. تعریف بخشپذیری برای اعداد صحیح (شامل اعداد منفی) نیز صادق است. اگر $b \mid a$ یعنی $a = b \times k$ با k صحیح. با گرفتن توان n (که طبیعی و مثبت است)، علامت منفی در b یا a با توجه به زوج یا فرد بودن n ممکن است تغییر کند، اما تساوی $a^n = b^n \times k^n$ همچنان برقرار است و $k^n$ صحیح خواهد بود. پس قضیه برای اعداد صحیح (حتی منفی) نیز معتبر است.
پاسخ: بله. تعریف بخشپذیری برای اعداد صحیح (شامل اعداد منفی) نیز صادق است. اگر $b \mid a$ یعنی $a = b \times k$ با k صحیح. با گرفتن توان n (که طبیعی و مثبت است)، علامت منفی در b یا a با توجه به زوج یا فرد بودن n ممکن است تغییر کند، اما تساوی $a^n = b^n \times k^n$ همچنان برقرار است و $k^n$ صحیح خواهد بود. پس قضیه برای اعداد صحیح (حتی منفی) نیز معتبر است.
۶. جمعبندی
در این مقاله نشان دادیم که اگر عدد صحیح a بر عدد طبیعی b بخشپذیر باشد، آنگاه برای هر توان طبیعی n، عدد a^n بر b^n بخشپذیر است. اثبات این قضیه بسیار ساده و مبتنی بر بازنویسی a به صورت b \times k و سپس استفاده از خاصیت توان حاصلضرب است. این قاعده در سادهسازی مسائل تواندار، اثباتهای استقرایی، و حل معادلات دیوفانتینی3 کاربرد گستردهای دارد. همچنین عکس قضیه برای اعداد مثبت برقرار است و دامنهٔ آن شامل اعداد صحیح منفی نیز میشود. تسلط بر این مفهوم، پایهای برای مباحث پیشرفتهتر نظریه اعداد و جبر است.
پاورقی
1 بخشپذیری (Divisibility): رابطهای دودویی روی اعداد صحیح که میگوید عدد صحیح a بر عدد صحیح غیرصفر b بخشپذیر است هرگاه عدد صحیحی مانند k وجود داشته باشد به طوری که $a = b \times k$.2 خاصیت توان حاصلضرب (Power of a Product Property): برای هر دو عدد حقیقی x و y و هر عدد طبیعی n داریم $(x \times y)^n = x^n \times y^n$.
3 معادلات دیوفانتینی (Diophantine Equations): معادلات چندمتغیره با ضرایب صحیح که حلهای صحیح (یا گویا) برای آنها جستجو میشود. قضیهٔ تقسیمپذیری توانها در تحلیل این معادلات مفید است.