قاعدهٔ بخشپذیری بر ۳: عدد با مجموع ارقامش به پیمانهٔ ۳ همنهشت است
بنیان نظری: همنهشتی و پیمانهٔ ۳
در نظریهٔ اعداد، دو عدد a و b را همنهشت (همنهشت) به پیمانهٔ m گوییم، هرگاه m تفاوت آنها را عاد کند. نماد این رابطه به صورت $a \equiv b \pmod{m}$ است. در قاعدهٔ بخشپذیری بر 3، میخواهیم نشان دهیم:
به بیان دیگر، باقیماندهٔ تقسیم هر عدد بر 3 دقیقاً برابر با باقیماندهٔ تقسیم مجموع ارقامش بر 3 است. این خاصیت از این حقیقت ناشی میشود که توانهای 10 همگی به پیمانهٔ 3 همنهشت با 1 هستند. زیرا $10 \equiv 1 \pmod{3}$، بنابراین $10^k \equiv 1^k = 1 \pmod{3}$.
اثبات قاعده با استفاده از بسط دهدهی
هر عدد طبیعی $N$ را میتوان به صورت بسط دهدهی2 نشان داد:
که در آن $d_i$ ارقام $0$ تا $9$ هستند و $d_n \neq 0$. با گرفتن همنهشتی به پیمانهٔ 3 و با توجه به $10 \equiv 1 \pmod{3}$ خواهیم داشت:
$N \equiv d_n + d_{n-1} + \dots + d_1 + d_0 \pmod{3}$
عبارت سمت راست دقیقاً مجموع ارقام $S(N)$ است. بنابراین:
در نتیجه، $3 \mid N$ اگر و فقط اگر $3 \mid S(N)$. این اثبات نشان میدهد که قاعدهٔ بخشپذیری بر 3 نه یک حدس، بلکه یک قضیهٔ دقیق ریاضی است.
مثالهای عملی و گامبهگام
در این بخش، قاعده را روی چند عدد مختلف آزمایش میکنیم. روش کار: مجموع ارقام را به دست آورده، سپس آن مجموع را بر 3 تقسیم میکنیم. اگر باقیمانده صفر شد، عدد اصلی بر 3 بخشپذیر است.
| عدد اصلی | مجموع ارقام | باقیماندهٔ مجموع بر 3 | بخشپذیر بر 3؟ |
|---|---|---|---|
| 123 | 1+2+3=6 | 0 | بله |
| 547 | 5+4+7=16 | 1 (چون 16=15+1) | خیر |
| 9999 | 9+9+9+9=36 | 0 | بله |
| 1001 | 1+0+0+1=2 | 2 | خیر |
مثال عددی بزرگتر: عدد 5842371 را در نظر بگیرید. مجموع ارقام: 5+8+4+2+3+7+1 = 30. از آنجا که 30 بر 3 بخشپذیر است (30 = 3 × 10)، عدد اصلی نیز بر 3 بخشپذیر خواهد بود. برای تأیید، میتوانیم 5842371 ÷ 3 = 1947457 را محاسبه کنیم که خارجقسمت صحیح است.
کاربرد عملی: تشخیص سریع خطا در محاسبات ذهنی
فرض کنید در یک فروشگاه، فاکتوری به مبلغ ۲۸۷۴۰۰ ریال صادر شده است. میخواهیم بدون انجام تقسیم طولانی، ببینیم آیا این مقدار دقیقاً بر 3 بخشپذیر است یا خیر. مجموع ارقام: 2+8+7+4+0+0 = 21. از آنجا که 21 بر 3 بخشپذیر است، مبلغ فاکتور نیز بر 3 بخشپذیر است. این روش برای حسابداران و فروشندگان بسیار کارآمد است، زیرا میتوانند صحت محاسبات را در چند ثانیه چک کنند.
کاربرد دیگر در نظریهٔ کدهای تشخیص خطا3 است. برخی از الگوریتمهای سادهٔ جمعبندی چکی (checksum) از همنهشتی با 3 استفاده میکنند تا تغییر یک رقم در انتقال داده را شناسایی کنند. هر چند این روش در برابر جابهجایی ارقام آسیبپذیر است، اما پیادهسازی آن بسیار آسان و سبک است.
چالشهای مفهومی
خیر. قاعدهٔ بخشپذیری بر 3 برای اعداد صحیح (و اعداد طبیعی) تعریف شده است. اگر عددی اعشاری مانند 12.5 باشد، مجموع ارقام (با احتساب ممیز) مفهوم دقیقی ندارد و بخشپذیری بر 3 در اعداد گویا به گونهٔ دیگر تعریف میشود. این قاعده تنها برای اعداد صحیح برقرار است.
بله، اما میتوان این فرایند را تکرار کرد. مثلاً برای عدد 999999999999 مجموع ارقام برابر 108 است. حال اگر مطمئن نیستید 108 بر 3 بخشپذیر است یا نه، دوباره مجموع ارقام آن را محاسبه کنید: 1+0+8=9 که بر 3 بخشپذیر است. این فرایند بازگشتی تا رسیدن به یک رقم تکرقمی ادامه مییابد.
زیرا $10 \equiv 1 \pmod{9}$ نیز برقرار است، بنابراین همان اثبات برای پیمانهٔ 9 تکرار میشود. اما برای پیمانهٔ 6، $10 \equiv 4 \pmod{6}$ و توانهای 10 همنهشت با توانهای 4 به پیمانهٔ 6 میشوند که ساده نیستند. به همین دلیل قاعدهٔ سادهٔ جمع ارقام فقط برای پیمانههای 3 و 9 (و همچنین 1 که بدیهی است) وجود دارد.
مقایسه قاعدهٔ بر ۳ با سایر قواعد بخشپذیری
| قاعدهٔ بخشپذیری بر | شرط | مثال (عدد ۱۲۳۶) |
|---|---|---|
| 2 | رقم یکان زوج باشد | 6 زوج است → بخشپذیر |
| 3 | مجموع ارقام بر 3 بخشپذیر باشد | 1+2+3+6=12 و 12 بر 3 بخشپذیر است |
| 4 | دو رقم سمت راست بر 4 بخشپذیر باشد | 36 ÷ 4 = 9 → بخشپذیر |
| 5 | رقم یکان 0 یا 5 باشد | رقم یکان 6 → بخشپذیر نیست |
جمعبندی
پاورقی
1 دستگاه دهدهی (Decimal system): دستگاه شمارشی با پایهٔ 10 که ارقام 0 تا 9 در آن به کار میرود. رایجترین دستگاه شمارش در زندگی روزمره.
2 بسط دهدهی (Decimal expansion): نمایش یک عدد به صورت مجموع توانهای 10 ضرب در ارقام متناظر. مثال: $345 = 3×10^2 + 4×10^1 + 5×10^0$.
3 کد تشخیص خطا (Error-detecting code): روشی برای افزودن اطلاعات اضافی به داده به منظور تشخیص تغییرات ناخواسته در حین انتقال یا ذخیرهسازی. قاعدهٔ بخشپذیری بر 3 مبنای برخی از سادهترین کدهای چکی است.