البرهان بالخلف والبرهان بالمضاد للنقيض: الطريقتان اللتان لا تستغلهما بما يكفي

🔄 طريقتان مُهملتان (خطأً)

في الثانوي، يتم التركيز على الترجع لدرجة أن العديد من التلاميذ ينسون طريقتي البرهان غير المباشر الأخريين: البرهان بالخلف والبرهان بالمضاد للنقيض. هاتان الطريقتان تحلان أسئلة مستحيلة بطرق أخرى.

💥 البرهان بالخلف

المبدأ: لإثبات قضية P، نفترض نقيض P ونستنتج تناقضاً. إذن نقيض P مستحيل، وبالتالي P صحيحة.

📐 البنية الإلزامية (انسخها حرفياً)

🎯 متى نستعملها؟

• قضايا من نوع "لا يوجد…" ("لا يوجد عدد نسبي x بحيث x² = 2")
• قضايا الوحدانية ("يوجد وحيد…")
• قضايا حيث الخلاصة سلبية ("f غير قابلة للاشتقاق عند 0")
• عندما لا يؤدي المنهج المباشر إلى شيء

✨ مثال شهير: √2 عدد غير نسبي

لنفترض بالخلف أن √2 = p/q حيث p و q عددان صحيحان
أوليان فيما بينهما (كسر غير قابل للاختزال).

إذن 2 = p²/q²، ومنه p² = 2q².
إذن p² زوجي، ومنه p زوجي (لأن مربع عدد فردي فردي).
لنكتب p = 2k. إذن 4k² = 2q²، ومنه q² = 2k².
إذن q² زوجي، ومنه q زوجي.

لكن p و q إذن زوجيان معاً، أي قابلان للقسمة على 2.
تناقض مع "p و q أوليان فيما بينهما". ∎

🪞 البرهان بالمضاد للنقيض

المبدأ: لإثبات "A ⇒ B"، نثبت "نقيض B ⇒ نقيض A" (مكافئ منطقياً).

هذا مفيد عندما تكون A معقدة لكن نقيض B سهل.

📐 البنية

🎯 متى نستعملها؟

• الفرضية A معقدة (طويلة، تقنية)
• الخلاصة B سهلة النفي
• عندما يبدو الاستنتاج المباشر "يدور في حلقة مفرغة"

✨ مثال كلاسيكي: إذا كان n² زوجياً، فإن n زوجي

لنبرهن المضاد للنقيض:
إذا لم يكن n زوجياً (أي n فردي)، فإن n² ليس زوجياً.

ليكن n فردياً. إذن n = 2k + 1 لعدد صحيح k ∈ ℤ.
n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1.
إذن n² فردي.

بالمضاد للنقيض، أثبتنا: إذا كان n² زوجياً، فإن n زوجي. ∎

⚠️ الأخطاء الكلاسيكية الثلاثة

1. عدم كتابة صراحة "لنفترض بالخلف" أو "لنبرهن بالمضاد للنقيض". بدون ذلك، لا يتابع المصحح استدلالك. −2 نقطة مضمونة.
2. الخلط بين المضاد للنقيض والعكس. المضاد للنقيض لـ "A ⇒ B" هو "نقيض B ⇒ نقيض A" (مكافئ). العكس هو "B ⇒ A" (عموماً خاطئ).
3. عدم الاستنتاج. بعد التناقض (أو برهان نقيض B ⇒ نقيض A)، يجب جملة صريحة تعيد صياغة النتيجة.

🎓 كيف تختار: بالخلف أم بالمضاد للنقيض؟

مقالات ذات صلة: البرهان بالترجع، نماذج البرهان بالترجع.