خاصیت تعدی «عاد کردن» در اعداد صحیح
۱. تعریف عاد کردن (بخشپذیری) و مفهوم رابطهٔ تعدی
در ریاضیات، میگوییم عدد صحیح a، عدد صحیح b را عاد میکند1 و مینویسیم $a|b$ اگر عدد صحیحی مانند $k$ وجود داشته باشد به طوری که $b = k \times a$. به عبارت دیگر، a بدون باقیمانده در b تقسیم میشود. شرط مهم این است که $a \neq 0$.
رابطهٔ «عاد کردن» یک رابطهٔ دودویی روی اعداد صحیح است. یکی از خواص مهم بسیاری از روابط ریاضی، خاصیت تعدی2 است. یک رابطه مانند $R$ را تعدیپذیر مینامیم اگر هرگاه $aRb$ و $bRc$ برقرار باشند، آنگاه $aRc$ نیز برقرار باشد. در این مقاله ثابت میکنیم که رابطهٔ «عاد کردن» دقیقاً از این ویژگی پیروی میکند.
۲. اثبات گامبهگام خاصیت تعدی برای بخشپذیری
فرض کنید $a$، $b$ و $c$ اعداد صحیح و $a \neq 0$ باشند. میخواهیم نشان دهیم اگر $a|b$ و $b|c$، آنگاه $a|c$.
گام اول: از فرض $a|b$ نتیجه میشود عدد صحیحی مانند $k_1$ وجود دارد که:
گام دوم: از فرض $b|c$ نتیجه میشود عدد صحیحی مانند $k_2$ وجود دارد که:
گام سوم: اکنون مقدار $b$ از گام اول را در رابطهٔ گام دوم جایگزین میکنیم:
گام چهارم: از آنجا که حاصلضرب دو عدد صحیح $k_2 \times k_1$ نیز یک عدد صحیح است (فرض کنید $k = k_2 \times k_1$)، داریم $c = k \times a$. این یعنی $a$ عدد $c$ را عاد میکند ($a|c$). اثبات کامل شد.
۳. جدول مقایسهٔ رابطهٔ تعدی در بخشپذیری با سایر روابط
| رابطه | آیا تعدیپذیر است؟ | مثال نقض (در صورت عدم تعدی) |
|---|---|---|
| عاد کردن (|) | بله | ندارد (طبق اثبات بالا) |
| نابرابری «نزدیکتر بودن» | خیر | a=2 به b=5 نزدیکتر از c=10 نیست |
| همارزی (معادلی) | بله | تعریف میشود |
۴. کاربرد عملی در سادهسازی کسرها و حل مسائل روزمره
خاصیت تعدی در محاسبات مربوط به کسرها و بزرگترین مقسومعلیه مشترک (ب.م.م)3 کاربرد فراوانی دارد. فرض کنید میخواهیم کسر $\frac{48}{72}$ را ساده کنیم. میدانیم $6|48$ و $6|72$. اما آیا میتوان از مقسومعلیهای بزرگتر استفاده کرد؟ اگر بررسی کنیم $12|48$ و $12|72$. حال از تعدی استفاده میکنیم: چون $6|12$ و $12|48$ پس $6|48$ و همین طور برای $72$. این ویژگی به ما اجازه میدهد زنجیرهای از مقسومعلیهها را پیدا کنیم و سادهسازی گامبهگام انجام دهیم.
مثال دیگر: در مسئلههای تقسیم سکه، اگر بدانیم یک جعبه شامل $120$ سکه را میتوان به گروههای $10$ تایی تقسیم کرد و هر گروه $10$ تایی را به دستههای $2$ تایی، آنگاه کل جعبه نیز به دستههای $2$ تایی قابل تقسیم است. این همان کاربرد مستقیم خاصیت تعدی در زندگی واقعی است.
۵. چالشهای مفهومی (پرسش و پاسخ)
پاسخ: خیر. در تعریف «عاد کردن» معمولاً شرط میکنیم مقسومعلیه (عدد سمت چپ) ناصفر باشد. زیرا تقسیم بر صفر تعریف نشده است. اگر $a=0$ باشد، عبارت $0|b$ بیمعناست. پس خاصیت تعدی فقط برای $a \neq 0$ تعریف میشود.
پاسخ: بله، همیشه میتوانیم $b = a$ یا $b = c$ انتخاب کنیم. اما این ویژگی «انعکاس» نام دارد نه عکس تعدی. عکس منطقی قضیه تعدی (یعنی اگر $a|c$ آنگاه $a|b$ و $b|c$) همواره درست نیست مگر با انتخاب خاص $b$.
پاسخ: بله، تعریف بخشپذیری برای اعداد صحیح منفی نیز به همین صورت است. مثلاً $(-2)|6$ زیرا $6 = (-3) \times (-2)$. اثبات ما برای اعداد منفی نیز کاملاً معتبر است چون $k_1$ و $k_2$ میتوانند منفی باشند.
۶. جمعبندی و نتیجهٔ نهایی
پاورقی
1 عاد کردن (Divisibility): به این معنی که عدد a بدون باقیمانده در عدد b تقسیم میشود. نمایش a|b به معنی «a عاد میکند b را» است.
2 خاصیت تعدی (Transitive property): ویژگی یک رابطه که در آن اگر aRb و bRc آنگاه aRc برقرار باشد.
3 بزرگترین مقسومعلیه مشترک (Greatest Common Divisor - GCD): بزرگترین عدد صحیحی که هم a و هم b را عاد میکند.