3. Доказательство тождеств и неравенств с помощью математической индукции

Определения и обозначения

Метод математической индукции — способ доказать утверждение для всех натуральных значений параметра через начальный случай и переход от произвольного значения к следующему. Он заменяет бесконечную проверку короткой логической цепочкой. Метод применяют, когда случай n + 1 естественно связан со случаем n.

База индукции — доказательство утверждения для первого значения n₀, с которого начинается рассматриваемый ряд. В этот момент убеждаются, что цепочка действительно стартует. Без базы один лишь переход не подтверждает ни одного конкретного значения.

Индукционное предположение — временное допущение, что утверждение P(k) верно для произвольного натурального k из нужного множества. Это не окончательный вывод, а разрешённый шаг внутри перехода. С его помощью заменяют уже известную по предположению часть выражения.

Индукционный переход — доказательство того, что из P(k) следует P(k + 1). Буква k обозначает любое допустимое число, а не один заранее выбранный пример. Именно переход показывает, как истинность передаётся следующему значению.

Как это устроено

Сначала формулируют утверждение P(n) и указывают, для каких натуральных n оно должно быть верно. Это ограничение задаёт начало цепочки и условия, при которых можно выполнять переход. Если множество не названо, непонятно, какую базу проверять и для каких k разрешено рассуждать.

База необходима, потому что переход сам по себе говорит только: «если одно утверждение верно, то верно следующее». Он не сообщает, что первое утверждение действительно истинно. Проверка P(n₀) запускает последовательность: P(n₀), затем P(n₀ + 1), потом P(n₀ + 2) и так далее.

В переходе берут произвольное k, а не несколько конкретных чисел. Тогда доказанная связь P(k) → P(k + 1) подходит одновременно для любого места в цепочке. Проверка k = 1, 2 и 3 показала бы лишь три частных случая и не исключила бы ошибку при большем значении.

База и переход работают вместе. База устанавливает истинность в первой точке, а переход переносит её на следующую; повторяя этот перенос мысленно, получают все последующие натуральные значения. Поэтому итог формулируют только после выполнения обеих частей доказательства.

Для тождества обычно записывают выражение с параметром k и добавляют следующий член, чтобы получить случай k + 1. Затем применяют P(k), раскрывают скобки и приводят результат к нужной формуле. В неравенстве действуют так же, но дополнительно проверяют, не меняется ли знак при умножении, делении или сравнении величин.

Этапы доказательства методом математической индукции

Пользуйтесь таблицей как планом записи: не перескакивайте сразу к преобразованиям. После каждого этапа должно быть ясно, что именно доказано и какое условие используется.

Особенно проверяйте, что k назван произвольным, а в конце явно указано множество всех допустимых n. Такая запись отделяет полноценное доказательство от проверки нескольких примеров.

Разбор задач

Сумма нечётных чисел

Условие: доказать 1 + 3 + 5 + ... + (2n − 1) = n² для всех n ∈ N.

1. При n = 1 получаем 1 = 1², поэтому база верна.
2. Пусть 1 + 3 + ... + (2k − 1) = k². Тогда сумма для k + 1 равна k² + 2k + 1 = (k + 1)².
3. Получена формула для следующего значения, значит переход выполнен.

Ответ: тождество доказано методом математической индукции.

Сумма квадратов

Условие: доказать 1² + 2² + ... + n² = n(n + 1)(2n + 1) / 6.

1. При n = 1 обе части равны 1.
2. Предположим формулу для k. Для k + 1 левая часть равна k(k + 1)(2k + 1) / 6 + (k + 1)².
3. Вынесем k + 1: получим (k + 1)(2k² + 7k + 6) / 6 = (k + 1)(k + 2)(2k + 3) / 6, то есть формулу для k + 1.

Ответ: формула верна для всех n ∈ N.

Степень и квадрат

Условие: доказать 2ⁿ > n² для всех натуральных n ≥ 5.

1. При n = 5: 32 > 25.
2. Пусть 2ᵏ > k² при k ≥ 5. Тогда 2ᵏ⁺¹ > 2k².
3. Так как 2k² ≥ (k + 1)² при k ≥ 5, получаем 2ᵏ⁺¹ > (k + 1)².

Ответ: неравенство доказано для всех n ≥ 5.

Типичные ошибки

Проверка нескольких первых значений. Она подтверждает формулу только для отдельных n, потому что дальше может появиться исключение. Проверьте себя: есть ли база и доказан ли переход для произвольного k?

Использование P(k + 1) как готового факта. В таком случае нужный результат просто предполагают, а не доказывают. Выпишите P(k), преобразуйте выражение и только в конце сравните его с формой P(k + 1).

Пропуск или неправильный выбор базы. Если условие начинается с n₀, проверка n = 1 может быть недостаточной или вообще не относиться к задаче. Сверьте первое допустимое значение с формулировкой и подставьте именно его.

Ошибки в неравенствах. При умножении на отрицательное число знак меняется, а дополнительные сравнения могут требовать условия k ≥ 5. Следите за знаками на каждом шаге и отдельно доказывайте промежуточную оценку.

Связь с другими темами

Для индукции нужны свойства равенств и неравенств, преобразование сумм, раскрытие скобок и сравнение положительных величин. Без этих навыков трудно корректно выполнить переход.

Метод применяют для формул сумм, признаков делимости, оценок, рекуррентных утверждений и свойств последовательностей. Он особенно полезен там, где следующий случай строится из предыдущего.

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

Что запомнить

• Сначала формулируют утверждение P(n) и указывают множество допустимых n.
• База проверяет первое значение параметра.
• В переходе предполагают P(k) и доказывают P(k + 1).
• Число k в переходе должно быть произвольным, а не выбранным конкретно.
• База и индукционный переход вместе доказывают утверждение для всех последующих значений.
• Для неравенств нужно сохранять направление знака и учитывать ограничения на k.
• Индукционное предположение используют только внутри индукционного перехода.