2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2  След.
 
 Метод математической индукции
Сообщение13.11.2008, 10:59 
Аватара пользователя
Всех приветствую. Это опять я. Заваливший, в прошлый раз все задания.
Решил начать разбираться с нуля, попутно решая все задания в учебнике...
И затупил на методе математической индукции:

Код:
Чтобы доказать, что некоторое утверждение верно для любого натурального числа n начиная с n0, достаточно доказать, что:
а) Это утверждение верно для n=n0;
б) Если данное утверждение справедливо для некоторого натурального числа k>=n0, то оно верно также и для следующего натурального числа k+1.


Все. Больше в этом учебнике про него ничего не написано :)
В том же демидовиче, есть много примеров на этот метод.
Вот тут я нашел несколько примеров решений
http://www.pm298.ru/reshenie/ghryr.shtml
Но оно, либо слишком не подробно, либо я не понял логики этих решений.
Итак, если кто-нибудь в силах мне помочь разобраться в этой штуке, буду благодарен. В идеале, хотелось бы увидеть какой-нибудь разобранный простой пример, во всех подробностях и деталях.

 
 
 
 
Сообщение13.11.2008, 11:48 
Аватара пользователя
http://math.ru/lib/book/plm/v03.djvu
http://math.ru/lib/book/pdf/shen/induction.pdf

 
 
 
 
Сообщение13.11.2008, 12:12 
Аватара пользователя
Спасибо! Отличный ресурс и отличные книги.
Надеюсь это мне поможет.

 
 
 
 Re: Метод математической индукции
Сообщение13.11.2008, 14:49 
Аватара пользователя
int13 писал(а):
Вот тут я нашел несколько примеров решений
http://www.pm298.ru/reshenie/ghryr.shtml


В формальной логике формула $\dr P(0)\,\&\,\forall n\in\mathbb{N}(P(n)\to P(n+1))\to\forall n\in\mathbb{N}P(n)$ принимается за аксиому. На указанном вами сайте, в разделе матлогика об этом ни слова.

 
 
 
 
Сообщение13.11.2008, 15:07 
Аватара пользователя
Опять ничего понять не могу. Там дан пример:
Вычислить сумму первых n нечетных чисел.
S_n  = 1 + 3 + 5 + ... + (2n - 1)
Исследуем:
s1=1, s2=4, s3=9...
Положим:
S_n = n^2
Докажем две теоремы:
1. При n=1, S_n = 1 - Справедливо.
2. Допустим, гипотеза верна для n=k, т.е S_k = k^2
Докажем, что она верна и для k+1, т.е:
S_{k + 1}  = (k + 1)^2}
(до этого все понятно, далее)
Действительно:
S_{k + 1}  = S_k  + (2k + 1)
(??? - откуда взялось 2k+1 - не понимаю)
Но, $$S_k = k^2$$, отсюда:
$$S_{k + 1}  = k^2  + (2k + 1) = (k+1)^2$$, ч. т. д.
Ответ: $$S_n=n^2$$

Следующий вопрос для самостоятельного решения:
$$
  & S_n  = 1 + 2 + 2^2  + 2^3  + ... + 2^{n - 1}   \cr 
  & S_1  = 2 - 1  \cr 
  & S_2  = 2^2  - 1  \cr 
  & S_3  = 2^3  - 1  \cr 
  & S_n  = 2^n  - 1 \cr} 
$$
1. Проверим сумму при n=1. Верно.
2. Допустим, верно для n=k, тогда $$S_k  = 2^k  - 1$$.
Докажем, что наша гипотеза верна и для k+1:
$$
S_{k + 1}  = 2^{k + 1}  - 1
$$
Действительно... А что действительно?

Добавлено спустя 10 минут 33 секунды:

