J Пример 6.3. Доказать, что при и любом натуральном n справедливо неравенство (неравенство Бернулли).

Решение. 1) При n=1 получаем , что верно.

2) Предполагаем, что при n=k имеет место неравенство (*). Используя это предположение, докажем, что . Отметим, что при это неравенство выполняется и поэтому достаточно рассмотреть случай .

Умножим обе части неравенства (*) на число и получим:

, то есть (1+. ■ J

Доказательство методом неполной математической индукции некоторого утверждения, зависящего от n, где проводится аналогичным образом, но в начале устанавливается справедливость для наименьшего значения n.

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

J Пример 6.4.Найти сумму .

Решение. Найдём суммы S₁, S₂, S₃. Имеем , , . Высказываем гипотезу, что при любом натуральном n справедлива формула . Для проверки этой гипотезы воспользуемся методом полной математической индукции.

1) При n=1 гипотеза верна, т.к. .

2) Предположим, что гипотеза верна при n=k, , то есть . Используя эту формулу, установим, что гипотеза верна и при n=k+1, то есть

.

В самом деле,

.

Итак, исходя из предположения, что гипотеза верна при n=k, , доказано, что она верна и при n=k+1, и на основании принципа математической индукции делаем вывод, что формула справедлива при любом натуральном n. ■ J

J Пример 6.5. В математике доказывается, что сумма двух равномерно непрерывных функций является равномерно непрерывной функцией. Опираясь на это утверждение, нужно доказать, что сумма любого числа равномерно непрерывных функций является равномерно непрерывной функцией. Но поскольку мы ещё не ввели понятие «равномерно непрерывная функция», поставим задачу более абстрактно: пусть известно, что сумма двух функций, обладающих некоторым свойством S, сама обладает свойством S. Докажем, что сумма любого числа функций обладает свойством S.

Решение. Базис индукции здесь содержится в самой формулировке задачи. Сделав предположение индукции, рассмотрим функций f₁, f₂, …, f_n, f_n+1, обладающих свойством S. Тогда . В правой части первое слагаемое обладает свойством S по предположению индукции, второе слагаемое обладает свойством S по условию. Следовательно, их сумма обладает свойством S – для двух слагаемых «работает» базис индукции.

Тем самым утверждение доказано и будем использовать его далее. ■ J

J Пример 6.6. Найти все натуральные n, для которых справедливо неравенство

.

Решение. Рассмотрим n=1, 2, 3, 4, 5, 6. Имеем: 2¹>1², 2²=2², 2³<3², 2⁴=4², 2⁵>5², 2⁶>6². Таким образом, можно высказать гипотезу: неравенство имеет место для каждого . Для доказательства истинности этой гипотезы воспользуемся принципом неполной математической индукции.

1) Как было установлено выше, данная гипотеза истинна при n=5.

2) Предположим, что она истинна для n=k, , то есть справедливо неравенство . Используя это предположение, докажем, что справедливо неравенство .

Т. к. и при имеет место неравенство

при ,

то получаем, что . Итак, истинность гипотезы при n=k+1 следует из предположения, что она верна при n=k, .

Из пп. 1 и 2 на основании принципа неполной математической индукции следует, что неравенство верно при каждом натуральном . ■ J

J Пример 6.7.Доказать, что для любого натурального числа n справедлива формула дифференцирования .

Решение. При n=1 данная формула имеет вид , или 1=1, то есть она верна. Сделав предположение индукции, будем иметь:

,

что и требовалось доказать. ■ J

J Пример 6.8.Доказать, что множество, состоящее из n элементов, имеет подмножеств.

Решение. Множество, состоящее из одного элемента а, имеет два подмножества. Это верно, поскольку все его подмножества – пустое множество и само это множество, и 2¹=2.

Предположим, что всякое множество из n элементов имеет подмножеств. Если множество А состоит из n+1 элементов, то фиксируем в нём один элемент – обозначим его d, и разобьём все подмножества на два класса – не содержащие d и содержащие d. Все подмножества из первого класса являются подмножествами множества В, получающегося из А выбрасыванием элемента d.

Множество В состоит из n элементов, и поэтому, по предположению индукции, у него подмножеств, так что в первом классе подмножеств.

Но во втором классе подмножеств столько же: каждое из них получается ровно из одного подмножества первого класса добавлением элемента d. Следовательно, всего у множества А подмножеств.

Тем самым утверждение доказано. Отметим, что оно справедливо и для множества, состоящего из 0 элементов – пустого множества: оно имеет единственное подмножество – самого себя, и 2⁰=1. ■ J