مبرهنات رياضية

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

مبرهنات رياضية

المبرهنة الرياضية قانون صحيح دائما, يتم البرهنة على صحته, بواسطة التحليل المنطق, انطلاقا من مسلمات و مبرهنات أخرى.

في حالة عدم التمكن من إثبات صحة أو خطأ نظرية تسمى حدسية, و لا تصبح مبرهنة رياضية إلا بعد البرهنة النهائية عليها.

تصنيفات

تعتبر صحيحة:

  • المسلمات التي تعتبر بمثابة قاعدة لمبرهنة, و ليس لها برهان.
  • التعريفات التي تقدم وصفا أو تعريفا لكائنات رياضية تملك بعض الخصائص.
  • المبرهنات التي يتم البرهنة عليها وفق تسلسل منطقي.

طرق البرهنة

برهان بالاستنتاج

اذا كان P صحيحا ، و الاستلزام من P إلى Q صحيحا فإن Q يعتبر صحيحا.

الاستلزام العكسي

للبرهنة على صحة استلزام من P إلى Q يمكن البرهنة على أن الاستلزام من نفيQ نحو نفيP صحيح أيضا.

برهان بفصل الحالات

للبرهنة على صحة Q يمكن دراسة حالتين:

  1. إذا كان P صحيحا و كان الاستلزام من P نحو Q صحيحا, فإن Q صحيحة.
  2. إذا كان نفيP صحيحا و كان الاستلزام من نفيP نحو Q صحيحا, فإن Q صحيحة.

برهان بالترجع

A إذا كان عبارة معرفة على مجموعة الأعداد الصحيحة الطبيعية, إذا تحقق ما يلي:

  1. A صحيحة بالنسبة للقيمة صفر 0
  2. الاستلزام من A(n)







لائحة بالمبرهنات الرياضية.