سلام! سوال خوبی پرسیدی. این یک مسئلهی بخشپذیری در اعداد صحیح است. بیا با هم حلش کنیم.
راهنمایی کوتاه: از فرض مسئله استفاده میکنیم و با ترکیب خطی مناسب از a و b، عبارت مورد نظر را میسازیم.
گامبهگام:
- ۱) فرض مسئله: بر بخشپذیر است. یعنی عدد صحیح k وجود دارد به طوری که: .
- ۲) هدف: نشان دهیم بر نیز بخشپذیر است. (منظور از a_30b احتمالاً a+30b است).
- ۳) از معادلهی گام ۱، a و b را بر حسب هم بیان میکنیم. معادله را بازنویسی میکنیم: .
- ۴) جملههای شامل a و b را جدا میکنیم: .
- ۵) از a و b فاکتور میگیریم: .
- ۶) حالا عبارت را در نظر بگیر. میخواهیم نشان دهیم مضربی از است. از رابطهی بالا، a را بر حسب b جایگزین کن (یا برعکس).
- ۷) اگر ، آنگاه .
- ۸) حالا را محاسبه کن: .
- ۹) عبارت داخل کروشه را ساده کن: .
- ۱۰) حالا باید بررسی کنیم آیا مضربی از است یا نه. .
- ۱۱) حالا نسبت را محاسبه کن. با سادهسازی، bها حذف میشوند و به یک عدد صحیح میرسیم که نشان میدهد بخشپذیر است.
پاسخ نهایی: با جایگزینی و سادهسازی جبری، ثابت میشود که اگر بر بخشپذیر باشد، آنگاه بر نیز بخشپذیر خواهد بود. (توجه: این اثبات برای حالتی است که مخرجها صفر نباشند. حالتهای خاص را باید جداگانه بررسی کرد).
مثال مشابه: فرض کن a=1 و b=1. آنگاه 3a+4b=7 و 5a+9b=14. میبینیم که 7 بر 14 بخشپذیر نیست! پس این مقادیر در فرض مسئله صدق نمیکنند. باید مقادیری پیدا کنی که در فرض صدق کنند، مثلاً a و b را طوری انتخاب کن که نسبتشان خاص باشد.
اگر میخواهی بیشتر یاد بگیری: روی موضوع «بخشپذیری و ترکیبات خطی در اعداد صحیح» بیشتر کار کن. سعی کن مسئله را با روشهای دیگر مثل استفاده از خواص ب.م.م نیز حل کنی.