Лекция 6. Метод математической индукции

Новые знания в науке и жизни добываются разными способами, но все они (если не углубляться в детали) делятся на два вида – переход от общего к частному и от частного к общему. Первый – это дедукция, второй – индукция. Дедуктивные рассуждения – это то, что в математике обычно называют логическими рассуждениями, и в математической науке дедукция является единственным законным методом исследования. Правила логических рассуждений были сформулированы два с половиной тысячелетия назад древнегреческим учёным Аристотелем. Он создал полный список простейших правильных рассуждений, силлогизмов – «кирпичиков» логики, одновременно указав типичные рассуждения, очень похожие на правильные, однако неправильные (с такими «псевдологическими» рассуждениями мы часто встречаемся в СМИ).

Индукция (induction – по-латыни наведение) наглядно иллюстрируется известной легендой о том, как Исаак Ньютон сформулировал закон всемирного тяготения после того, как ему на голову упало яблоко. Ещё пример из физики: в таком явлении, как электромагнитная индукция, электрическое поле создает, «наводит» магнитное поле. «Ньютоново яблоко» – типичный пример ситуации, когда один или несколько частных случаев, то есть наблюдения, «наводят» на общее утверждение, общий вывод делается на основании частных случаев. Индуктивный метод является основным для получения общих закономерностей и в естественных, и в гуманитарных науках. Но он имеет весьма существенный недостаток: на основании частных примеров может быть сделан неверный вывод. Гипотезы, возникающие при частных наблюдениях, не всегда являются правильными. Рассмотрим пример, принадлежащий Эйлеру.

Будем вычислять значение трехчлена при некоторых первых значениях n:

n

Заметим, что получаемые в результате вычислений числа являются простыми. И непосредственно можно убедиться, что для каждого n от 1 до 39 значение многочлена является простым числом. Однако при n =40 получаем число 1681=41², которое не является простым. Таким образом, гипотеза, которая здесь могла возникнуть, то есть гипотеза о том, что при каждом n число является простым, оказывается неверной.

Лейбниц в 17 веке доказал, что при всяком целом положительном n число делится на 3, число делится на 5 и т.д. На основании этого он предположил, что при всяком нечётном k и любом натуральном n число делится на k, но скоро сам заметил, что не делится на 9.

Рассмотренные примеры позволяют сделать важный вывод: утверждение может быть справедливым в целом ряде частных случаев и в то же время несправедливым вообще. Вопрос о справедливости утверждения в общем случае удается решить посредством применения особого метода рассуждений, называемого методом математической индукции (полной индукции, совершенной индукции).

Дата добавления: 2014-01-05