الترجع القوي مقابل الترجع البسيط: اختيار الأداة الخاطئة
الترجع البسيط يفشل مع فيبوناتشي. الترجع القوي نادراً ما يفشل، لكنه يكلّف جهداً لا فائدة منه في الحالات البسيطة.
يتمثل الخطأ في اختيار ترجع بسيط حيث يكون الترجع القوي مطلوباً، أو العكس، أي استعمال ترجع قوي بينما يكفي البسيط تماماً. في الحالة الأولى، يفشل البرهان. وفي الثانية، تضيّع وقتاً ثميناً وطاقة ذهنية بلا فائدة. لنأخذ مثال متتالية فيبوناتشي المعرّفة بـ و من أجل . إذا حاولنا البرهنة بترجع بسيط على أن زوجي إذا وفقط إذا كان مضاعفاً للعدد 3، فإن فرضية الترجع البسيط ( صحيحة) غير كافية لإثبات لأن يتعلق بـ و .
بالمقابل، للبرهنة على أن من أجل كل ، يكون الترجع البسيط ملائماً تماماً. أما طرح فرضية ترجع قوي (افتراض من أجل كل ) فهو صحيح لكنه ثقيل دون داعٍ. هذا التحديد المفرط لا يضيف لك شيئاً من حيث قوة البرهان ويُعقّد التحرير.
قبل الشروع في برهان بالترجع، حلّل بعناية علاقة الترجع نفسها. لاحظ بكم من الحدود السابقة يتعلق الحد أو . إذا كان يتعلق فقط بـ (أو يتعلق فقط بـ )، فإن الترجع البسيط يكفي عموماً. أما إذا كان يتعلق بـ و (أو أكثر من حدود سابقة)، فإن الترجع القوي لا غنى عنه.
- قائمة تحقق منهجية:
- 1. تحديد العلاقة: اكتب علاقة الترجع صراحة. مثلاً، أو .
- 2. تعلّق الحدود: إذا كان يتعلق فقط بـ ، اختر الترجع البسيط.
- 3. تعلّق متعدد: إذا كان يتعلق بـ و (أو أكثر)، اختر الترجع القوي.
- 4. حالة خاصة: إذا كانت الخاصية لا تعتمد مباشرة على قيمة بل على خاصية لـ (مثلاً، زوجية )، فإن الترجع البسيط يكفي إذا أمكن استنتاج خاصية من خاصية .
هذا التمييز حاسم في تمارين المتتاليات في باكالوريا العلوم الرياضية، خاصة عند دراسة المتتاليات المعرّفة بعلاقات ترجع من الرتبة 2 (مثلاً، ). من الأمثلة الكلاسيكية البرهنة على خاصيات قابلية القسمة أو الزوجية لهذه المتتاليات.
المتتاليات من نوع فيبوناتشي أو المتتاليات الترجعية الخطية من الرتبة 2 هي الميادين المفضلة التي يكون فيها الترجع القوي ضرورياً في الغالب. عدم اختياره يؤدي إلى انسداد فوري في مرحلة التوارث. يتوقع ممتحن باكالوريا العلوم الرياضية برهاناً صحيحاً وناجعاً. الترجع القوي المستعمل دون داعٍ لا يُعاقَب في حد ذاته إذا كان البرهان صحيحاً، لكنه يشهد على نقص في التمييز المنهجي وقد يضيّع عليك وقتاً ثميناً.
💡 للفضوليين : لماذا يفعل دماغك هذا عرض ▾إخفاء ▴
كلمة «ترجع» هي التي تُطلق الآلية: فهي تستدعي فوراً النموذج الأكثر تدرّباً عليه، أي الترجع البسيط، . نُشهِر الأداة برد فعل قبل أن ننظر إلى بنية المسألة. لكن من أجل متتالية مثل فيبوناتشي، ، فإن الرتبة تتعلق برتبتين سابقتين: يجب افتراض الخاصية صحيحة من أجل كل الرتب إلى غاية ، وليس فقط الأخيرة. آلية «السلف الوحيد» قصيرة جداً: نتعثر لأن الخطوة التالية تتطلب ذاكرة للتاريخ بأكمله، أي الترجع القوي.