إسم الملف عرض بوربوينت البرهان باستعمال مبدأ الاستقراء الرياضي رياضيات 4 مقررات أ. أحمد عبدالله الحرز
– لم يذكر أي من هؤلاء علماء الرياضيات القدامى صراحة فرضية الاستقراء ، وكانت قضية مماثلة أخرى ، كما أن فرانشيسكو ماوروليكو في كتابه الثنائي Arithmeticorum يبري (1575) ، يستخدم هذه التقنية لإثبات أن مجموع أول ن الأعداد الصحيحة هو ن 2. كما أعطى باسكال الصيغة الصريحة الأولى لمبدأ الاستقراء في كتابه Traité du triangle arithmétique (1665). – استفاد فرنسي آخر هو فيرما من مبدأ ذي صلة ، وهو دليل غير مباشر من خلال النسب اللانهائية ، و قد تم استخدام فرضية الحث من قبل السويسري ينيعقوب برنولي ، و منذ ذلك الحين أصبح أكثر شهرة ، و قد جاءت المعالجة الصارمة و المنهجية لهذا المبدأ فقط في القرن التاسع عشر ، مع جورج بول ، أوغسطس دي مورجان ، وتشارلز ساندرز بيرس ، جيوسيبي بيانو ، وريتشارد ديديكيند. وصف الاستقراء الرياضي – إن أبسط أشكال الاستقراء الرياضي وأكثرها شيوعًا يستنتج أن العبارة التي تتضمن رقمًا طبيعيًا n تحملها جميع قيم n ، و يتكون الدليل من خطوتين الاولى في حالة قاعدة إثبات أن البيان يحمل لأول عدد طبيعي ن 0 ، و في حالة خطوة الاستقراء ، التي تثبت أن كل ن ≥ ن 0 ، إذا استمر البيان ل ن ، ثم تحتفظ بها ل ن + 1.
هاتان الخطوتان تنشئان الخاصية P ( n) لكل رقم طبيعي n = 0 ، 1 ، 2 ، 3 ، … لا يلزم أن تبدأ الخطوة الأساسية بصفر ، و غالبًا ما يبدأ بالرقم الأول ، و يمكن أن يبدأ بأي رقم طبيعي ، مما يثبت حقيقة الخاصية لجميع الأعداد الطبيعية التي تزيد عن أو تساوي رقم البداية. – يمكن تمديد هذه الطريقة لإثبات البيانات حول طرق أكثر عمومية جيدة ، مثل الأشجار ؛ هذا التعميم، والمعروفة باسم الحث الهيكلي ، و يستخدم في المنطق الرياضي و علوم الكمبيوتر ، و يرتبط الاستفراء الرياضي بهذا المعنى الممتد ارتباطًا وثيقًا بالرجوع ، الاستقراء الرياضي في بعض الأشكال ، هو أساس كل البراهين الصحيحة لبرامج الكمبيوتر. – على الرغم من أن اسمها قد يوحي بخلاف ذلك ، فلا ينبغي إساءة فهم الاستقراء الرياضي كشكل من أشكال التفكير الاستقرائي كما هو مستخدم في الفلسفة (انظر أيضًا مشكلة الاستقراء) ، الحث الرياضي هو قاعدة الاستدلال المستخدمة في البراهين الرسمية ، و الدليل على الحث الرياضي هو في الواقع أمثلة على الاستنتاج المنطقي. تاريخ الاستقراء الرياضي – في 370 قبل الميلاد، درس أفلاطون مثالا مبكرا لدليل الاستقرائي الضمني ، ويمكن الاطلاع على أقدم آثار ضمنية من الاستقراء الرياضي في إقليدس ، دليل على أن عدد من حاول دراستها هو لانهائي ، و قد قيل إنه إذا كان 1،000،000 حبة من الرمال شكلت كومة ، وأزالت إزالة حبة واحدة من كومة ، ثم واحدة تشكل حبة الرمل ، و قد تم تقديم دليل ضمني من خلال الحث الرياضي للتسلسلات الحسابية في الفاخري الذي كتبه الكراجي حوالي عام 1000 ميلادي ، والذي استخدمه لإثبات النظرية ذات الحدين وخصائص مثلث باسكال.