استقرا
مقدمه
برای درک مفهوم استقرا به مراحل اثبات یکی از برابریهای ساده در ریاضیات توجه کنید:
مجموع اعداد طبیعی زیر را در نظر بگیرید:
اگر به طور که بخواهیم را بدست بیاوریم یک راه این است که الگویی از مجموع اعداد بالا بدست آورده و سعی در اثبات آن نمائیم.
و به این ترتیب الگوی را برای مجموعة فوق در نظر میگیریم.
این الگو در حقیقت یک گزاره بر روی اعداد طبیعی میباشد که میتوان آن را با به معنی نمایش داد.
اگر چه اثبات این الگو به طور مستقیم و بدون کمک به استقرا به سادگی ممکن میباشد ولی در حل مسائل ریاضی به دفعات به حدسهایی برمیخوریم که اثبات آنها میتواند مشکل باشد در ایدة استقرا یکی از زیباترین ایدههای موجود برای کمک به ما میباشد.
برای آنکه بیشتر آمادگی ذهنی برای درک استقرا پیدا کنیم به همان مثال مجموع اعداد 1 تا میرویم، و میخواهیم گزارة را که گزارهای دربارة عدد میباشد ثابت کنیم.
در ایدة استقرا که جلوتر به تعریف دقیق آن میپردازیم نخست باید برای های کوچک درستی را نشان دهیم مانند:
علاقه مندی ها (Bookmarks)