التبرير الاستقرائي - التخمين-المثال المضاد
الشرح
التبرير الاستقرائي والتخمين والمثال المضاد
الرياضيات — المنطق الرياضي
الهدف: فهم كيفية تكوين التخمينات من الملاحظات، وإيجاد الأمثلة المضادة لنقضها.
التبرير الاستقرائي
— التبرير الاستقرائي هو عملية ملاحظة حالات خاصة متكررة للوصول إلى استنتاج عام.
— نبدأ بالملاحظة، ثم نكوّن تخميناً، ثم نحاول إثباته أو نقضه.
مثال ١: مجموع الأعداد الفردية المتتالية
— لاحظ النتائج:
ملاحظة
— النتائج هي: 1، 4، 9، 16 — وهي مربعات الأعداد الطبيعية.
التخمين: مجموع أول n عدد فردي = n²
التخمين
— التخمين هو تعميم مبني على الملاحظة، لكنه لم يُثبت رياضياً بعد.
— يظل صالحاً حتى نجد له مثالاً مضاداً أو نثبته.
مثال ٢: صيغة فيرما للأعداد الأولية
— اقترح فيرما أن الصيغة التالية تنتج أعداداً أولية دائماً:
— النتائج لأول قيم:
ملاحظة
— كل هذه أعداد أولية، فكوّن فيرما تخمينه — ثم وجد أويلر أن F₅ يقبل القسمة على 641، وهو مثال مضاد!
التخمين سقط بمثال مضاد واحد — F₅ ليس أولياً
المثال المضاد
— المثال المضاد هو حالة واحدة تثبت خطأ التخمين.
— مثال واحد كافٍ للنقض، بغض النظر عن عدد الحالات الصحيحة.
مثال ٣: تخمين عن الأعداد الأولية
— التخمين: كل الأعداد الأولية فردية.
— نلاحظ: 3، 5، 7، 11، 13 كلها فردية — يبدو صحيحاً!
ملاحظة
— العدد 2 عدد أولي وزوجي في آنٍ واحد — هذا هو المثال المضاد الذي ينقض التخمين.
— استخدم المتحكم لاستعراض مجموع أول n عدد فردي ومقارنته بـ n²:
مثال مضاد واحد يكفي لنقض التخمين — بغض النظر عن الحالات الصحيحة
تطبيق: جمع الأعداد الفردية
— التخمين: مجموع أي عددين فرديين دائماً زوجي.
— نتحقق بأمثلة:
ملاحظة
— يمكن إثبات هذا التخمين جبرياً: العدد الفردي = 2k+1، ومجموع فرديين = 2k₁ + 2k₂ + 2 = 2(k₁+k₂+1) وهو زوجي دائماً. أصبح نظرية!
التخمين المُثبَت يصبح نظرية — ولا يمكن نقضه بمثال مضاد
ملخص المفاهيم
الخلاصة
— التبرير الاستقرائي: ننتقل من حالات خاصة إلى استنتاج عام.
— التخمين: تعميم مؤقت، يظل صالحاً حتى يُثبَت أو يُنقَض.
— المثال المضاد: حالة واحدة مخالفة تكفي لإسقاط التخمين بالكامل.
— النظرية: تخمين أُثبت رياضياً — ولا يمكن نقضه بأي مثال.