البرهان بالترجّع: الطريقة في 3 خطوات
التأسيس → التوريث → الاستنتاج. الطقس الذي يُثبت أنّ خاصّة صحيحة لكل عدد صحيح n.
الطقس في 3 خطوات
لإثبات أنّ خاصّة صحيحة لكل عدد صحيح :
الخطوة 1: التأسيس
تحقّق أنّ صحيحة (غالبًا أو ).
الخطوة 2: التوريث
افترض صحيحة لعدد مثبَّت (فرضية الترجّع). أثبت أنّ صحيحة.
الخطوة 3: الاستنتاج
بالترجّع، صحيحة لكل .
مثال:
سمِّ : .
التأسيس (): . ✓
التوريث: افترض . أثبت .
✓
الاستنتاج: بالترجّع، الصيغة صحيحة لكل .
القالب
سمِّ P(n): "..."
التأسيس:
عند n = n_0، ...
إذن P(n_0) صحيحة.
التوريث:
ليكن n ≥ n_0 مثبَّتًا.
افترض P(n) (HR).
أثبت P(n+1).
[استعمل HR]
إذن P(n+1) صحيحة.
الاستنتاج:
بالترجّع، P(n) صحيحة لكل n ≥ n_0.
أخطاء شائعة
- نسيان التأسيس: بدون قاعدة، لا ينطلق الترجّع.
- استعمال خاصّة أقوى من في التوريث.
- عدم توضيح مكان استعمال HR.
- الخلط بين «لكل» و«لأجل»: في HR، مثبَّت.
حالات شائعة في الامتحان
- مجاميع الأعداد، المربّعات، القوى
- المتراجحات (مثل )
- صيغ متتاليات معرَّفة بالترجّع
- قابلية القسمة (مثل قابل للقسمة على 3)
في البرهان بالترجّع، خطوة التأسيس تتمثّل في:
اختبار قصير
السؤال 1 / 3بدون تأسيس، البرهان بالترجّع:
