Изменения

Перейти к: навигация, поиск

Простые числа

35 байт добавлено, 16:16, 17 мая 2018
Нет описания правки
<tex>\sum_{n=1}^\infty\dfrac{1}{n} = \prod_{p} {(1 + \dfrac{1}{p} + \dfrac{1}{p^2} + \cdots)}</tex>, где <tex>p</tex> — простое. Таким образом, получаем все числа по одному разу после раскрытия скобок.
}}
Заметим для некоторого <tex>k</tex>: <tex>\sum_{p \le leqslant k}^{}{(1 + \dfrac{1}{p} + \dfrac{1}{p^2} + \cdots)} \ge \sum_{n \le leqslant k} \dfrac{1}{n}</tex>.
Теперь, пользуясь выражением <tex> \ln(1+x) \approx x + o(x) </tex> и логарифмируя, выводим:
<tex> \sum_{p} {\ln(1 + \dfrac{1}{p} + \dfrac{1}{p^2} + \cdots)} \approx \sum_{p} { (\dfrac{1}{p} + \dfrac{1}{p^2} + \cdots)} \le leqslant \dfrac{c}{p^2} </tex> — расходится.
==Теорема о расходимости ряда <tex>\sum_{}^{}\frac{1}{p}</tex>==
|proof=
Работая в условиях [[#th2|предыдущей теоремы]], продолжаем:
<tex> \ln(1+x) \le leqslant x</tex>, тогда <tex> \sum_{}^{} {\ln(1 + \dfrac{1}{p} + \cdots)} \le leqslant \sum_{}^{} {( \dfrac{1}{p} + \dfrac{1}{p^2} + \cdots)}</tex>.
Финально: <tex> \sum_{}^{} \dfrac{1}{p} \ge \sum_{}^{} {[\ln(1 + \dfrac{1}{p} + \dfrac{1}{p^2} + \cdots) - \dfrac{c}{p^2}]} </tex> — расходится.
}}
344
правки

Навигация