Цель задачи: доказать неравенство 2^n > 2n + 1 для всех натуральных n ≥ 3 методом математической индукции.
- База индукции
- Возьмём n = 3: 2^3 = 8, и 2·3 + 1 = 7.
- 8 > 7, значит неравенство верно для n = 3.
- Шаг индукции
- Пусть для некоторого k ≥ 3 верно: 2^k > 2k + 1. (индуктивное предположение)
- Тогда для n = k + 1 получаем: 2^{k+1} = 2 · 2^k > 2 · (2k + 1) = 4k + 2.
- Теперь замечаем, что для k ≥ 3 верно 4k + 2 > 2k + 3, потому что разница (4k + 2) - (2k + 3) = 2k - 1 ≥ 5 > 0.
- Следовательно: 2^{k+1} > 4k + 2 > 2k + 3 = 2(k + 1) + 1.
thus неравенство верно и для k + 1.
- Вывод
- По базе и шагу индукции по принципу математической индукции неравенство 2^n > 2n + 1 верно для всех натуральных n ≥ 3.
Дополнительные пояснения (для лучшего понимания):
- Основа шага: из неравенства 2^k > 2k + 1 следует 2^{k+1} > 2(2k + 1) = 4k + 2.
- Затем нужно показать, что 4k + 2 превосходит требуемую границу 2(k+1) + 1 = 2k + 3 для всех k ≥ 3, что и выполняется: 4k + 2 − (2k + 3) = 2k − 1 ≥ 5.
Если нужно, могу привести аналогичное решение для другой начальной точки или рассмотреть вариант с более строгим неравенством (например, показать, что 2^n растет быстрее любого линейного выражения).