Ii bob. Kombinatorika

3- misol. “Ixtiyoriy natural son uchun son 2ga qoldiqsiz bo‘linadi” degan tasdiqni tekshirishda matematik induksiya usulining baza qismi talabini bajarmasdan faqat induksion o‘tishni tekshiramiz.

Bu tasdiq uchun to‘g‘ri bo‘lsin, ja’ni son 2ga qoldiqsiz bo‘linsin deb faraz qilamiz. U holda son ham, qo‘shiuvchilarining har biri 2ga qoldiqsiz bo‘linganligi sababli, 2ga qoldiqsiz bo‘linadi. Shuning uchun tenglik asosida son 2ga qoldiqsiz bo‘linadi degan xulosa kelib chiqadi. Demak, yuqoridagi tasdiq uchun to‘g‘ri, ya’ni induksion o‘tish bajarildi deb hisoblash mumkin.

Shunday qilib, matematik induksiya usulining baza qismini tekshirmasdan “ixtiyoriy natural son uchun son 2ga qoldiqsiz bo‘linadi” degan xulosa qilish noto‘g‘ridir, chunki ixtiyoriy natural son uchun sonni 2ga bo‘lganda 1 qoldiq qoladi. ■