قاعدهٔ بخشپذیری بر ۹: همنهشتی مجموع ارقام با عدد اصلی
1. تعریف همنهشتی و بیان قاعده
اگر دو عدد صحیح مانند a و b را بر عدد طبیعی m تقسیم کنیم و باقیماندهٔ یکسانی داشته باشند، میگوییم a با b به پیمانهٔ m همنهشت است و مینویسیم:
قاعدهٔ بخشپذیری بر 9 بیان میکند که برای هر عدد طبیعی N:
که در آن S(N) مجموع ارقام دهدهی N است. در نتیجه، N بر 9 بخشپذیر است اگر و فقط اگر S(N) بر 9 بخشپذیر باشد.
مثال عملی: عدد N = 837 را در نظر بگیرید. مجموع ارقام آن برابر 8+3+7=18 است. 18 بر 9 بخشپذیر است، بنابراین 837 نیز بر 9 بخشپذیر است. با تقسیم تأیید میشود: 837 ÷ 9 = 93.
2. اثبات قاعده با استفاده از توانهای ده
هر عدد طبیعی را میتوان به صورت بسط دهدهی نوشت:
که a_i ارقام (از 0 تا 9) هستند. میدانیم $10 \equiv 1 \pmod{9}$، زیرا $10-1=9$. در نتیجه:
بنابراین هر عبارت $a_j \cdot 10^j$ با $a_j$ به پیمانهٔ 9 همنهشت است. با جمع گرفتن:
اثبات کامل شد. این استدلال نشان میدهد که قاعدهٔ بخشپذیری بر 9 ریشه در ساختار دستگاه دهدهی و ویژگی عدد 10 نسبت به 9 دارد.
3. مقایسه قاعدهٔ بخشپذیری بر ۳ و ۹
قاعدهٔ بخشپذیری بر 3 نیز مشابه است: عددی بر 3 بخشپذیر است که مجموع ارقام آن بر 3 بخشپذیر باشد. دلیل آن هم $10 \equiv 1 \pmod{3}$ است. اما قاعدهٔ 9 قویتر است و کاربردهای ویژهای در یافتن باقیماندهٔ اعداد دارد. جدول زیر مقایسهای ارائه میدهد:
| ویژگی | قاعدهٔ بخشپذیری بر 3 | قاعدهٔ بخشپذیری بر 9 |
|---|---|---|
| همنهشتی پایه | $10 \equiv 1 \pmod{3}$ | $10 \equiv 1 \pmod{9}$ |
| نتیجه همنهشتی | $N \equiv S(N) \pmod{3}$ | $N \equiv S(N) \pmod{9}$ |
| باقیماندهٔ ممکن | 0,1,2 | 0,…,8 |
4. کاربرد عملی: آزمون سریع جمع و تفریق
از قاعدهٔ همنهشتی با 9 برای بررسی صحت جمع یا تفریق میتوان استفاده کرد. اگر دو عدد A و B را جمع بزنید و حاصل C را به دست آورید، آنگاه باید $S(A)+S(B) \equiv S(C) \pmod{9}$. اگر این شرط برقرار نباشد، در محاسبه خطا رخ داده است (البته این آزمون خطاهای مضرب 9 را نمیگیرد).
مثال عینی: فرض کنید A=157 و B=286. مجموع ارقام A برابر 1+5+7=13 و برای B برابر 2+8+6=16 است. 13+16=29 و 2+9=11 و 1+1=2 (باقیماندهٔ ۲ به پیمانهٔ ۹). از طرفی A+B=443 که مجموع ارقام آن 4+4+3=11 و 1+1=2 است. همنهشتی برقرار است، بنابراین جمع احتمالاً درست است.
5. چالشهای مفهومی
بله، قاعده به تعداد ارقام بستگی ندارد. برای عدد N=10^{100} - 1 (که همهٔ ارقام 9 هستند) مجموع ارقام برابر 9×100=900 است و 900 بر 9 بخشپذیر است. خود عدد نیز بدون شک بر 9 بخشپذیر است.
زیرا $10 \equiv 1 \pmod{9}$. اگر پایهٔ عددنویسی b باشد، قاعدهٔ مشابهی برای بخشپذیری بر b-1 وجود دارد. در مبنای 16 (مبنای شانزدهدهی)، مجموع ارقام همنهشت با عدد به پیمانهٔ 15 است.
بله. اگر دو عدد با جابهجایی ارقام (مثل ab و ba) نوشته شوند، مجموع ارقام یکسان است، بنابراین به پیمانهٔ ۹ همنهشتند. اختلاف آنها همواره مضرب ۹ است. این ویژگی در حسابرسی مالی کاربرد دارد.