كتب complete extrapolation
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
استقراء تام (معلومة)
توجد طريقة أخرى للتعميم، تدعى الاستقراء التام أو الاستقراء الشديد أو استقراء مجموعة جرعات, تنص على أنه في الخطوة الثانية يمكننا افتراض ليس بقاء صحة الشرط لقيم n = m فحسب بل أيضا لقيم n أقل أو تساوي m. ليس ضروريا ذكر حالة الأساس في الاستقرار التام كافتراض منفصل. عندما نأخذ بعين الاعتبار الحالة الأولى، فأن اعتبار صحة الشرط لجميع الحالات السابقة أمر صحيح لاداعي لذكره. فخطوة الاستقراء للاستقراء التام في هذه الحالة مقابلة لحالة الأساس في الاستقراء العادي. وعلى ذلك ينبغي للإثبات بخطوة الاستقراء في الاستقراء التام أن تكون قادرة على العمل مع شرط خالي شبيه لما سبق. الإثبات الأول في السابق ليس من هذا النوع (لكن يمكن تحويله).
إن الاستقراء التام مفيد جدا عندما يتطلب الأمر مراحل عديدة من فرضيات الاستقراء لكل خطوة على حدة. مثلا يمكن استخدام الاستقراء التام لتوضيح أن:
حيث هو عدد فيبوناكسي النوني و (النسبة الذهبية) و جذور . باستعمال التعريف , يمكن التحقق من المتطابقة السابقة مباشرة بالتفاضل والتكامل إذا افترضنا صحتها لكل من و . لاستكمال الإثبات، يجب تحيقيق المتطابقة باستخدام كلا حالتي الأساس n == 0 وn == 1.
يوجد اثبات آخر بالاستقراء الرياضي يستخدم الفرضيتين بصحة التعبير لكل قيم n الصغرى تماما. لنعتبر التعبير بأن "كل عدد طبيعي أكبر من 1 هو حاصل ضرب أعداد أولية", وبافتراض أنه بدلالة m > 1 يكون صحيحا لجميع قيم الصغرى n > 1. إذا كان m عدد أولي فمؤكد أنه حاصل ضرب أعداد أولية وإذا لم يكن كذلك، فإنه من التعبير حاصل ضرب: m = n1 n2,
حيث أن أي من المعاملات لا يساوي 1, وعليه ولا يساوي m, وبالتالي كليهما أقل من m. الآن يتم تطبيق فرضية الاستقراء على n1 وn2, وبالتالي فكل منهما حاصل ضرب أعداد أولية. ومن ثم m حاصل ضرب مضاريب أعداد أولية، أي ضرب أعداد أولية. لاحظ أن حالة الأساس m =2 لم يتم اعتبارها بشكل صريح مطلقا.
استقراء محدود
وبمعنى أدق، من اللازم في الاستقراء المحدود أن يتم إثبات الأساس، لأنه لاجدوى من حالة خاصة للاقتراح إذا كان P صحيحا لكل قيم n <m, فإن P صحيحا في m.
