Слово индукция по-русски означает наведение, а индуктивными
называют выводы, на основе наблюдений, опытов, т.е. полученные путем заключения
от частного к общему.
Например, мы каждый день наблюдаем, что Солнце восходит с востока. Поэтому
можно быть уверенным, что и завтра оно появится на востоке, а не на западе.
Этот вывод мы делаем, не прибегая ни к каким предположениям о причине
движения Солнца по небу (более того, само это движение оказывается кажущимся,
поскольку на самом деле движется земной шар). И, тем не менее, этот
индуктивный вывод правильно описывает те наблюдения, которые мы проведем
завтра.
Роль индуктивных выводов в экспериментальных науках очень велика. Они дают те
положения, из которых потом путем дедукции делаются дальнейшие умозаключения.
И хотя теоретическая механика основывается на трех законах движения Ньютона,
сами эти законы явились результатом глубокого продумывания опытных данных, в
частности законов Кеплера движения планет, выведенных им при обработке
многолетних наблюдений датского астронома Тихо Браге. Наблюдение, индукция
оказываются полезными и в дальнейшем для уточнения сделанных предположений.
После опытов Майкельсона по измерению скорости света в движущейся среде
оказалось необходимым уточнить законы физики, создать теорию относительности.
В математике роль индукции в значительной степени состоит в том, что она
лежит в основе выбираемой аксиоматики. После того как длительная практика
показала, что прямой путь всегда короче кривого или ломанного, естественно
было сформулировать аксиому: для любых трех точек А, В и С выполняется
неравенство
.
Лежащее в основе арифметики понятие следовать за тоже появилось при
наблюдениях за строем солдат, кораблей и другими упорядоченными множествами.
Не следует, однако, думать, что этим исчерпывается роль индукции в
математике. Разумеется, мы не должны экспериментально проверять теоремы,
логически выведенные из аксиом: если при выводе не было сделано логических
ошибок, то они постольку верны, поскольку истинны принятые нами аксиомы. Но
из данной системы аксиом можно вывести очень много утверждений. И отбор тех
утверждений, которые надо доказывать, вновь подсказывается индукцией. Именно
она позволяет отделить полезные теоремы от бесполезных, указывает, какие
теоремы могут оказаться верными, и даже помогает наметить путь
доказательства.
1. Суть метода математической индукции.
Во многих разделах арифметики, алгебры, геометрии, анализа приходится
доказывать истинность предложений А(n), зависящих от натуральной переменной.
Доказательство истинности предложения А(n) для всех значений переменной часто
удается провести методом математической индукции, который основан на
следующем принципе.
Предложение А(n) считается истинным для всех натуральных значений переменной,
если выполнены следующие два условия:
1. Предложение А(n) истинно для n=1.
2. Из предположения, что А(n) истинно для n=k (где k – любое натуральное
число), следует, что оно истинно и для следующего значения n=k+1.
Этот принцип называется принципом математической индукции. Обычно он
выбирается в качестве одной из аксиом, определяющих натуральный ряд чисел, и,
следовательно, принимается без доказательства.
Под методом математической индукции понимают следующий способ доказательства.
Если требуется доказать истинность предложения А(n) для всех натуральных n,
то, во-первых, следует проверить истинность высказывания А(1) и, во-вторых,
предположив истинность высказывания А(k), попытаться доказать, что
высказывание А(k+1) истинно. Если это удается доказать, причем доказательство
остается справедливым для каждого натурального значения k, то в соответствии
с принципом математической индукции предложение А(n) признается истинным для
всех значений n.
Метод математической индукции широко применяется при доказательстве теорем,
тождеств, неравенств, при решении задач на делимость, при решении некоторых
геометрических и многих других задач.
2. Метод математической индукции в решении задач на делимость.
С помощью метода математической индукции можно доказывать различные
утверждения, касающиеся делимости натуральных чисел.
Следующее утверждение можно сравнительно просто доказать. Покажем, как оно
получается с помощью метода математической индукции.