Математическую индукцию легко запомнить как последовательность действий: проверить начало, сделать предположение, перейти к следующему числу. Трудность появляется, когда олимпиадная задача не подсказывает, какое утверждение доказывать. Школьник видит несколько верных примеров и пытается продолжить закономерность, хотя именно переход между соседними случаями требует объяснения. Освоение метода начинается с понимания этой связи.
Что именно нужно доказать
Индукция применяется к утверждениям, зависящим от натурального параметра. Это может быть число слагаемых, количество вершин, размер доски или число выполненных операций. Сначала запишите утверждение полностью: для каких значений параметра оно верно, какие ограничения действуют и что считается результатом.
Например, сумма первых n нечетных чисел равна n². Проверка для n = 1 дает единицу. Затем предполагаем, что сумма первых k нечетных чисел равна k². Следующее слагаемое равно 2k + 1, поэтому новая сумма составляет k² + 2k + 1 = (k + 1)². Здесь предположение используется в конкретном месте вычисления.
Почему проверки примеров недостаточно
Даже десять удачных подстановок не доказывают утверждение для всех натуральных чисел. Они помогают обнаружить закономерность и проверить формулировку, но переход должен работать для произвольного допустимого k. Если в рассуждении появляется фраза «дальше аналогично», полезно раскрыть, какое действие повторяется и почему оно всегда возможно.
База также должна соответствовать условию. Утверждение о многоугольниках нельзя начинать с одного угла. Иногда нужны несколько начальных случаев: например, когда следующий результат опирается сразу на два предыдущих. Количество базовых проверок определяется способом перехода, а не привычкой начинать с единицы.
Когда предположение стоит усилить
В некоторых задачах утверждения для k недостаточно, чтобы получить случай k + 1. Тогда помогает сильная индукция: предполагается, что результат уже доказан для всех меньших допустимых значений. Этот вариант естественен, если объект разбивается на несколько частей разного размера.
Другая возможность — уточнить доказываемое утверждение. Вместе с существованием конструкции можно описать ее дополнительное свойство, которое сохраняется при расширении. Усиление полезно только тогда, когда новая формулировка действительно помогает переходу. Добавлять случайные условия ради сложности не нужно.
Как организовать практику
Начните с тождеств, затем возьмите задачи на делимость и простые конструкции. Перед чтением решения отдельно выпишите базу и предполагаемый переход. После разбора восстановите доказательство без подсказки и объясните, где используется индукционное предположение. Если этот шаг нельзя показать, доказательство пока не собрано.
Метод индукции включен в проект программы математического направления Олимпиадных школ МФТИ. При выборе занятий полезно уточнить уровень группы и посмотреть примеры задач: одинаковое название темы может скрывать очень разную сложность.
Отдельно различайте параметр задачи и переменную внутри вычисления. В переходе от k к k + 1 нельзя менять другие условия без объяснения: иначе доказывается уже другое утверждение.
Как проверить собственное решение
Проверьте три вопроса: охвачены ли все начальные случаи, не предполагается ли заранее итог перехода и сохраняются ли ограничения задачи. Затем предложите товарищу прочитать только переход. Если он может восстановить рассуждение без устных добавлений, запись стала достаточно точной для дальнейшей олимпиадной практики.