Второй день не могу понять метод, которому в учебнике отведено три страницы. Что за ерунда :(

 
 
 
 
Сообщение13.11.2008, 15:10 
int13 в сообщении #157900 писал(а):
(??? - откуда взялось 2k+1 - не понимаю)
$S_k = 1+ 3+ 5 +... +2k-1$, $S_{k+1} = 1+ 3+ 5 +... + 2k-1 + 2(k+1) -1$. Следовательно, $S_{k+1} - S_k = 2(k+1) -1 = 2k + 1$.

Добавлено спустя 2 минуты 57 секунд:

int13 в сообщении #157900 писал(а):
Действительно... А что действительно?

$S_{k+1} = S_k + 2^k = 2^k - 1 + 2^k = 2\cdot 2^k - 1 = 2^{k+1} -1$

 
 
 
 
Сообщение13.11.2008, 15:37 
Аватара пользователя
Ух, блин, ясно! Я ведь так и думал сначала...
Теперь понятно, благодарю.

 
 
 
 
Сообщение13.11.2008, 20:55 
Аватара пользователя
И на закрепление.
$$
S_n  = {1 \over 2} + {3 \over {2^2 }} + {5 \over {2^3 }} + ... + {{2n - 1} \over {2^n }}
$$
Нужно вычислить сумму.
$$
S_1  = {1 \over 2}
$$
$$
S_2  = {5 \over 4}
$$
$$
S_3  = {{15} \over 8}
$$
$$
S_4  = {{37} \over {16}}
$$
Никакая явная зависимость не обнаруживается...

 
 
 
 
Сообщение13.11.2008, 20:58 
Аватара пользователя
Раскладываем на две части - простую - геом.прогресию, и "вторую" - а там уже и производная поможет. 8-)

 
 
 
 
Сообщение13.11.2008, 21:19 
Аватара пользователя
Эээ.. А можно как-нибудь попроще? Без производных.
Проскакивала идея, что можно вычесть 1\2Sn и прибавить. Но я так никогда не делал, и велика вероятность ошибиться.

 
 
 
 
Сообщение13.11.2008, 22:02 
Аватара пользователя
$a_n=\dfrac{2n-1}{2^n}=\dfrac{2n+1}{2^{n-1}}-\dfrac{2n+3}{2^n}=f(n)-f(n+1).$

Добавлено спустя 9 минут 50 секунд:

Можно так: ответ $S_n=3-\dfrac{2n+3}{2^n}$ и доказать с помощью индукции.

 
 
 
 
Сообщение13.11.2008, 22:59 
Аватара пользователя
А если препод спросит, как ты нашел: $S_n=3-\dfrac{2n+3}{2^n}$
Что я ему смогу ответить?
Сам придумал (подобрал\заметил). Такой ответ подойдет?

 
 
 
 
Сообщение13.11.2008, 23:02 
Аватара пользователя
int13 в сообщении #158049 писал(а):
Сам придумал (подобрал\заметил). Такой ответ подойдет?
Нет. Никогда не нужно врать! Скажите: "мне на форуме подсказали".

 
 
 
 
Сообщение13.11.2008, 23:16 
Аватара пользователя
Я имею ввиду, он может потребовать с меня какой-нибудь способ, которым я получил это выражение:
$S_n=3-\dfrac{2n+3}{2^n}$
Или, эту "гипотезу" можно выдвинуть без каких-то обьяснений?
Подозреваю, что нет.
Тогда мне все же интересно, как уважаемый gefest_md получил это выражение :oops:
А вообще, сейчас попытаюсь доказать...
Сегодня пол-дня потратил чтобы разобраться с индукцией...

Добавлено спустя 7 минут 59 секунд:

Итак, база n=1. Выражение верно.
Далее, возьмем k=n, тогда:
$S_k=3-\dfrac{2k+3}{2^k}$
Выражение должно выполняться и при k+1, тогда:
$$
S_{k + 1}  = 3 - {{2k + 5} \over {2^{k + 1} }}
$$
Также:
$$
S_{k + 1}  - S_k  = {{2k  + 1} \over {2^{k + 1} }}
$$
Теперь нужно приравнять эти выражения и доказать что они равны, я правильно понял?

Не.. Бред какой-то.. Сейчас еще раз все пересмотрю..

 
 
 
 
Сообщение13.11.2008, 23:16 
Аватара пользователя
int13 в сообщении #158052 писал(а):
Тогда мне все же интересно, как уважаемый gefest_md получил это выражение
Я же писал Вам, как его получить в Вашей теме про несколько заданий....

 
 
 [ Сообщений: 19 ]  На страницу 1, 2  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group