Всякое целое число
представимо в одном из следующих видов
при некотором
(это число
будем обозначать
). Очевидно, что если число
- простое, то либо
, либо
(первый случай
характеризуется условием "
делится на 6", второй - условием
"
делится на 6").
Назовем узлами четные числа
, а число
номером узла. Далее, узел с номером
, для которого рядом стоящие с ним числа
и
являются простыми числами (числа близнецы), назовем полным (или двусторонним, полноценным, полновесным) узлом, а узел, для которого одно из двух чисел
или
является простым, назовем односторонним (соответственно, левосторонним, если число
является простым, а число
составным, и правосторонним, если число
является простым, а число
составным). Узел, для которого рядом стоящие с ним числа
и
являются составными, назовем пустым узлом. В каждой шестерке чисел от
до
включительно,
только два нечетных числа
и
могут быть простыми числами (так как числа
- четные и число
составное, делится на 3).
Выясним, при каких условиях эти числа являются простыми.
Первый случай:
Если число
-
составное, то оно представимо в виде
(
не может быть множителем, так как
делится на 6). Если
таких представлений несколько, то берется любое из них (это замечание ниже повторяться
не будет). Имеем
, откуда
где
. Выясним, при каких условиях число
, может быть представлено в такой форме (другими словами, при каких
условиях диофантово уравнение (1) имеет решение
, в котором
.).
I. Число
- четное. В этом случае числа
и
либо оба четные, либо оба нечетные.
1)
. В этом случае
получаем
, откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1 до
(
- целая часть числа
) число
, вычисленное по формуле (2),
окажется целым, то число
может быть
представлено в виде (1) и, значит, число
-
составное. В противном случае число
- простое.
2)
. В этом случае
и получаем
, откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1 до
число
, вычисленное по формуле (4), окажется целым, то
число
может быть представлено в виде (1)
и, значит, число
- составное. В противном
случае число
- простое.
II. Число
- нечетное. В этом случае одно из чисел
- четное, другое - нечетное.
1)
. В этом случае
и получаем
, откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1
до
число
, вычисленное по формуле (6),
окажется целым, то число
может быть
представлено в виде (1) и, значит, число
-
составное. В противном случае число
-
простое.
2)
. В этом случае
и получаем
, откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1
до
число
, вычисленное по формуле (8),
окажется целым, то число
может быть
представлено в виде (1) и, значит, число
-
составное. В противном случае число
-
простое.
Второй случай:
Если число
- составное, то оно представимо в
виде
или
(
не может быть
множителем, так как
делится на 6). Имеем
или
, откуда
, (10)
или
, (11)
где
. Очевидно, что можно
считать, что в этих уравнениях
.
Выясним, при каких условиях число
может
быть представлено в виде (10) или (11) (другими словами, при каких
условиях одно из диофантовых уравнений (10), (11) имеет решение
, в котором
).
I. Число
- четное. В этом случае числа
и
либо оба четные, либо оба нечетные. Следовательно,
.
1) Рассмотрим уравнение (10). Имеем
,
откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1 до
число
,
вычисленное по формуле (12), окажется целым, то число
может
быть представлено в виде (10) и, значит, число
- составное.
2) Рассмотрим уравнение (11). Имеем
,
откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1
до
число
, вычисленное по формуле (14),
окажется целым, то число
может быть
представлено в виде (11) и, значит, число
-
составное.
Общий вывод в случае I : если для какого-нибудь значения
от 1 до
число
,
вычисленное по формуле (12), окажется целым или для какого-нибудь значения
от 1 до
число
, вычисленное по формуле (14), окажется целым, то число
- составное. В противном случае число
- простое.
II. Число
- нечетное. В этом случае одно из чисел
- четное, другое - нечетное. Следовательно,
.
1) Рассмотрим уравнение (10). Имеем
, откуда
Так как
, то
, откуда следует, что
Вывод: если для какого-нибудь значения
от 1
до
число
, вычисленное по формуле (16),
окажется целым, то число
может быть
представлено в виде (10) и, значит, число
-
составное.
2) Рассмотрим уравнение (11). Имеем
, откуда
Так как
, то
, откуда следует, что
. Вывод: если для
какого-нибудь значения
от 1 до
число
, вычисленное по формуле (18), окажется целым,
то число
может быть представлено в виде
(11) и, значит, число
- составное.
Общий вывод в случае II : если для какого-нибудь значения
от 1 до
число
, вычисленное по формуле (16), окажется целым или для какого-нибудь значения
от 1 до
число
, вычисленное по формуле (18), окажется целым, то
число
- составное. В противном случае число
-
простое.
Таким образом, для решения задачи "является ли данное число
простым?" можно предложить следующий алгоритм.
1) Находим остаток от деления числа
на 6. Если он
и
, то число
не является простым.
2) Если
(остаток от деления
на 6
равен 5), число
- четное и для некоторого значения
от 1 до
хотя бы одно из
чисел
является целым, то
число
не является простым. Если же все эти числа
не являются целыми, то число
- простое.
3) Если
(остаток от деления
на 6 равен 5), число
- нечетное и для некоторого значения
от 1 до
хотя бы одно из чисел
является целым или для некоторого значения
от 1 до
хотя бы одно из чисел
является
целым, то число
не является простым. Если же
все эти числа
не являются целыми, то число
- простое.
4) Если
, число
- четное и для
некоторого значе-ния
от 1 до
хотя бы одно из чисел
является целым или для некоторого значения
от 1 до
хотя бы одно из
чисел
является целым, то
число
не является простым. Если же все эти числа
не являются целыми, то число
- простое.
5) Если
, число
- нечетное и для некоторого значения
от 1 до
хотя бы одно из чисел
является целым или для некоторого
значения
от 1 до
хотя бы
одно из чисел
является целым, то число
не
является простым. Если же все эти числа
не
являются целыми, то число
- простое.
Отметим, что к первым двум простым числам 2 и 3 данный алгоритм не применяется.
Краткая сводка алгоритма в табличной форме приводится ниже .
Проверяются нечетные числа
, оканчивающиеся на цифры 1, 3, 7, 9
и число
. Проверяются нечетные числа
, оканчивающиеся на цифры 1, 3, 7, 9 и число
.
После всего вышеизложенного можно записать
в терминах и обозначениях теории множеств.
, где
,
- множество всех простых чисел,
- множество натуральных чисел,
- множество из одного числа 1,
- множество четных чисел,
- множество из одного числа 2,
- множество нечетных чисел делящихся на 3, начиная с 9,
- множество пустых узлов,
и
- множества
составных чисел пустых узлов,
- множество правосторонних узлов,
- множество составных чисел правосторонних узлов,
- множество левосторонних узлов,
- множество составных чисел левосторонних
узлов.
Формула простых чисел близнецов
, где
- множество простых чисел близнецов,
- множество всех простых чисел,
- множество правосторонних узлов,
- множество простых чисел правосторонних узлов,
- множество левосторонних узлов,
- множество простых чисел левосторонних узлов.
Л И Т Е Р А Т У Р А
1. Серпинский В. Что мы знаем и чего не знаем о простых числах. М., ГИФМЛ, 1963.
2. Наумова Л.Н. Дзета-функция Эйлера-Римана, диофантовы уравнения, простые числа и
единство математики. ISBN 5-8057-0435-8, 2004.
3. Курош А.Г. Курс высшей алгебры. М.: Наука, изд. 9-е, 1968.
4. Прасолов В.В. Многочлены. М. МЦНМО, 2001.
5. Гаусс К.Ф. Труды по теории чисел. Под общ. ред. акад. И.М. Виноградова, Изд-во АН
СССР, М., 1959.