В чем заключается метод математической индукции для решения рекурсивных задач?

Метод математической индукции для решения рекурсивных задач заключается в том, что он является основным инструментом доказательства правильности рекурсивных алгоритмов. study.sfu-kras.ru

Этот метод используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. interneturok.ru Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход. interneturok.ru

Пример рекурсивного метода доказательства верности индуктивного перехода: предположим, необходимо доказать, что для любого натурального числа n верно следующее утверждение. interneturok.ru База: при n = 1 утверждение верно. interneturok.ru Переход: пусть эта формула верна при некотором n. Докажем, что она верна и при n + 1. interneturok.ru То есть известно, что формула верна при n, а доказать необходимо, что она верна и при n + 1. interneturok.ru Воспользуемся рекурсивным методом: но мы знаем, что, по предположению индукции, формула верна и при n + 1. interneturok.ru Получаем: утверждение верно для любого натурального числа n. interneturok.ru

Таким образом, математическая индукция позволяет проверить верность предположения, но не говорит о том, в какой форме искать решение. timyrik20.gitbooks.io