صفحهٔ ۱ از ۳
💡 گزارههای اگر-آنگاه
یک اثبات مستقیم با اتصال حقایق به هم در یک زنجیر کار میکند:
«اگر چیزی درست باشد، آنگاه چیز دیگری هم باید درست باشد.»
با اتصال چند گزارهٔ اگر-آنگاه به هم، میتوانی چیزها را گامبهگام ثابت کنی — مثل ساختن پلی از آنچه میدانی به آنچه میخواهی نشان دهی.
مثال ۱: اگر عددی بر ۱۰ بخشپذیر باشد، آنگاه بر ۵ هم بخشپذیر است
شروع
فرض کن عددی بر ۱۰ بخشپذیر است.
⬇️
دلیل
یعنی آن عدد برابر است با ۱۰ × (یک عدد). مثلاً ۳۰ = ۱۰ × ۳.
⬇️
دلیل
اما ۱۰ = ۵ × ۲، پس ۱۰ × (یک عدد) = ۵ × ۲ × (یک عدد).
⬇️
ثابت شد!
یعنی آن عدد برابر است با ۵ × (یک عدد)، پس بر ۵ بخشپذیر است. ✓
هر گام به صورت منطقی از گام قبلی نتیجه میشود. این یک اثبات است!
مثال ۲: اگر عددی بر ۶ بخشپذیر باشد، آنگاه بر ۳ هم بخشپذیر است
شروع
عدد بر ۶ بخشپذیر است.
⬇️
دلیل
پس برابر است با ۶ × (یک عدد).
⬇️
دلیل
۶ = ۳ × ۲، پس ۶ × (یک عدد) = ۳ × ۲ × (یک عدد).
⬇️
ثابت شد!
آن عدد برابر است با ۳ × (یک عدد)، پس بر ۳ بخشپذیر است. ✓
صفحهٔ ۲ از ۳
۱ زنجیرهٔ اگر-آنگاه را کامل کن 🔗
گامهای خالی را پر کن تا هر اثبات کامل شود.
اثبات کن: اگر عددی بر ۱۲ بخشپذیر باشد، آنگاه بر ۴ هم بخشپذیر است.
شروع عدد بر ۱۲ بخشپذیر است.
⬇️
دلیل پس برابر است با ۱۲ × (یک عدد).
⬇️
دلیل ۱۲ = ۴ × ، پس ۱۲ × (یک عدد) =
⬇️
ثابت شد!
اثبات کن: اگر یک عدد درست به ۰ ختم شود، آنگاه زوج است.
شروع عدد به ۰ ختم میشود.
⬇️
دلیل اعدادی که به ۰ ختم میشوند بر بخشپذیرند.
⬇️
دلیل ۱۰ = ۲ × ، پس آن عدد بر بخشپذیر است.
⬇️
ثابت شد!
۲ جفتهای اگر-آنگاه را پیدا کن 🔀
یک خط بکش و هر «اگر» را به «آنگاه» درست وصل کن.
اگر عددی بر ۱۰۰ بخشپذیر باشد…
آنگاه به ۵ یا ۰ ختم میشود.
اگر عددی بر ۹ بخشپذیر باشد…
آنگاه بر ۵۰ بخشپذیر است.
اگر عددی مضربی از ۴ باشد…
آنگاه مجموع ارقامش مضربی از ۹ است.
اگر عددی بر ۵ بخشپذیر باشد…
آنگاه زوج است.
صفحهٔ ۳ از ۳
۳ اثبات خودت را بنویس! ✍️
یک ادعا انتخاب کن و با استدلال اگر-آنگاه آن را گامبهگام ثابت کن.
یکی را برای اثبات انتخاب کن:
الف) اگر عددی بر ۸ بخشپذیر باشد، آنگاه بر ۲ هم بخشپذیر است.
ب) اگر عددی مضربی از ۱۵ باشد، آنگاه مضربی از ۵ هم هست.
پ) اگر دو مضرب از ۳ را با هم جمع کنی، نتیجه هم مضربی از ۳ است.
انتخاب کردم:
شروع
⬇️
دلیل
⬇️
دلیل
⬇️
ثابت شد!
🌟 چالش: یک ادعای دیگر را هم ثابت کن!
حرف دیگری (الف، ب یا پ) از بالا انتخاب کن و اینجا هم ثابت کن.
انتخاب کردم:
شروع
⬇️
دلیل
⬇️
ثابت شد!
🎓 تبریک! تو ۵ روش اثبات یاد گرفتی:
بررسی مثالها در برابر اثبات،
مثال نقض،
اثباتهای تصویری/نقطهای،
اثبات تصویری،
اثبات با بررسی حالتها، و
استدلال اگر-آنگاه. مثل یک ریاضیدان واقعی فکر میکنی!
کلید پاسخها:
۱الف) ۱۲=۴×۳، ۴×۳×(یک عدد)، بر ۴ بخشپذیر است — ۱ب) بر ۱۰ بخشپذیر است، ۱۰=۲×۵، بر ۲ بخشپذیر است، عدد زوج است —
۲) بر ۱۰۰ بخشپذیر ← بر ۵۰ بخشپذیر؛ بر ۹ بخشپذیر ← مجموع ارقام مضرب ۹ است؛ مضرب ۴ ← زوج؛ بر ۵ بخشپذیر ← به ۵ یا ۰ ختم میشود —
۳) الف: ۸=۲×۴، پس ۸×n=۲×۴×n، بر ۲ بخشپذیر است؛ ب: ۱۵=۵×۳، پس ۱۵×n=۵×۳×n، بر ۵ بخشپذیر است؛ پ: ۳a+۳b=۳(a+b)، مضرب ۳ است