۱. قضیهٔ تقسیم و دامنهٔ باقیمانده
در ریاضیات، وقتی یک عدد صحیح مانند a را بر یک عدد طبیعی n (که مقسومعلیه نام دارد) تقسیم میکنیم، حاصل یک خارجقسمت صحیح q و یک باقیمانده r است. رابطهٔ اصلی به صورت زیر نوشته میشود:
در این رابطه، q یک عدد صحیح است و باقیمانده r همواره باید شرط زیر را برآورده کند:
یعنی باقیمانده عددی صحیح و نامنفی است که همواره کوچکتر از مقسومعلیه n و بزرگتر یا مساوی صفر میباشد. به همین دلیل، مجموعهٔ مقادیر ممکن برای باقیمانده برابر است با $\{0, 1, 2, \dots, n-1\}$. برای نمونه، اگر n=5 باشد، باقیمانده فقط میتواند یکی از اعداد 0,1,2,3,4 باشد.
مثال عملی: فرض کنید 17 مداد را میخواهیم به طور مساوی بین 5 دانشآموز تقسیم کنیم. داریم $17 = 5 \times 3 + 2$. بنابراین خارجقسمت q=3 و باقیمانده r=2 است. یعنی هر دانشآموز 3 مداد میگیرد و 2 مداد باقی میماند. همانطور که میبینید r=2 بین صفر و 4 قرار دارد.
۲. جدول مقادیر باقیمانده برای مقسومعلیههای مختلف
| عدد a | باقیمانده بر n=3 | باقیمانده بر n=4 | باقیمانده بر n=7 |
|---|---|---|---|
| 10 | 1 | 2 | 3 |
| 17 | 2 | 1 | 3 |
| 24 | 0 | 0 | 3 |
| 35 | 2 | 3 | 0 |
۳. الگوریتم یافتن باقیمانده و همنهشتی
برای یافتن باقیماندهٔ یک عدد بر n، میتوانیم از الگوریتم تقسیم طولانی استفاده کنیم. در بسیاری از زبانهای برنامهنویسی، عملگر % (باقیمانده) این کار را انجام میدهد. دو عدد a و b را همنهشت (همباقی) modulo n گوییم هرگاه باقیماندهٔ تقسیم آنها بر n یکسان باشد. این رابطه با نماد زیر نشان داده میشود:
مثال: $17 \equiv 2 \pmod{5}$ زیرا $17 = 5 \times 3 + 2$ و $2 = 5 \times 0 + 2$. همچنین میتوان گفت $22 \equiv 2 \pmod{5}$ زیرا $22 = 5 \times 4 + 2$. ویژگی جالب توجه این است که جمع، تفریق و ضرب اعداد در همنهشتیها حفظ میشود.
۴. کاربرد عملی: چرخهها و محاسبه روزهای هفته
یکی از جذابترین کاربردهای باقیمانده در زندگی روزمره، محاسبات چرخهای است. برای نمونه، روزهای هفته یک چرخهٔ تناوبی با دورهٔ 7 دارند. اگر امروز سهشنبه باشد، 10 روز بعد چه روزی خواهد بود؟ کافی است باقیماندهٔ 10 بر 7 را پیدا کنیم: $10 = 7 \times 1 + 3$ پس باقیمانده برابر 3 است. یعنی 3 روز بعد از سهشنبه: چهارشنبه (1 روز)، پنجشنبه (2) و جمعه (3). بنابراین 10 روز بعد، روز جمعه است.
این ایده در طراحی ساعتهای 12 ساعته (باقیمانده بر 12)، تقویمها، و حتی در الگوریتمهای رمزنگاری مانند سیستم RSA نیز کاربرد دارد.
۵. چالشهای مفهومی
چالش ۱: آیا باقیمانده میتواند برابر با خود مقسومعلیه باشد؟
خیر. طبق قضیهٔ تقسیم، باقیمانده همواره کوچکتر از مقسومعلیه است ($r \lt n$). اگر باقیمانده برابر n باشد، میتوان یک واحد به خارجقسمت افزود و باقیمانده را صفر کرد. مثلاً $17 = 4 \times 4 + 1$ درست است نه $17 = 4 \times 3 + 5$ چون $5 \ge 4$.
چالش ۲: برای اعداد منفی، باقیمانده چگونه تعریف میشود؟
در بسیاری از تعاریف، باقیمانده باید نامنفی باشد. برای مثال $-7$ تقسیم بر $3$: میتوان نوشت $-7 = 3 \times (-3) + 2$ که در آن $q=-3$ و $r=2$ (چون $0 \le 2 \lt 3$). بنابراین باقیمانده همواره بین صفر و $n-1$ باقی میماند.
چالش ۳: چرا باقیمانده در تقسیم بر n دقیقاً n حالت مختلف دارد؟
زیرا مجموعهٔ اعداد صحیح را میتوان بر اساس باقیماندهشان به n دستهٔ مجزا (کلاس همنهشتی) افراز کرد. این دستهها عبارتند از اعدادی که باقیماندهٔ 0,1,2,...,n-1 دارند. هیچ عدد صحیحی وجود ندارد که باقیماندهاش خارج از این بازه باشد و هر عدد دقیقاً به یکی از این کلاسها تعلق دارد.
جمعبندی
پاورقی
1 قضیهٔ تقسیم اقلیدسی (Euclidean division theorem): برای هر دو عدد صحیح a و b>0، خارجقسمت صحیح q و باقیمانده r با شرط $0 \le r \lt b$ به طور یکتا وجود دارند.
2 همنهشتی (Congruence): رابطهای بین دو عدد صحیح که به ازای یک مدول طبیعی n، اختلاف آنها بر n بخشپذیر باشد. نمایش نمادین: $a \equiv b \pmod{n}$.