ویژگیهای جمع، تفریق و ضرب در همنهشتی: افزودن، کاستن یا ضرب عددی یکسان در دو طرف، همنهشتی را حفظ میکند
هسته اصلی همنهشتی: تعریف و نمادگذاری
در نظریه اعداد، اگر اختلاف دو عدد صحیح مانند a و b بر عدد طبیعی m (که مدول نامیده میشود) بخشپذیر باشد، میگوییم a با b بهطور مدول m همنهشت است و آن را به شکل $a \equiv b \pmod{m}$ نمایش میدهیم. به عبارت دیگر، $m \mid (a-b)$. برای نمونه، $17 \equiv 2 \pmod{5}$ زیرا $17-2=15$ بر 5 بخشپذیر است.
ویژگی جمع در همنهشتی: افزودن عدد ثابت
اگر $a \equiv b \pmod{m}$ و c عددی صحیح باشد، آنگاه $a + c \equiv b + c \pmod{m}$. دلیل این امر ساده است: از $m \mid (a-b)$ نتیجه میشود $m \mid ((a+c)-(b+c))$ زیرا $(a+c)-(b+c)=a-b$. بنابراین، افزودن عدد یکسان به دو طرف یک همنهشتی، آن را حفظ میکند.
مثال عملی: میدانیم $25 \equiv 4 \pmod{7}$. اگر عدد 3 را به دو طرف بیافزاییم، داریم $28 \equiv 7 \pmod{7}$ که درست است زیرا $28-7=21$ بر 7 بخشپذیر است.
ویژگی تفریق در همنهشتی: کاستن عدد ثابت
همانگونه که جمع، تفریق نیز چنین خاصیتی دارد: از $a \equiv b \pmod{m}$ نتیجه میشود $a - c \equiv b - c \pmod{m}$ برای هر عدد صحیح c. اثبات مشابه حالت جمع است، زیرا $(a-c)-(b-c)=a-b$ که بر m بخشپذیر است.
| عملیات | فرمول همنهشتی | مثال (مدول 5) |
|---|---|---|
| جمع | $a+c \equiv b+c$ | $8 \equiv 3 \pmod{5} \Rightarrow 13 \equiv 8 \pmod{5}$ |
| تفریق | $a-c \equiv b-c$ | $8 \equiv 3 \pmod{5} \Rightarrow 3 \equiv -2 \pmod{5}$ |
ویژگی ضرب در همنهشتی: ضرب کردن در عدد ثابت
اگر $a \equiv b \pmod{m}$ و c هر عدد صحیح باشد، آنگاه $ac \equiv bc \pmod{m}$. اثبات: از $m \mid (a-b)$ نتیجه میشود $m \mid c(a-b)$، یعنی $m \mid (ac - bc)$. بنابراین ضرب کردن دو طرف در یک عدد صحیح، رابطهٔ همنهشتی را حفظ میکند.
برای نمونه، میدانیم $9 \equiv 4 \pmod{5}$. اگر دو طرف را در 3 ضرب کنیم، داریم $27 \equiv 12 \pmod{5}$ که $27-12=15$ بر 5 بخشپذیر است.
کاربرد عملی: سادهسازی محاسبات باقیمانده و بررسی اعداد بزرگ
در زندگی روزمره و مسابقات ریاضی، برای یافتن باقیماندهٔ یک عدد بزرگ بر مدول مشخص، از ویژگی جمع و ضرب همنهشتی استفاده میکنیم. فرض کنید میخواهیم باقیماندهٔ $37 \times 25$ را بر 7 بیابیم. میتوانیم هر عامل را جداگانه ساده کنیم: $37 \equiv 2 \pmod{7}$ (چون 35 بر 7 بخشپذیر است و 2 باقی میماند) و $25 \equiv 4 \pmod{7}$. سپس با استفاده از ویژگی ضرب: $37 \times 25 \equiv 2 \times 4 = 8 \equiv 1 \pmod{7}$. بنابراین باقیمانده 1 است. این روش از محاسبهٔ مستقیم 925 بسیار سریعتر است.
همچنین در بررسی تاریخ و روزهای هفته، ساعتهای دوازدهساعته و چککردن امنیت کدهای بانکی از همنهشتی و ویژگیهای آن بهره میبرند. برای نمونه، اگر امروز سهشنبه باشد، 100 روز بعد چه روزی است؟ باقیماندهٔ 100 بر 7 (مدول هفته) برابر $100 \equiv 2 \pmod{7}$ است (چون 98 بر 7 بخشپذیر و 2 باقی میماند). بنابراین روز هفته 2 روز جلوتر میرود: سهشنبه به پنجشنبه تبدیل میشود.
| مرحله | عمل | نتیجهٔ همنهشتی |
|---|---|---|
| 1 | کاهش 37 مدول 7 | $37 \equiv 2$ |
| 2 | کاهش 25 مدول 7 | $25 \equiv 4$ |
| 3 | ضرب باقیماندهها | $2 \times 4 = 8$ |
| 4 | کاهش نتیجهٔ ضرب | $8 \equiv 1 \pmod{7}$ |
چالشهای مفهومی در ویژگیهای همنهشتی
پاسخ: خیر، مگر اینکه آن عدد با مدول نسبت به هم اول باشد. برای نمونه، $6 \equiv 2 \pmod{4}$ درست است، اما اگر دو طرف را بر 2 تقسیم کنیم، $3 \equiv 1 \pmod{4}$ نادرست است. ویژگی تقسیم نیازمند شرایط اضافی است.
پاسخ: بله. ویژگی ضرب برای تمام اعداد صحیح (مثبت، صفر و منفی) برقرار است. برای نمونه، اگر $5 \equiv 2 \pmod{3}$، آنگاه با ضرب در -4 داریم $-20 \equiv -8 \pmod{3}$ که $-20 - (-8) = -12 بر 3 بخشپذیر است.
پاسخ: بله، با استقراء میتوان نشان داد که اگر $a \equiv b \pmod{m}$ و $c \equiv d \pmod{m}$، آنگاه $a+c \equiv b+d \pmod{m}$. به عبارت دیگر، میتوان دو همنهشتی را با مدول یکسان جمله به جمله جمع یا تفریق کرد.
پاورقی
1 همنهشتی (Congruence): رابطهای بین دو عدد صحیح که اختلاف آنها بر عدد ثابتی به نام مدول بخشپذیر باشد.
2 مدول (Modulus): عدد طبیعی ثابتی که در همنهشتی مبنای مقایسه باقیماندهها قرار میگیرد.
3 عدد صحیح (Integer): هر یک از اعداد ... , -2، -1، 0، 1، 2، ... که فاقد جزء کسری یا اعشاری هستند.
4 بخشپذیری (Divisibility): عدد صحیح m عدد صحیح n را میشمارد اگر عدد صحیحی مانند k وجود داشته باشد به طوری که $n = m \times k$.