اثبات ریاضی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
برچسبها: ویرایش همراه ویرایش از وبگاه همراه |
جزبدون خلاصۀ ویرایش برچسبها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه |
||
خط ۳۲:
در '''اثبات استقرایی'''، ابتدا یک «[[حالت پایه]]» اثبات میشود، و سپس به کمک «فرض استقراء» مجموعهای از حالات بعدی اثبات میشود.(عموماً [[متناهی]]) از آنجایی که حالت پایه صحیح است،
حالات دیگر هم باید صحیح باشند، حتی اگر همهٔ آنها هم نتوانند به خاطر تعداد
[[استقرای ریاضی]] میتواند برای اثبات [[جذر ۲|گویا نبودن جذر ۲]]، بکار رود.
|