"Алгебра (углублённый уровень)", Макарычев Ю.Н., Миндюк Н.Г., Нешков К.И. и др./Под ред.Теляковского С.А.
Метод математической индукции помогает доказать, что утверждение верно для всех натуральных чисел, начиная с заданного. Для этого проверяют его при первом подходящем значении, а затем доказывают: если утверждение верно для произвольного числа k, то оно верно и для следующего числа k + 1. База запускает доказательство, переход распространяет результат на все последующие значения. Метод особенно удобен для формул сумм, неравенств и утверждений о делимости.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Метод математической индукции — способ доказать утверждение для всех натуральных чисел, начиная с некоторого числа: проверяют начальный случай и переход от произвольного случая к следующему. Например, так доказывают формулы, в которых есть переменное натуральное число n. Метод нужен, когда отдельные вычисления для нескольких n не позволяют охватить бесконечно много случаев.
База индукции — проверка утверждения для первого значения n, с которого оно должно выполняться. Если утверждение задано при n ≥ 1, проверяют n = 1; если при n ≥ 4 — проверяют n = 4. База показывает, откуда начинается цепочка доказательства, и не заменяет проверку дальнейших случаев.
Предположение индукции — временное допущение, что доказываемое утверждение верно для произвольного фиксированного натурального числа k. Его записывают отдельно, чтобы было ясно, какое условие разрешено использовать в дальнейших преобразованиях. Это не утверждение о том, что все случаи уже доказаны.
Индукционный переход — доказательство того, что из верности утверждения при n = k следует его верность при n = k + 1. Здесь используют предположение P(k) и получают требуемое P(k + 1). Переход связывает два соседних значения и позволяет продолжить доказательство после базы.
Проверка одного начального случая подтверждает утверждение только для конкретного числа. Даже если равенство выполняется при n = 1, 2, 3 и 4, из этих вычислений логически не следует, что оно верно при n = 5 или при любом большем n. Новое значение может вести себя иначе, поэтому нужны не дополнительные единичные проверки, а общий способ связать случаи.
База и переход действуют вместе, как начало и правило движения по цепочке. База подтверждает P(n₀), а переход позволяет из P(n₀) получить P(n₀ + 1), затем из него — P(n₀ + 2) и так далее. Если убрать базу, переходу не с чего начинать; если убрать переход, останется доказан только один случай. Именно поэтому нужны оба этапа.
Число k в переходе считают произвольным, потому что требуется доказать правило, работающее на каждом шаге, а не связь для одной выбранной пары чисел. Если показать только, что P(2) влечёт P(3), это ничего не скажет о переходе от P(20) к P(21). Произвольность k означает, что преобразования справедливы при любом k из рассматриваемого диапазона.
Переход строят так: сначала записывают предположение P(k), затем выписывают выражение или условие для k + 1. После этого преобразуют его, стараясь выделить уже знакомую часть из P(k), и применяют предположение. Оставшиеся слагаемые или множители приводят к виду, который совпадает с нужным P(k + 1). Так видно не только вычисление, но и почему следующий случай следует из предыдущего.
Начинать всегда с единицы не требуется: базу выбирают по области, где сформулировано утверждение. Если в условии сказано «для всех n ≥ 5», самым первым проверяют n = 5, а переход доказывают для k ≥ 5. Тогда цепочка охватывает 5, 6, 7 и все последующие натуральные числа, не требуя ничего доказывать для 1, 2, 3 и 4.
| Этап | Что записать или проверить | Зачем это нужно |
|---|---|---|
| Формулировка утверждения P(n) и начального значения n₀ | Записать, что именно требуется доказать, и указать диапазон n ≥ n₀. | Чтобы точно определить цель и начало доказательства. |
| База: проверить P(n₀) | Подставить первое допустимое значение n₀ и проверить утверждение. | Чтобы запустить цепочку доказательства. |
| Предположение: считать P(k) верным для произвольного k ≥ n₀ | Записать утверждение для k как временное условие. | Чтобы обозначить, на что можно опереться в переходе. |
| Переход: доказать, что P(k) влечёт P(k + 1) | Использовать предположение и получить утверждение для k + 1. | Чтобы распространить верность на следующее значение. |
| Вывод: P(n) верно для всех n ≥ n₀ | Сформулировать общий результат после базы и перехода. | Чтобы указать, что именно доказано. |
Пользуйся таблицей как планом: прежде чем преобразовывать выражения, запиши утверждение и начальное значение. Не переходи к общему выводу, пока не проверены и база, и переход. В заключении укажи весь диапазон чисел, который охватывает доказательство.
Задача 1. Докажите, что 1 + 3 + 5 + … + (2n − 1) = n² для всех натуральных n. Обозначим это равенство P(n). В сумме n нечётных чисел последний член равен 2n − 1, а при переходе к следующему случаю добавится число 2k + 1.
Ответ: равенство доказано для всех натуральных n. Задача 2. Докажите, что 7ⁿ − 1 делится на 6 для всех натуральных n.
Ответ: 7ⁿ − 1 делится на 6 при любом натуральном n. Задача 3. Докажите формулу 1 + 2 + 3 + … + n = n(n + 1)/2 для всех натуральных n.
Ответ: формула суммы доказана для всех натуральных n. Во всех трёх задачах переход использует предположение именно для уже имеющегося случая k, а результат записывается для следующего числа.
Проверить несколько первых значений и объявить утверждение доказанным — значит подменить общий вывод конечным числом примеров. Так поступают, потому что первые вычисления часто выглядят убедительно, но возможное нарушение может встретиться позже. Проверяй себя вопросом: показал ли я, почему утверждение работает для произвольного n, а не только для проверенных чисел?
Если записать базу, но не доказать переход, будет подтверждено только утверждение для начального значения. Ошибка возникает, когда базу принимают за главный этап или считают, что первые случаи продолжаются автоматически. Проверь, есть ли отдельное доказательство P(k) ⇒ P(k + 1); без него цепочка не построена.
В переходе нельзя молча считать P(k) уже доказанным для всех k: это временное предположение для произвольного фиксированного k. Его используют только как условие, из которого получают P(k + 1), иначе рассуждение становится круговым. Чтобы проверить себя, явно подпиши предположение и покажи, где именно оно использовано.
Неверно прибавленный следующий член или замена k на k + 1 не во всех частях выражения меняет саму задачу. Такая ошибка часто появляется, если не сверить число слагаемых или последний член последовательности. Подставь k + 1 в исходное утверждение целиком и проверь, что новый член действительно следующий, а конечная формула относится именно к k + 1.
Для применения индукции нужны натуральные числа, буквенные выражения, равенства и умение преобразовывать алгебраические выражения. В переходе приходится раскрывать скобки, приводить подобные слагаемые, раскладывать выражения на множители или использовать признаки делимости. Если эти действия знакомы, легче увидеть, как условие для k превращается в утверждение для k + 1.
Дальше метод используют для доказательства формул сумм, неравенств и утверждений о делимости, заданных для натурального n. Например, в формулах сумм к результату для k прибавляют новое слагаемое, а в задачах на делимость преобразуют выражение так, чтобы проявилась делимость нужного числа. Общий план остаётся одним и тем же: база, предположение, переход и вывод.
Почему для доказательства достаточно проверить только базу и переход?
База подтверждает утверждение для первого нужного числа. Переход показывает, что верность для любого числа k влечёт верность для k + 1, поэтому утверждение последовательно выполняется для всех следующих чисел.
Обязательно ли начинать базу индукции с n = 1?
Нет. Базой служит наименьшее значение, с которого сформулировано утверждение. Например, если оно задано при n ≥ 3, проверяют случай n = 3.
Что именно можно считать верным в предположении индукции?
Временно считают верным доказываемое утверждение P(k) для произвольного фиксированного k из рассматриваемого диапазона. Это допущение используют, чтобы вывести P(k + 1), но не принимают за уже доказанное для всех чисел.
Как понять, что индукционный переход доказан?
Нужно начать с предположения P(k) и получить из него требуемое утверждение P(k + 1). В конце преобразований формула или свойство должны совпасть с формулировкой для следующего значения.
Можно ли доказать методом математической индукции утверждение, которое верно лишь для некоторых натуральных чисел?
Можно рассматривать множество значений, для которых утверждение должно выполняться, если оно начинается с некоторого n₀ и каждый шаг перехода ведёт к следующему значению этого диапазона. Но метод не докажет утверждение для всех натуральных чисел, если оно неверно для части из них.
Метод математической индукции
