Контрольная работа: Доказательство бесконечности некоторых видов простых чисел
Способ доказательства бесконечности количества некоторых видов простых чисел
Греческий ученый Евклид еще в ІІІ веке до нашей еры доказал, что количество простых чисел - бесконечено.
Теорема Дирихле
утверждает, что в некоторой арифметической прогрессии, которая состоит с
натуральных чисел, количество простых чисел
или бесконечность. Это значит, если
, тогда значения многочлена первой
степени
будут простыми числами при замене бесконечного
количества целых чисел.
Уже о многочленах второй и о большей степени этого нельзя было сказать. Неразрешимой была проблема простых чисел-близнецов.
Ниже мы рассмотрим способ, с помощью которого можно решить часть этих проблем.
Рассмотрим многочлен
который при значениях
от
до
, дает бесконечный ряд натуральных чисел
(1)
А также рассмотрим ряд простых чисел
(2)
некоторого типа, о котором известно, что он бесконечен.
Пусть простые числа (2)
делят числа (1) и некоторые числа (2) совпадают с некоторыми числами (1).
Применяя способ решета Эратосфена, мы увидим, что каждое простое число
c (2) выбивает с ряда чисел (1)
часть, а на все остальные простые
числа останется
часть чисел (1).
Если p1 выбивает t/ р1 , то p2 выбьет еще
часть чисел (1) с тех, что осталась,
а вместе они выбьют
часть чисел(1).
Для всех остальных простых чисел останется
![]()
часть чисел (1)
Третье простое число
выбьет еще
часть, а вместе они выбьют
часть чисел (1). На все оставшиеся
простые числа с (2) останется

часть чисел (1)
Продолжая ми получим, что
простые числа
выбивают
(3)
часть чисел (1) , а на оставшиеся простые числа останется
(4)
часть чисел (1)
Используем тот факт, что
простые числа от
до
выбивают все сложные числа в
интервале от
до
.
Пусть
наибольшее простое число с (2)
совпадающее с
последовательности (1). Для того чтобы выяснить, есть
ли еще простые числа в последовательности (1) больше за
достаточно формулу (4) умножить на
число А-количество чисел (1) на промежутке от
до
. И если
(5)
значит, там еще есть
простые числа больше
и меньше
.
Рассмотрим проблему простых чисел-близнецов
Пусть многочлен первой
степени
,где
,дает простые числа –близнецы.
Требуется доказать, что их количество бесконечно. Запишем все пары чисел
(6)
![]()
Легко показать, что
каждое простое число
выбивает по две пары таких чисел, то
есть
часть.
Пусть
(7)
![]()
последняя известная нам
пара простых чисел-близнецов этого вида. Используя формулы (3) мы увидим, что
все простые числа от
до
выбивают
(8)
часть чисел (6). А , используя формулу (4) мы получим , что на все остальные простые числа останется
(9)
часть чисел (6).
Для того, чтобы выяснить
есть ли еще другие пары простых чисел-близнецов в последовательности (6) больше
за (7), достаточно исследовать формулу (9) на промежутке до
.
Если
(10)
где А-количество пар
чисел (6) на промежутке от
до
,тогда на этом промежутке есть еще хотя бы одна пара
простых чисел-близнецов данного вида
Так как
тогда последнее число
вида (7) меньше
, которое будет делиться простыми числами меньшими за
, будет число
.
С учетом этого формула (10) примет вид
,
где видно, что левая часть больше единицы, а это значит, что количество пар простых чисел-близнецов бесконечно.
Для примера рассмотрим
простые числа-близнецы вида
.
Пусть
наибольшая пара таких чисел. Так как
числа такого вида нечетные, значит,
не принимает участия. Выражение (10) для данного случая
примет вид
, где очевидно, что оно больше единицы, а это значит,
что количество пар простых чисел-близнецов вида
бесконечно. Таким же способом можно
рассматривать и более сложные многочлены первой степени. Очень легко
доказывается и теорема Чебышева, Гольдбаха-Эйлера.
Рассмотрим многочлен второй степени
(11)
Делителями его будут простые числа вида
Подставляя в (11)
значения
от
до
получим ряд чисел
(13). Пускай
наибольшее простое число вида
. Требуется доказать что есть еще
простые числа вида
больше за
.
Каждое простое число (12)
выбивает с последовательности (13)
часть чисел. С учетом формулы (3) мы
получим, что все простые числа (12) от
до
выбивают
(14)
часть чисел с
последовательности (13) На остальные простые числа вида
останется с учетом формулы (4)
(15)
часть чисел последовательности (13).
Так как
,тогда последнее число вида
меньше
, которое будет делиться простыми
числами вида
меньшим за
, будет число
. .
Для того ,чтобы показать, что есть еще простые числа
(16)
достаточно доказать, что
(17)
Для чего неравенство (17) запишем по-другому
(18)
Рассматривая (18), видим,
что оно больше за единицу. Это значит что утверждение (16) верно, а значит, и
количество простых чисел вида
бесконечно.