استقرای ریاضی

از ویکیجو | دانشنامه آزاد پارسی
(تغییرمسیر از Mathematical induction)

اِستِقرایِ ریاضی (mathematical induction)
یکی از روش‌های رسمی اثبات در ریاضیات، برای اثبات حکم‌هایی دربارۀ متغیر صحیح مثبت. اگر این متغیر را با n و حکم را با (p (n نمایش دهیم، مراحل استقرای ریاضی از این قرار است: (۱) ثابت می‌کنند (p (n به ازای عددی چون n = k درست است؛ (۲) ثابت می‌کنند که اگر (p (n به‌ازای n، یا n و همۀ اعداد بین k و n، درست باشد، به ازای n + ۱ نیز درست است؛ (۳) آن‌گاه با استقرا نتیجه می‌گیرند که (p (n به ازای هر n يعنی n=k, k+۱, k+۲, k+۳, ... درست است. در بسیاری از موارد، k برابر ۱ در نظر گرفته می‌شود و در این‌صورت، درستی (p (n به‌ازای همۀ اعداد صحیح مثبت[۱] ثابت می‌شود.



  1. positive integers