Впервые был применен для строгих доказательств в 1575 году итальянским ученым Франческа Мауролико. В начале XVII столетия Пьер де Ферма усовершенствовал этот метод и назвал его методом бесконечного спуска. Понятие «математическая индукция» была введена де Морганом в начале XIX века.
Математическая индукция как метод проверки правильности программирования для компьютеров был применен американским ученым Робертом Флайдом в 1967г. Фактически же идея индуктивных утверждений в начальном виде появилась еще в 1946г., когда Х.Гольстайн и Джон фон Нейман определили понятие блок-схемы программы.
Рассмотрим ММИ на примере анализа утверждения о целом числе n. Пусть P(n)-некоторое утверждение о числе n.
P1(n)=”n(n+3)-четное число”
P2(n)=”если n≥10, то 2^n≥n^3”
Предположим что мы хотим доказать что P(n)справедливо для всех положительных чисел n.
Суть доказательства по ММИ состоит в следующем:
- Доказать что P(1)-справедливо
- Дать доказательство того, что если P(1),P(2),…P(n)-справедливо, то справедливо P(n+1).
В качестве примера приведем соотношение известное с древних времен
1=1^2, 1+3=2^2, 1+3+5=3^2, 1+3+5+7=4^2, 1+3+5+7+9=5^2, …(*)
В общем виде это отношение можно записать 1+3+…(2n-1)=n^2 (**)
Докажем это равенство с помощью ММИ, т.е. докажем что P(n) справедливо для всех положительных n. В соответствии с ММИ имеем:
- P(1)=1-верно 1=1^2
- Если все утверждения P(1),P(2),…,P(n)-верны то выполняется соотношение(**). Добавим к обоим частям равенства (**) следующие слагаемые, которые необходимо проверить, получим 1+3+…+2n-1+2n+1=n^2+2n+1=(n+1)^2
Что показывает что P(n+1) также верно.
