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

Все натуральные числа, большие единицы, распадаются на два класса. К первому относятся числа, имеющие ровно два натуральных делителя, единицу и самого себя, ко второму – все остальные. Числа первого класса называют простыми, а второго – составными. Простые числа в пределах первых трех десятков: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, …

Свойства простых чисел и их связь со всеми натуральными числами изучалась Евклидом (3 век до нашей эры). Если выписывать простые числа подряд, то можно заметить, что относительная плотность их убывает. На первый десяток их приходится 4, т. е. 40%, на сотню – 25, т.е. 25%, на тысячу – 168, т.е. меньше 17%, на миллион – 78498, т.е. меньше 8%, и т.д.. Тем не менее, их общее число бесконечно.

Среди простых чисел попадаются пары таких, разность между которыми равна двум (так называемые простые близнецы), однако конечность или бесконечность таких пар не доказана.

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

Изучение распределения простых чисел привело к созданию алгоритма, позволяющего получать таблицы простых чисел. Таким алгоритмом является решето Эратосфена (3 век до нашей эры). Этот метод заключается в отсеивании (например, путем зачеркивания) тех целых чисел заданной последовательности , которые делятся хотя бы на одно из простых чисел, меньших .

Теорема 8.2. (теорема Евклида). Число простых чисел бесконечно.

Доказательство. Теорему Евклида о бесконечности числа простых чисел докажем способом, предложенным Леонардом Эйлером (1707–1783). Эйлер рассмотрел произведение по всем простым числам p:

при . Это произведение сходится, и если его раскрыть, то в силу однозначности разложения натуральных чисел на простые сомножители получается, что оно равняется сумме ряда , откуда следует тождество Эйлера:

.

Так как при ряд справа расходится (гармонический ряд), то из тождества Эйлера следует теорема Евклида.

Русский математик П.Л. Чебышев (1821–1894) вывел формулу, определяющую пределы, в которых заключено число простых чисел , не превосходящих X:

,

где , .