التبرير الاستقرائي والتخمين والمثال المضاد
الرياضيات — المنطق الرياضي
الهدف: فهم كيفية تكوين التخمينات من الملاحظات، وإيجاد الأمثلة المضادة لنقضها.
التبرير الاستقرائي
— التبرير الاستقرائي هو عملية ملاحظة حالات خاصة متكررة للوصول إلى استنتاج عام.
— نبدأ بالملاحظة، ثم نكوّن تخميناً، ثم نحاول إثباته أو نقضه.
مثال ١: مجموع الأعداد الفردية المتتالية
— لاحظ النتائج:
ملاحظة
— النتائج هي: 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) وهو زوجي دائماً. أصبح نظرية!
التخمين المُثبَت يصبح نظرية — ولا يمكن نقضه بمثال مضاد
ملخص المفاهيم
الخلاصة
— التبرير الاستقرائي: ننتقل من حالات خاصة إلى استنتاج عام.
— التخمين: تعميم مؤقت، يظل صالحاً حتى يُثبَت أو يُنقَض.
— المثال المضاد: حالة واحدة مخالفة تكفي لإسقاط التخمين بالكامل.
— النظرية: تخمين أُثبت رياضياً — ولا يمكن نقضه بأي مثال.
التبرير الاستقرائي والتخمين والمثال المضاد
في هذا الدرس سندخل إلى عالم التبرير والبرهان، وسنتعرف على ثلاثة مفاهيم أساسية، وهي:
- التبرير الاستقرائي. - التخمين. - المثال المضاد.
وترتبط هذه المفاهيم ببعضها ارتباطًا وثيقًا في الرياضيات والعلوم.
ما هو التبرير الاستقرائي؟
التبرير الاستقرائي هو ملاحظة ظاهرة أو نمط معين يتكرر باستمرار، ثم محاولة تعميم هذه الملاحظة.
أي أننا نراقب مجموعة من الأمثلة، فإذا أعطتنا جميعها النتيجة نفسها، نبدأ بتوقع أن هذه النتيجة تنطبق دائمًا.
لكن هذا لا يعد برهانًا رياضيًا، وإنما يقودنا إلى خطوة جديدة تسمى **التخمين**.
ما هو التخمين؟
التخمين هو نتيجة نتوصل إليها بعد ملاحظة عدد كبير من الأمثلة باستخدام التبرير الاستقرائي.
ويبقى هذا التخمين مقبولًا إلى أن نجد مثالًا واحدًا يخالفه.
فإذا ظهر مثال يخالف التخمين، فإنه يُبطل هذا التخمين مباشرة.
ما هو المثال المضاد؟
المثال المضاد هو مثال واحد فقط يثبت أن التخمين غير صحيح.
ولا نحتاج إلى عدد كبير من الأمثلة لإبطال التخمين، بل يكفي وجود مثال واحد يخالفه.
العلاقة بين المفاهيم الثلاثة
تمر عملية الاستنتاج عادة بالمراحل التالية:
1. نلاحظ نمطًا متكررًا (التبرير الاستقرائي). 2. نعمم هذا النمط في صورة تخمين. 3. يبقى التخمين صحيحًا حتى نجد له مثالًا مضادًا.
مثال من الحياة اليومية
لنفترض أننا نلاحظ لون الغربان.
فنجد أن جميع الغربان التي شاهدناها لونها أسود.
بعد تكرار هذه الملاحظة في أماكن مختلفة، قد نكوّن التخمين التالي:
"جميع الغربان لونها أسود."
لكن إذا وجدنا لاحقًا غرابًا بلون مختلف في منطقة أخرى، فإن هذا الغراب يصبح مثالًا مضادًا، ويُبطل التخمين بالكامل.
مثال رياضي
لنلاحظ مجموع عددين فرديين.
إذا جمعنا عدة أمثلة:
- 3 + 5 = 8 - 7 + 9 = 16 - 11 + 13 = 24
نلاحظ أن الناتج دائمًا عدد زوجي.
وبعد تكرار هذه الملاحظات يمكننا وضع التخمين التالي:
"مجموع أي عددين فرديين يساوي عددًا زوجيًا."
ويظل هذا التخمين صحيحًا ما لم نجد مثالًا مضادًا.
تخمين استغرق قرونًا لإثباته
في تاريخ الرياضيات توجد تخمينات بقيت دون إثبات لمئات السنين.
ومن أشهرها **نظرية فيرما الأخيرة**.
تنص النظرية على أنه لا توجد ثلاثة أعداد صحيحة موجبة تحقق:
\[ a^n+b^n=c^n \]
عندما:
\[ n>2 \]
ظل هذا الادعاء مجرد تخمين لعدة قرون، حتى تم إثباته رياضيًا لاحقًا، فأصبح نظرية مثبتة.
مثال على تخمين خاطئ
لننظر إلى مجموعة من الأعداد الأولية:
- 3 - 5 - 7 - 11 - 13 - 17
نلاحظ أنها جميعًا أعداد فردية.
ومن خلال هذه الأمثلة قد نتوصل إلى التخمين التالي:
"جميع الأعداد الأولية أعداد فردية."
لكن عند النظر إلى العدد:
\[ 2 \]
نجده عددًا أوليًا، وفي الوقت نفسه عددًا زوجيًا.
وبذلك يصبح العدد 2 مثالًا مضادًا، ويكفي وحده لإبطال التخمين بالكامل.
كما أن العدد 2 هو العدد الأولي الوحيد الذي يعد زوجيًا.
ملخص الدرس
- التبرير الاستقرائي يعتمد على ملاحظة الأنماط المتكررة. - يقود التبرير الاستقرائي إلى تكوين تخمين. - التخمين ليس برهانًا رياضيًا، بل يحتاج إلى إثبات. - المثال المضاد هو مثال واحد يكفي لإبطال أي تخمين. - بعض التخمينات قد تبقى صحيحة لسنوات أو حتى قرون قبل أن تُثبت أو يُعثر لها على مثال مضاد.
عن هذا الدرس
التبرير الاستقرائي, التخمين, المثال المضاد, inductive reasoning, conjecture, counterexample هذا الدرس ضمن الفصل الأول لمنهج الثانوية أول ثانوي في أكاديمية موسى.
