2 Обобщения об антипростых числах
Цель данной работы не только решить поставленные на турнире задачи, но и предложить свои вопросы для исследования задачи об антипростых числах и исследовать их.
Докажем ряд теорем, которые могут представлять интерес при исследовании антипростых чисел.
Теорема 1. Любое нечетное число можно представить как разность двух антипростых чисел.
Доказательство:
Заметим, что 1 = 9 - 8 и 3 = 128 - 125. Пусть теперь 2p + 1 - произвольное нечетное число и p > 1. Тогда числа p2 и (p + 1)2 - антипростые. Их разность, как легко заметить, равна 2p + 1.
Теорема 2. Любое натуральное число, делящееся на 4, можно представить как разность двух антипростых чисел.
Доказательство: Заметим, что 4 = 8 - 4 и 8 = 16 - 8. Пусть теперь 4p - произвольное число, делящееся на 4 и p > 2. Тогда числа (p - 1)2 и (p + 1)2 - антипростые. Их разность, как легко заметить, равна 4p.
Теорема 3 . Существует отрезок любой длины в натуральном ряду, на котором нет антипростых чисел.
Доказательство: Рассмотрим систему сравнений:
( -простые числа и ).
Если данная система имеет решения, то тогда получим последовательность чисел длины такую, что каждый её член делится на (), но не делится на , то есть не является антипростым числом. Но данная система имеет решения по Китайской теореме об остатках (числа попарно взаимно простые).
Значит существует отрезок любой длины в натуральном ряду, на котором нет антипростых чисел.
Примечание. Китайская теорема об остатках[6].
Если - попарно взаимно простые числа, - такие числа, что , то существует такое число , что при всех .
Также нам понадобиться следующий известный факт:
Лемма. Пусть НОД(b;d) = 1. Тогда найдется бесконечно много членов арифметической (геометрической) прогрессии с начальным членом 1 и разностью (знаменателем) b сравнимых с 1 по модулю d.
Теорема 4. В любой арифметической прогрессии (a0,d N, a0 > 0), у которой НОД(a0;d) - антипростое или 1, бесконечно много антипростых чисел.
Доказательство:
Пусть НОД(a0;d) = 1. Рассмотрим арифметическую прогрессию с членами вида a0 + a0kd. Каждый ее член является членом исходной арифметической прогрессии. При члены этой прогрессии антипростые числа. Но согласно лемме, найдется бесконечно много таких k. Следовательно, прогрессия содержит бесконечно много антипростых чисел.
В случае, когда НОД(a0;d) - антипростое, рассуждения аналогичны.
Теорема 5. Не существует арифметической прогрессии (,) состоящей только из антипростых чисел или такой у которой после n-ого члена все члены - антипростые числа.
Доказательство:
Если все члены арифметической прогрессии (разность , ) после -ого члена () - антипростые числа, то взяв арифметическую прогрессию с и разностью , получим арифметическую прогрессию, состоящую только из антипростых чисел.
Пусть существует арифметическая прогрессия, состоящая только из антипростых чисел ().
Рассмотрим , и простое число .
Если представимо в виде (то есть сравнение имеет решение), то тогда не антипростое число (делится на , но не делится на ).
Но сравнение имеет решение согласно лемме, так как НОД()=1. Значит не антипростое число - противоречие.
Значит не существует арифметической прогрессии, состоящей только из антипростых чисел.
Следствие. В любой арифметической прогрессии(,) бесконечно много не антипростых чисел (если , то и ).
Одно из примечательных в теории чисел понятий - совершенное число. Это натуральное число, равное сумме своих натуральных делителей, исключая само число. На октябрь 2008 г. известно только 46 чётных совершенных чисел, нечетных совершенных чисел найдено не было. Встает вопрос, а могут ли антипростые числа быть совершенными? В этой связи интересны следующие две теоремы.
Теорема 6. Число вида не совершенно ( - простое, - натуральное).
Действительно, если - совершенно, то верно следующее:
Следовательно - не совершенно.
Теорема 7. Число вида не совершенно (- целое).
Доказательство:
Пусть совершенно. Рассмотрим два случая:
1. - чётно. Представим в виде произведения простых множителей:
. Количество натуральных делителей числа равно , притом количество чётных их сумма чётна, нечётных их сумма нечётна, сумма всех натуральных делителей - нечётна, но их сумма равна - противоречие.
2. - нечётно. Представим в виде произведения простых множителей:
. Количество натуральных делителей числа равно , сумма их нечётна, но она же равна - противоречие.
Сложным оказался вопрос о существовании трёх подряд идущих антипростых числах, пытаясь его ослабить, мы попытались рассмотреть совместное расположение последовательно расположенных простых и антипростых чисел. При этом нами был поставлен ряд вопросов, на которые удалось получить ответы.
Вопрос 1. Существуют ли три подряд идущих натуральных числа, каждое из которых является либо простым, либо антипростым?
Ответ. Рассмотрим тройки вида (p1; p2; a) (a; p1; p2): Одно из чисел p1 или p2 чётное, то есть 2, так как 1 не антипростое и не простое, то троек (a; p1; p2) нет. А тройка (p1; p2; a) всего одна (2;3;4).
Рассмотрим тройки вида (). - нечётные (иначе одно не анипростое по задачи 1 пункта 1.1), тогда - чётно, то есть 2, но 1 не антипростое, то есть данной тройки не существует.
Очевидно, что тройки (p1; p2; p3 ) не существует.
Тройки (p; a1; a2), (p1; a; p2), () существуют: (7; 8; 9), (3; 4; 5), (675;676;677) но доказать их конечность или бесконечность не удалось.
Примечание. В приведенных обозначениях p - простое число, a - антипростое число.
Вопрос 2. Существуют ли четыре подряд идущих натуральных числа, каждое из которых является либо простым, либо антипростым?
Ответ. Среди четырёх подряд идущих натуральных чисел два чётных, но из задачи 1 пункта 1.1, следует что они одновременно не могут быть антипростыми, также как и простыми. Значит, если существует четвёрка, то одно из них простое. Так как 1 не антипростое, то имеем только одну четвёрку: (2;3;4;5).
Вопрос 3. Существуют ли пять или более подряд идущих натуральных чисел, каждое из которых является либо простым, либо антипростым?
Ответ. Как показано выше, существует только одна четверка подряд идущих натуральных числа, каждое из которых является либо простым, либо антипростым. Если бы существовало пять или более подряд идущих натуральных чисел, удовлетворяющих условию, то они содержали бы эти четыре числа. Но 6 и 1 не простое и не антипростое. Значит, таких чисел нет.