Здравствуйте!

В следующих двух примерах требуется доказать методом мат. индукции верность утверждений (примеров):

$$n^\frac{n}{2} < n! < (\frac{n+1}{2})^n$$ И $$2^n>n^3$$

Объясните, пожалуйста, как человеку, который первый раз слышит о мат. индукции.

Благодарю!

Обновление

Я узнал о мат. индукции недавно, и, кроме теории, в 3 пункта, о том, как правильно доказывать, ничего и не знаю.

Теория такая:
1. То-то верно для n=1 или другому значению n.
2. Верим, что выражение верно.
3. Доказываем.

задан 5 Сен '14 19:16

изменен 6 Сен '14 22:26

%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8%D0%BD%D0%B0's gravatar image


9917

10|600 символов нужно символов осталось
2

Я вчера давал на форуме ссылку на хорошее популярное изложение метода. Он очень часто используется в рассуждениях, поэтому имеет смысл изучить в деталях.

Сам метод очень прост. Идея такая: допустим, есть очередь, и надо доказать, что в ней стоят только женщины. Тогда достаточно убедиться в справедливости двух фактов:

1) Первой в очереди стоит женщина. 2) За каждой женщиной стоит женщина.

Проиллюстрирую на примере доказательства неравенства $%2^n > n^3$%. Оно верно не для всех $%n$%, а только при $%n\ge10$% (и также при отдельном значении $%n=1$%, что в данном случае не играет роли).

Сначала проверяем, что неравенство верно при $%n=10$%. Подставляем, получается $%2^{10} > 10^3$%, то есть $%1024 > 1000$%. Это верно.

Далее пусть $%n=k\ge10$% -- такое число, для которого мы уже умеем доказывать неравенство. Тогда мы знаем, что $%2^k > k^3$% и можем на это опираться как на истинный факт. Тогда достаточно убедиться, что неравенство верно для следующего значения $%n$%, равного $%k+1$%. То есть задача такова: нам дано, что $%2^k > k^3$% при каком-то $%k\ge10$%; требуется доказать, что $%2^{k+1} > (k+1)^3$%.

Поскольку $%2^{k+1}=2\cdot2^k > 2k^3$%, нам достаточно проверить, что $%2k^3\ge(k+1)^3$%, то есть $%k^3\ge3k^2+3k+1$%. Поскольку $%k\ge10$%, верно неравенство $%k^3\ge10k^2$%, и тогда достаточно доказать, что $%10k^2\ge3k^2+3k+1$%, то есть $%7k^2\ge3k+1$%. Но последнее очевидно для всех $%k\ge1$%.

Первый из примеров решается аналогичным способом. Надо только иметь в виду, что при $%n=1$% строгие неравенства становятся равенствами, то есть начать надо с $%n=2$%.

ссылка

отвечен 5 Сен '14 19:34

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

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

Присоединяйтесь!

отмечен:

×2,033

задан
5 Сен '14 19:16

показан
513 раз

обновлен
5 Сен '14 19:34

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru