قضیه تقسیم: نمایش یکتای $$ a = bq + r $$ با شرط $ 0 \le r \lt b $
۱. درک مستقیم از تقسیم: چرا همیشه یک باقیمانده منحصربهفرد وجود دارد؟
در این نمادگذاری، a «مقسوم» (dividend)، b «مقسومعلیه» (divisor) مثبت، q «خارجقسمت» (quotient) و r «باقیمانده» (remainder) نام دارد. شرط $ 0 \le r \lt b $ تضمین میکند باقیمانده عددی غیرمنفی و کوچکتر از مقسومعلیه باشد. برای نمونه، اگر $ a = 34 $ و $ b = 7 $ باشد، آنگاه $ 34 = 7 \times 4 + 6 $ که در آن $ q=4 $ و $ r=6 $ و شرط $ 0 \le 6 \lt 7 $ برقرار است.
۲. وجود و یکتایی: اثبات قدم به قدم با مثالهای عددی
برای اثبات این قضیه دو بخش اصلی داریم: «وجود» (که همیشه میتوان q و r پیدا کرد) و «یکتایی» (که این q و r منحصربهفرد هستند). فرض کنید $ a $ هر عدد صحیح (میتواند منفی باشد) و $ b \gt 0 $ یک عدد صحیح مثبت است.
گام وجود (با رویکرد مجموعهها): مجموعه $ S = \{ a - bq \mid q \in \mathbb{Z},\; a - bq \ge 0 \} $ را در نظر بگیرید. این مجموعه شامل اعداد صحیح نامنفی است که به شکل a منهای ضریبی از b بدست میآیند. این مجموعه ناتهی است (زیرا با انتخاب q کوچک میتوان آن را مثبت کرد). اصل خوشترتیبی اعداد طبیعی1 تضمین میکند S دارای کوچکترین عضو به نام r است. نشان میدهیم $ r \lt b $. اگر $ r \ge b $ آنگاه $ r-b $ نیز عضوی از S خواهد بود (چون $ r-b = a - b(q+1) $) و چون $ r-b \lt r $ با کوچکترین بودن r تناقض دارد. بنابراین $ 0 \le r \lt b $ و عدد صحیح q وجود دارد به طوریکه $ a = bq + r $. مثال: برای $ a = -7 $ و $ b = 3 $، مجموعه S مقادیر ... $ -7-3(-3)=2 $ و ... را دارد. کوچکترین عضو $ r=2 $ است و $ -7 = 3(-3) + 2 $ که در آن $ q=-3 $، $ r=2 $.
گام یکتایی: فرض کنید دو نمایش متفاوت وجود داشته باشد: $ a = bq_1 + r_1 $ و $ a = bq_2 + r_2 $ با $ 0 \le r_1, r_2 \lt b $. پس $ b(q_1 - q_2) = r_2 - r_1 $. مقدار مطلق سمت راست کمتر از b است چون $ -b \lt r_2-r_1 \lt b $. اما سمت چپ مضرب صحیحی از b است. تنها مضربی از b که قدر مطلق آن کمتر از b است، صفر میباشد. پس $ q_1=q_2 $ و در نتیجه $ r_1=r_2 $. بنابراین نمایش یکتاست.
| مقسوم (a) | مقسومعلیه (b) | خارجقسمت (q) | باقیمانده (r) | رابطه $ a = bq+r $ |
|---|---|---|---|---|
| 17 | 5 | 3 | 2 | 17 = 5×3 + 2 |
| -17 | 5 | -4 | 3 | -17 = 5×(-4) + 3 |
| 0 | 12 | 0 | 0 | 0 = 12×0 + 0 |
۳. کاربرد عملی: از باقیمانده تا الگوریتم اقلیدس و کسرهای دورهای
یکی از مهمترین کاربردهای قضیه تقسیم در دبیرستان، بسترسازی برای الگوریتم اقلیدس2 برای یافتن بزرگترین مقسومعلیه مشترک (ب.م.م) است. برای مثال م.م.م دو عدد 56 و 36 را به دست میآوریم:
- 56 = 36 × 1 + 20 (باقیمانده 20)
- 36 = 20 × 1 + 16 (باقیمانده 16)
- 20 = 16 × 1 + 4 (باقیمانده 4)
- 16 = 4 × 4 + 0 (باقیمانده صفر) → ب.م.م برابر با آخرین باقیمانده ناصفر یعنی 4 است.
کاربرد دیگر در تبدیل کسرهای معمولی به اعشار متناوب است. وقتی صورت را بر مخرج تقسیم میکنیم، باقیماندهها تکرار میشوند و دوره ایجاد میشود. همچنین در معادلات دیوفانتی خطی مانند $ ax + by = c $، برای وجود جواب صحیح باید c بر بزرگترین مقسومعلیه مشترک a و b بخشپذیر باشد – که این هم مستقیماً از قضیه تقسیم ناشی میشود.
۴. چالشهای مفهومی (پرسش و پاسخ)
پرسش ۱: آیا قضیه تقسیم برای مقسومعلیههای منفی نیز برقرار است؟
بله، اما صورت استاندارد قضیه معمولاً $ b \gt 0 $ در نظر میگیرد. اگر b منفی باشد، میتوان آن را با ضریب $ -1 $ به مثبت تبدیل کرد. در حالت کلیتر برای $ b \neq 0 $ میتوان رابطه $ a = bq + r $ با $ 0 \le r \lt |b| $ را نوشت. مثلاً $ a=27, b=-6 $ آنگاه $ 27=(-6)\times(-4)+3 $ که $ r=3 \lt 6 $ است.
پرسش ۲: چرا باقیمانده باید حتماً غیرمنفی و کوچکتر از مقسومعلیه باشد؟ آیا نمیتوان باقیمانده منفی داشت؟
میتوان اما صورت اصلی قضیه، یکتایی را تضمین میکند. اگر شرط $ 0 \le r \lt b $ را به $ -b/2 \le r \lt b/2 $ تغییر دهیم، باز هم یکتایی داریم (باقیمانده متقارن). اما در ریاضیات دبیرستان و علوم کامپیوتر، باقیمانده غیرمنفی استاندارد است چون با مفهوم «باقیمانده تقسیم» در ذهن سازگارتر است. برای نمونه $ -7 = 3\times(-2) + (-1) $ اگر منفی مجاز بود، اما حالت استاندارد با $ r=2 $ را ترجیح میدهد.
پرسش ۳: آیا میتوان q را برای اعداد حقیقی هم تعریف کرد؟
خیر. قضیه تقسیم منحصراً برای اعداد صحیح است. برای اعداد حقیقی، قضیهای به نام «تقسیم اعشاری» داریم اما دیگر یکتایی به همان صورت نیست و میتوان بینهایت نمایش داشت. در اعداد حقیقی، رابطه $ a = bq + r $ با q صحیح و $ 0 \le r \lt b $ فقط برای اعداد صحیح معنی کامل دارد.
جمعبندی
پاورقی
1 اصل خوشترتیبی اعداد طبیعی (Well-Ordering Principle): هر مجموعه ناتهی از اعداد طبیعی دارای کوچکترین عضو است. این اصل معادل استقرای ریاضی است.
2 الگوریتم اقلیدس (Euclidean Algorithm): روشی کارا برای یافتن بزرگترین مقسومعلیه مشترک دو عدد با تکرار قضیه تقسیم تا رسیدن به باقیمانده صفر.
