متى نستخدم الترجع؟
يُستخدم الترجع لإثبات خاصية P(n) صحيحة لكل عدد صحيح طبيعي (غالبا أو ). تتعرف على الحاجة للترجع عندما ينص السؤال: «أثبت بالترجع أن...».
المراحل الثلاث الإلزامية
- التهيئة: نتحقق من أن صحيحة (الحالة الأساسية).
- الانتقال: نفترض أن صحيحة لعدد معين ، ونثبت أن صحيحة أيضا.
- الخلاصة: نحرر «حسب مبدأ الترجع، صحيحة لكل .»
مثال محلول
نص المسألة. أثبت أنه لكل : .
الترميز. نرمز بـ : «».
التهيئة. من أجل : في الطرف الأيسر، . في الطرف الأيمن، . إذن صحيحة.
الانتقال. لنفترض أن صحيحة لعدد معين . لنثبت :
هذه هي الصيغة المطلوبة لـ . إذن صحيحة.
الخلاصة. بالترجع، صحيحة لكل .
الخطآن الكلاسيكيان
- نسيان التهيئة: بدون الحالة الأساسية، لا تنطلق السلسلة. هذا خطأ فادح (قد تفقد حتى 50% من النقط).
- سوء صياغة الفرضية: تفترض ، وليس . فرضية الترجع هي المقدمة، وليست النتيجة.
صيغ مفيدة
- الترجع القوي: نفترض أن كلها صحيحة لنستنتج . مفيد عندما يعتمد على عدة حدود سابقة.
- الترجع المزدوج: نتحقق من و ، ثم نثبت أن و تستلزمان (متتاليات من نوع ).
للمزيد من التعمق
تدرب على تمارين المتتاليات للسنة الثانية باكالوريا — نصف أسئلة الباكالوريا حول المتتاليات تُحل بالترجع.