Математическая индукция

Русская Википедия - свободная энциклопедия

Математическая индукция — в математике — один из методов доказательства. Его можно описать следующим образом.

Предположим, что требуется установить справедливость бесконечной последовательности утверждений, занумерованных натуральными числами:

Допустим, что

Установлено, что верно. (Это утверждение называется базой индукции.)
Для любого n доказано, что если верно , то верно . (Это утверждение называется индукционным переходом.)

Тогда все утверждения нашей последовательности верны.