Антипростые числа (стр. 2 из 4)

Если существует антипростое число вида

(4k – антипростое), то и существует тройка подряд идущих антипростых чисел.

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

, НОД( )=1. Значит числа антипростые, то есть существует тройка подряд идущих антипростых чисел.

Данное утверждение равносильно задаче о существовании трёх подряд идущих антиростых чисел. Саму задачу решить сложно. Но, возможно, проще окажется задача о существовании антипростого числа вида

. И если такое число существует, может ли при этом 4k быть антипростым?

Заметим, что из тройки анипростых чисел (n², n²+1, n²+2), в которой n² и n²+2 являются антипростыми, можно получить числа

и , являющиеся антипростыми (антипростое умноженное на антипростое число – анипростое число).

Но с помощью данного алгоритма нельзя получить антипростое число вида

. Действительно, n² и n²+2 – нечётны, то есть – чётное, так как n² имеет вид , то делится на 16, но не делится на 4, следовательно, не представимо в виде .

1.2 Исследование количества антипростых чисел среди натуральных чисел

Будем исследовать количество антипростых чисел среди натуральных чисел в следующем смысле.

Необходимо попытаться найти или оценить количество антипростых чисел на различных отрезках (например, от 1 до 1000, от 1 до 1000000, от 1 до М (для произвольных натуральных значений М), от 1000 до 1000000 и т.п.), получить какие-либо общие закономерности.

Обозначим через p(т) количество антипростых чисел среди всех натуральных чисел от 1 до т.

Обозначим через p(k, т) количество антипростых чисел среди всех натуральных чисел от k до т.

Для оценки количества антипростых чисел на различных отрезках была разработана программа на Паскале, которая находит антипростые числа (см Приложение Б).

Из таблицы (см Приложение А), которую выводит программа, несложно подсчитать количество антипростых чисел для различных заданных отрезков. Например, от 1 до 1000 имеется 53 антипростых числа, от 1001 до 2000 – 24, от 2001 до 3000 – 18, от 3001 до 4000 – 19, от 4001 до 5000 – 13, от 5001 до 6000 – 13, от 6001 до 7000 – 12, от 7001 до 8000 – 11, от 8001 до 9000 – 11, от 9001 до 10 000 – 10 и т.д.

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

Хорошо известен постулат Бертрана [3, 4, 5, 6]: для любого натурального n

2 на отрезке [n; 2n] лежит как минимум одно простое число. Такая гипотеза была выдвинута в 1845 году французским математиком Бертраном (проверившим её до n=3000000) и доказана в 1850 Чебышёвым. Рамануджан в 1920 году нашёл более простое доказательство, а Эрдёш в 1932 — ещё более простое.

Для антипростых чисел заметим нечто похожее.

На отрезке [n; n+2∙[

]+1] находится квадрат натурального числа. Действительно, если n точный квадрат, то и n+2∙[ ]+1 точный квадрат. Если n не квадрат натурального числа, то число ([ ]+1)² – точный квадрат лежит на отрезке [n; n+2∙[ ]+1]. Заметим, что для n > 5 длина отрезка [n; n+2∙[ ]+1] меньше n.

По аналогии докажем что на отрезке [n; n+2∙[

]+1+2∙[ ]+3] лежит 2 квадрата натуральных чисел (т.е. 2 антипростых числа). Очевидно, что и . Если n не точный квадрат натурального числа, то число ([ ]+1)² и – точные квадраты лежат на отрезке [n; n+2∙[ ]+1+2∙[ ]+3]. Заметим, что для n> 10 длина этого отрезка меньше n.

Рассуждая аналогично, с учетом

, доказывается, что наотрезке лежит k квадратов натуральных чисел (где – сумма всех нечётных чисел от 1 до 2k-1, т.е. ). Заметим, что для любого натурального kнайдётся натуральное nтакое что, (например, n= 9k²), т.е. существует такое n, для которого . Следовательно, с возрастанием n минимальное количество антипростых чисел на отрезках [n; 2n] увеличивается.

Заметим также, что аналог гипотезы Лежандра [3] о том, что для любого n ≥ 2 найдётся простое число в интервале [n²; (n+1)²], для антипростых чисел выполняется. Ведь любой квадрат сам по себе уже антипростое число.

Для оценки количества чисел на отрезке от 1 до n построим график, на котором по оси Ox будем откладывать числа от 1 до 1 500 000, а по оси Oy – значение функции p(n), т.е. количество антипростых чисел на отрезке от [1; n] (см рис. 1).

Рисунок 1 – График функции p(n)

Сравним график на рис. 1 с графиком функции

(см рис.2).

Рисунок 2 – График функции

Для сравнения на рисунке 3 представлены одновременно графики функций p(n) и

. Исследования показали, что на отрезке до n=420000 p(n), а далее p(n), причём процент ошибки небольшой (см. таблицу 1 в Приложение В). Так как вначале p(n), то процент ошибки убывает, после n=420000 он начинает возрастать, и при n=2000000 он приблизительно равен 2% .

Рисунок 3 – Сравнение графиков функций p(n) и

1.3 Исследование частоты встречаемости антипростых чисел среди натуральных чисел

Будем исследовать частоту встречаемости антипростых чисел среди натуральных чисел в следующем смысле. Необходимо исследовать свойства частоты встречаемости антипростых чисел на отрезках длины т, расположенных в ряду натуральных чисел от 1 до 1000000 и др. и получить какие-либо общие закономерности. Назовем частотой встречаемости антипростых чисел на отрезке [1, т] число t(т) = p(т)/т. Аналогично t(k, т) = p(k, т)/(т – k +1) – частота встречаемости антипростых чисел на отрезке [k, т]. Для оценки частоты встречаемости антипростых чисел на отрезке от 1 до m построим графики функций t(т) = p(т)/т (см рис. 4).

Рисунок 4 – График функции

Изучив график частоты t(т) = p(т)/т встречаемости антипростых чисел на отрезке от 1 до m, получим, что при малых значениях m он колеблется, то возрастая, то убывая (максимумы при антипростых m), но достигнув своего наибольшего значения

при m= 9 приобретает тенденцию к убыванию.

На рисунке 5 представлен графики функций t(т) и y(x)=

( ) для .