
- •Множества и операции над ними. Отношения и функции. Мощность множеств. Комбинаторика
- •§ 1. Введение. Понятие множества
- •§ 2. Включение множеств. Операции над множествами
- •§ 3. Произведение множеств. Бинарные отношения. Отношение эквивалентности.
- •§ 4. Функция
- •§ 5. Мощность множеств. Конечные множества
- •§ 6. Теоремы о счетных множествах. Множества мощности континуум
- •§ 7. Сравнение мощностей
- •§ 8. Примеры равномощных множеств
- •§ 9. Отношение порядка
- •10 Элементы комбинаторики
- •10.14 Теорема.
- •10.27 Задачи
- •Метод математической индукции
- •Приложение
- •1. Аксиомы теории множеств
- •Биографическая справка
- •Литература
- •Содержание
Метод математической индукции
Во
многих разделах математики приходится
доказывать истинность утверждения,
зависящего от
,
т.е. истинность высказыванияp(n)
для nN
(для любого nN
p(n)
верно).
Часто это удается доказать методом математической индукции.
В основе этого метода лежит принцип математической индукции. Обычно он выбирается в качестве одной из аксиом арифметики и, следовательно, принимается без доказательства. Согласно принципу математической индукции предложение p(n) считается истинным для всех натуральных значений переменной, если выполнены два условия:
1. Предложение p(n) истинно для n = 1.
2. Из предложения, что p(n) истинно для n = k (k - произвольное натуральное число) следует, что оно истинно для n = k + 1.
Под методом математической индукции понимают следующий способ доказательства
1. Проверяют истинность утверждения для n = 1 – база индукции.
2. Предполагают, что утверждение верно для n = k – индуктивное предположение.
3. Доказывают, что тогда оно верно и для n = k + 1 индуктивный переход.
Иногда предложение p(n) оказывается верным не для всех натуральных n, а начиная с некоторого для n = n0. В этом случае в базе индукции проверяется истинность p(n) при n = n0.
Пример
1. Пусть
.
Доказать, что
1.
База индукции: при n
= 1 по определению S1
= 1 и по формуле
получаем один результат. Утверждение
верно.
2.
Индуктивное предположение. Пусть n
= k и
.
3.
Индуктивный переход. Пусть n
= k
+ 1. Докажем,
что
.
Действительно, в силу индуктивного предположения
Преобразуем это выражение
Индуктивный переход доказан.
Замечание. Полезно записать, что дано (индуктивное предположение) и что нужно доказать!
Пример 2. Доказать
.
1. База индукции. При n = 1, утверждение, очевидно, верно.
2. Индуктивное предположение. Пусть n = k и
3. Индуктивный переход. Пусть n = k + 1. Докажем:
Действительно, возведем правую сторону в квадрат как сумму двух чисел:
Используя
индуктивное предположение и формулу
суммы арифметической прогрессии:
,
получим
Пример 3. Доказать неравенство
для
.
1.
Базой индукции в этом случае является
проверка истинности утверждения для
,
т.е. необходимо проверить неравенство
.
Для этого достаточно возвести неравенство
в квадрат:
или 63 < 64 – неравенство верно.
2.
Пусть неравенство верно для
,
т.е.
.
3.
Пусть
,
докажем:
.
Используем предположение индукции
Зная как должна выглядеть правая сторона в доказываемом неравенстве выделим эту часть
Остается
установить, что лишний множитель
не превосходит единицы. Действительно,
.
Пример
4. Доказать,
что при любом натуральном
число
оканчивается цифрой
.
1.
Наименьшее натуральное
,
с которого справедливо утверждение,
равно
.
.
2.
Пусть при
число
оканчивается на
.
Это означает, что это число можно записать
в виде
,
где
– какое-то натуральное число. Тогда
.
3.
Пусть
.
Докажем, что
оканчивается на
.
Используя полученное представление,
получим
Последнее
число имеет ровно
единиц.
Задачи.
1.
Доказать, что при каждом
верны равенства
.
.
.
.
.
.
.
8) .
9) .
10).
2.
Доказать, что при любом
.
кратно
.
кратно
.
кратно
.
кратно
.
кратно
.
кратно 19.
3.
Доказать справедливость следующих
неравенств для всех натуральных
.
.
.
.
.
.
4.
Доказать, что при любом натуральном
верно неравенство
1)
.
2)
.
5.
Доказать равенство для любого
,
(в
левой части содержится
корней).
.
6.
Пусть
– произвольные неотрицательные числа,
причем
.
Доказать,
что
.
7. Доказать неравенство Бернулли
,
8.Пусть
– произвольные положительные числа,
причем
.
Доказать, что
.