Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Ряд обратных простых чисел

Из Википедии — свободной энциклопедии

Сумма обратных величин простых чисел неограниченно растёт. Ось x представлена в логарифмической шкале, что показывает, что расхождение очень медленное. Красная линия является нижней оценкой и тоже растёт неограниченно.
Сумма обратных величин простых чисел неограниченно растёт. Ось x представлена в логарифмической шкале, что показывает, что расхождение очень медленное. Красная линия является нижней оценкой и тоже растёт неограниченно.

Ряд обратных простых чисел расходится. То есть:

Этот факт доказал Леонард Эйлер в 1737[1], что усилило результат Евклида (3-й век до нашей эры), что существует бесконечно много простых чисел.

Существует целый ряд доказательств результата Эйлера, включая оценку нижней границы частичных сумм, которая утверждает, что

для всех натуральных чисел n. Двойной натуральный логарифм (ln ln) говорит о том, что расхождение ряда очень медленное. См. статью «Константа Майсселя — Мертенса».

Гармонические ряды

Расходимость данного ряда была доказана Эйлером. Для этого он рассматривал гармонический ряд:

А также следующее «тождество», с помощью которого он также показал, что множество простых чисел бесконечно:

Здесь произведение берётся по всем простым числам. Такие бесконечные произведения сегодня называются произведениями Эйлера[en]. Произведение выше является отражением основной теоремы арифметики. Эйлер заметил, что если бы количество простых чисел было конечным, то произведение справа должно было бы сходиться, что противоречит расходимости гармонического ряда.

Доказательства

Доказательство Эйлера

Продолжая рассуждения, описанные выше, Эйлер взял натуральный логарифм от каждой из сторон. Затем он использовал разложение в ряд Тейлора , а также сходимость обратных степенных рядов:

с фиксированной константой K < 1. Затем он использовал свойство

вывод которого от объяснил, например, в более поздней работе 1748 года[2], путём присвоения x = 1 в разложении Тейлора

Это позволило ему заключить, что

Предположительно, Эйлер подразумевал, что сумма обратных величин к простым числам, меньшим n, асимптотически растёт как ln ln n при стремлении n к бесконечности. Оказалось, что это на самом деле имеет место и более точную версию этого факта строго доказал Франц Мертенс в 1874[3]. Эйлер же получил правильный результат с помощью нестрогих методов.

Доказательство Эрдёша путём оценки сверху и снизу

Следующее доказательство от противного принадлежит Палу Эрдёшу.

Пусть pi означает i-ое простое число. Представим, что сумма обратных величин простым числам сходится. Т.е.

Тогда существует наименьшее положительное целое число k, такое, что

Для положительного целого x пусть Mx означает множество n из набора {1, 2, …, x}, которые не делятся на любое простое, большее pk (или, эквивалентно, все , которые являются произведением степеней простых чисел ). Мы можем теперь вывести верхнюю и нижнюю оценку , числа элементов в . Для больших x эти границы приводят к противоречию.

Оценка сверху:

Любое n в Mx может быть записан в виде c положительными целыми m и r, где rсвободное от квадратов число. Поскольку только k простых может быть (с показателем 1) в разложении на простые числа  r, есть не более 2k различных возможностей для  r. Более того, имеется не более возможных значений для  m. Это даёт верхнюю оценку

Оценка снизу:

Оставшиеся чисел в разности множеств {1, 2, …, x} \ Mx все делятся на простые числа, большие . Пусть означает множество таких n из {1, 2, …, x}, которые делятся на i-ое простое . Тогда
Поскольку число целых чисел не превосходит (на самом деле, равно нулю для ), получаем
Используя (1), отсюда получаем

Получаем противоречие — если , оценки (2) и (3) не могут выполняться одновременно, поскольку .

Доказательство того, что ряд растёт со скоростью log-log

Есть другое доказательство, которое даёт нижнюю оценку частичных сумм. В частности, это показывает, что эти суммы растут по меньшей мере как ln ln n. Доказательство является вариантом идеи разложения произведения Эйлером. Ниже по тексту суммы или произведения по p всегда представляют собой суммы или произведения по определённым множествам простых чисел.

Доказательство опирается на следующие четыре неравенства:

  • Любое положительное целое i может быть единственным образом представлено в виде произведения свободных от квадратов чисел и квадрата. Это даёт неравенство
,
где для любого i между 1 и n (разложенное) произведение соответствует свободной от квадратов части числа i, а сумма соответствует квадратной части числа i (см. статью «Основная теорема арифметики»).

Комбинируя все эти неравенства, мы получаем

После деления на и взятия натурального логарифма от обеих частей получим

,

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

Используя

(см. «Базельская задача»), константу выше можно улучшить до . Фактически, оказывается что

,

где константа Майсселя — Мертенса (нечто аналогичное более известной постоянной Эйлера — Маскерони).

Доказательство из неравенства Дюзара

Из неравенства Дюзара мы имеем

для

Тогда

согласно интегральному признаку сходимости Коши — Маклорена. Это показывает, что ряд слева расходится.

Частичные суммы

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

Одно из доказательств[4] этого делается по индукции — первая частичная сумма равна и она имеет вид (то есть нечётное/чётное). Если n-ая частичная сумма (для ) имеет вид , то -ая сумма равна

поскольку -ое простое число нечётно. Поскольку сумма снова имеет вид , частичная сумма не может быть целым числом (2 делит знаменатель, но не делит числитель), что и доказывает утверждение.

Другое доказательство переписывает выражение для суммы первых n обратных значений для простых чисел (или суммы обратных значений любого множества простых) в терминах общего знаменателя, которое является произведением всех этих простых чисел. Тогда каждое из этих простых чисел делит все члены числителя, кроме одного, а потому не делит числитель в целом. Но каждое простое делит знаменатель. Таким образом, дробь неприводима и не является целым числом.

См. также

Примечания

  1. Euler, 1737, с. 160–188.
  2. Euler, 1748, с. 228, ex. 1.
  3. Mertens, 1874, с. 46–62.
  4. Lord, 2015, с. 128–130.

Литература

  • William Dunham. Euler The Master of Us All. — MAA, 1999. — P. 61–79. — ISBN 0-88385-328-0.
  • Leonhard Euler. Various observations concerning infinite series = Variae observationes circa series infinitas // Commentarii Academiae Scientiarum Petropolitanae. — 1737. — Т. 9.
  • Leonhard Euler. Introductio in analysin infinitorum. Tomus Primus. — Lausanne: Bousquet, 1748.
  • Mertens F. Ein Beitrag zur analytischer Zahlentheorie // J. Reine Angew. Math.. — 1874. — Т. 78.
  • Nick Lord. Quick proofs that certain sums of fractions are not integers // The Mathematical Gazette. — 2015. — Т. 99. — doi:10.1017/mag.2014.16.

Ссылки

Эта страница в последний раз была отредактирована 29 мая 2020 в 18:06.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).