خواص عاد کردن: مضارب، توانها، تعدی و نامساوی
۱. عاد کردن و رابطهٔ بخشپذیری
در ریاضیات دبیرستان، میگوییم عدد صحیح a بر عدد صحیح غیرصفر bعاد میکند (یا بخشپذیر است) هرگاه عدد صحیحی مانند k وجود داشته باشد به طوری که a = b \times k. در این حالت مینویسیم $b \mid a$ و میخوانیم «b، a را عاد میکند» یا «b بر a بخشپذیر است». برای نمونه، $3 \mid 12$ چون $12 = 3 \times 4$. این مفهوم پایهای برای درک سایر خواص مانند مضارب و توانها است.
۲. خاصیت مضارب (ضریب صحیح)
اگر $b \mid a$، یعنی a مضربی از b است. حال اگر a را در هر عدد صحیح m ضرب کنیم، حاصلضرب $a \times m$ نیز بر b بخشپذیر خواهد بود. به عبارت دیگر:
مثال عملی: فرض کنید $4 \mid 20$. اگر $m = 3$ را در نظر بگیریم، داریم $20 \times 3 = 60$ و به وضوح $4 \mid 60$ (چون $60 = 4 \times 15$). این خاصیت به ما میگوید که هر مضرب صحیح از یک عدد بخشپذیر، همچنان بخشپذیری اولیه را حفظ میکند.
| عدد اولیه | مقسومعلیه | ضریب m | حاصلضرب | آیا بخشپذیر است؟ |
|---|---|---|---|---|
| 12 | 3 | 5 | 60 | بله |
| 15 | 5 | -2 | -30 | بله |
۳. رفتار با توانهای صحیح
یک ویژگی جالب دربارهٔ توان این است: اگر $b \mid a$، آنگاه به ازای هر عدد طبیعی n، داریم $b \mid a^n$. اما عکس این گزاره لزوماً درست نیست. به عبارت دیگر، بخشپذیری عدد اصلی، بخشپذیری توان آن را نتیجه میدهد، اما بخشپذیری توان نمیتواند به تنهایی بخشپذیری عدد پایه را اثبات کند.
مثال عددی: میدانیم $2 \mid 6$، پس طبق خاصیت باید $2 \mid 6^3 = 216$ که درست است. اما فرض کنید $4 \mid 36$ (چون $36 = 4 \times 9$)؛ از این نمیتوان نتیجه گرفت که $4 \mid 6$، زیرا $6$ بر $4$ بخشپذیر نیست. این نکته نشان میدهد توانها رفتار «بزرگکننده» دارند و ممکن است بخشپذیری را در سطح بالاتر ایجاد کنند بدون آنکه در سطح پایه وجود داشته باشد.
در حالت کلی، اگر $p$ عددی اول باشد و $p \mid a^n$، آنگاه $p \mid a$ (خاصیت اعداد اول). اما برای اعداد مرکب این قانون برقرار نیست.
۴. خاصیت تعدی (تراگذری) در بخشپذیری
یکی از مفیدترین خواص رابطهٔ عاد کردن، تعدی است. اگر $c \mid b$ و $b \mid a$، آنگاه میتوان نتیجه گرفت $c \mid a$. این ویژگی به ما اجازه میدهد زنجیرهای از بخشپذیریها را به هم متصل کنیم.
مثال: فرض کنید $2 \mid 6$ و $6 \mid 24$. با استفاده از تعدی داریم $2 \mid 24$ که با محاسبه $24 \div 2 = 12$ تأیید میشود. این خاصیت در اثباتهای ریاضی و سادهسازی کسرها بسیار کاربرد دارد.
۵. نامساوی در رابطه با مقسومعلیهها
اگر $b \mid a$ و $a \neq 0$، آنگاه نامساوی $|b| \le |a|$ برقرار است. به جز حالتی که $a = 0$ باشد که در آن هر عدد غیرصفر، صفر را عاد میکند1 اما شرط اندازه برقرار نیست. این ویژگی به ما میگوید مقسومعلیههای یک عدد (به جز صفر) هرگز از خود عدد بزرگتر نیستند.
کاربرد: وقتی میخواهیم همهٔ مقسومعلیههای یک عدد مثل 28 را بیابیم، فقط اعدادی را بررسی میکنیم که مقدار مطلق آنها کمتر یا مساوی 28 است. این باعث کاهش دامنه جستجو میشود.
۶. کاربرد عملی: تشخیص اعداد بخشپذیر در مسائل روزمره
فرض کنید در یک کارخانه، محصولات در بستههای 6 تایی بستهبندی میشوند. اگر تعداد کل محصولات 120 باشد، میدانیم $6 \mid 120$. حال اگر تعداد محصولات را دو برابر کنیم (ضریب $m=2$)، مطابق خاصیت مضارب، بستهبندی همچنان ممکن است چون $6 \mid 240$. همچنین اگر تعداد محصولات را به توان 2 برسانیم ($14400$)، باز هم $6$ آن را عاد میکند (چون $6 \mid 120$ پس $6 \mid 120^2$). این پیشبینیها بدون نیاز به محاسبه مستقیم امکانپذیر است.
۷. چالشهای مفهومی
پاسخ: خیر، چون خاصیت جمعی مستقیم برای عاد کردن بدون شرط وجود ندارد. اگر $b \mid a$ و $b \mid c$ آنگاه $b \mid a+c$، اما در اینجا $6 \mid 5$ برقرار نیست، پس جمع حفظ نمیشود.
پاسخ: بله، این همان خاصیت تعدی است. زیرا $64 = 16 \times 4$ و $16 = 4 \times 4$، پس $64 = 4 \times (4 \times 4) = 4 \times 16$.
پاسخ: خیر. خاصیت توان فقط یکطرفه است: اگر $b \mid a$ آنگاه $b \mid a^n$، ولی عکس آن درستی ندارد. در این مثال $8 \mid 64 = 4^3$ ولی $8 \nmid 4$.
پاورقی
1 عاد کردن صفر (Zero Divisibility): عدد صحیح غیرصفر b، عدد صفر را عاد میکند زیرا $0 = b \times 0$. اما در این حالت نامساوی $|b| \le |0|$ فقط برای $b=0$ برقرار است که مجاز نیست.
2 عدد اول (Prime Number): عدد طبیعی بزرگتر از ۱ که تنها مقسومعلیههای مثبت آن ۱ و خودش باشد.
3 خاصیت تعدی (Transitive Property): ویژگی یک رابطه که اگر a با b و b با c در آن رابطه باشد، آنگاه a با c نیز در آن رابطه باشد.
4 مقسومعلیه (Divisor): عدد صحیحی که عدد دیگری را بدون باقیمانده تقسیم کند.