Читать книгу Натуральные числа. Этюды, вариации, упражнения - Владимир Валентинович Трошин - Страница 6

Вариации на тему разнообразия натуральных чисел
Первый уровень классификации
Критерии – количество делителей и их суммы

Оглавление

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

Все натуральные числа, кроме единицы и простых, имеют более двух делителей. Натуральные числа, имеющие более двух делителей, называются составными. В связи с делимостью чисел рассматривают две операции: сумма всех делителей числа +dn, включает само это число, и сумма собственных делителей +sn, которая рассматривается без самого числа. Например, +d12=1+2+3+4+6+12=28; +s12=1+2+3+4+6=16.

С помощью суммы собственных делителей числа, все числа делятся на три класса:

если сумма собственных делителей меньше самого числа (+sn<n), то число называется недостаточным;

если сумма собственных делителей больше самого числа (+sn>n), то число называется избыточным;

если свершится чудо и сумма собственных делителей будет равна самому числу (+sn=n), то число называется совершенным!

Следует отметить, что древние греки, от которых идут основы теории чисел, не считали само число его делителем. Чтобы наглядно прочувствовать разбиение натуральных чисел на отдельные виды, нужно поработать с числами. Возьмем для примера первые 100 чисел натурального ряда. Вычислим делители каждого из чисел, найдем количество делителей, сумму всех делителей числа и сумму собственных делителей. После этого можно будет сделать некоторые выводы о количестве тех или иных чисел в первой сотне.






В первой сотне выявлено только два совершенных числа 6 и 28. Совершенные числа – это большая редкость.

Простых чисел в первой сотне 25. Исключаем единицу, как не относящуюся ни к простым числам, ни к составным, следовательно, в первой сотне 74 составных числа. Составных чисел больше и отношение количества составных чисел к количеству простых равно 74/25=2,96.

Избыточных чисел в первой сотне 22, недостаточных больше, их 75. Отношение количества недостаточных чисел к количеству избыточных равно 75/22=3,4(09). Как много бедных, как мало богатых…, среди чисел, разумеется. Эти соотношения меняются в зависимости от рассматриваемого отрезка натурального ряда чисел. В интернете можно найти таблицу делителей натуральных чисел от 1 до 1000 и даже до 10 000. Для множества в тысячу чисел результаты следующие: простых чисел 168, следовательно, составных 831 и соотношение равно 831/168=4,95.

Рассмотрим поближе избыточные числа: 12, 18, 20, 24, 30, 36, 40, 42, 48, 54, 56, 60, 66, 70, 72, 78, 80, 84, 88, 90, 96, 100 … .

Существует бесконечно много как чётных, так и нечётных избыточных чисел. Уверяю вас, это утверждение доказано, но посмотрите на перечисленные избыточные числа первой сотни! Не в пору ли усомниться в сказанном, где среди них нечетные числа? Их нет. Наименьшим избыточным числом является 12, это мы видим в приведенной таблице. Оказывается, избыточные нечетные числа более редкая вещь и чтобы найти наименьшее из них пришлось бы перебирать числа первой тысячи, так как наименьшим нечетным избыточным числом является 945, которое стоит на 386-ом месте среди избыточных чисел. В тексте будут попадаться задания для читателей отмеченные цифрой и знаком вопроса. На такие задания в конце книги даются ответы.

1?. Какое следующее по порядку нечетное избыточное число из бесконечного множества нечетных избыточных чисел?

Попробуйте найти сами. Подскажу только, что и во второй тысяче есть только одно нечетное избыточное число, в третьей тысяче их два и так далее. Довольно редкие создания. Если говорить о множестве всех натуральных чисел, то почти каждое четвёртое натуральное число является избыточным. Более точно установлено, что произвольно взятое натуральное число является избыточным с вероятностью, лежащей между 0,2474 и 0,2480.

Интересную закономерность доказал советский математик Лев Шнирельман: любое натуральное число, большее 28 123, может быть представлено в виде суммы двух избыточных чисел. Видите, работают люди с натуральными числами, находят новые закономерности. Нам и далее будут встречаться закономерности и проблемы, связанные со сложением чисел, их называют аддитивными, в отличие от вопросов, связанных с умножением, называемых мультипликативными. Почему-то аддитивных проблем в теории чисел больше, видимо, это заложено в аддитивном принципе получения множества натуральных чисел. Таким образом, Лев Шнирельман доказал одну из аддитивных теорем.

Нельзя обойти вниманием недостаточные числа. Их гораздо больше, чем избыточных, поэтому им всегда уделяли меньше внимания, никакой благотворительности, сами пусть разбираются, почему они недостаточные. Вот сколько недостаточных набралось среди первых пятидесяти чисел: 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 21, 22, 23, 25, 26, 27, 29, 31, 32, 33, 34, 35, 37, 38, 39, 41, 43, 44, 45, 46, 47, 49, 50. Существует бесконечно много как чётных, так и нечётных недостаточных чисел. Но обратите внимание, нечетные числа среди недостаточных чисел встречаются гораздо чаще четных в отличие от чисел избыточных. Тоже ведь интересно, почему образовалось такое распределение? Возможно потому, что к недостаточным числам относятся все простые числа (так как у них только один собственный делитель – это единица), а также степени простых чисел и собственные делители недостаточных и совершенных чисел.

Переходим в область редко встречающихся чисел и поговорим о редкостях, превосходящих в своей исключительности даже нечетные избыточные числа. Совершенные числа были известны как древним грекам, так и математикам древнего Востока. До Евклида были известны только два совершенных числа, которые находятся в первой сотне натуральных чисел: 6 и 28. Евклид вывел формулу для получения четных совершенных чисел, он доказал, что четное совершенное число имеет вид 2p-1·(2p-1), где p простое число и при этом 2p-1 также должно быть простым. Используя эту формулу, он нашел третье и четвертое совершенные числа при p=5 и p=7.

25-1·(25-1)=16·(32-1)=16·31=496;

27-1·(27-1)=64·(128-1)=64·127=8 128.

Формула Евклида позволяет без труда доказывать многочисленные свойства совершенных чисел. Все совершенные числа треугольные (об этом дальше). Это значит, что, взяв совершенные число шаров, мы всегда сможем сложить из них равносторонний треугольник. Все совершенные числа, кроме 6, можно представить в виде частичных сумм ряда кубов последовательных нечетных чисел: 13+33+53+ … . Впоследствии Леонард Эйлер строго доказал, что все чётные совершенные числа имеют вид, указанный Евклидом. В первой сотне их оказалось всего два, а далее они отстоят друг от друга все дальше и дальше. Почти полторы тысячи лет люди знали только четыре совершенных числа. Трудность состояла не в том, чтобы подставить в формулу очередное простое p, а в том, чтобы проверить простоту 2p-1. Требовались большие по объему вычисления, а вычислительной техники не существовало. Только в XV веке смогли обнаружить пятое совершенное число 33 550 336, соответствующее p=13 в формуле Евклида. Сделал это немецкий математик Региомонтан. В следующем веке немецкий учёный Шейбель нашел ещё два совершенных числа: 8 589 869 056 и 137 438 691 328. Они соответствуют p=17 и p=19. Независимо от него на совершенство этих чисел указывали итальянец Катальди и француз Марин Мерсенн.

Самое любопытное, что четные совершенные числа кроме 6 (а до сих пор не было найдено ни одного нечетного совершенного числа!) заканчиваются в десятичной записи на 16, 28, 36, 56, 76 или 96. Если отбросить наименьшее совершенное число 6, то у всех остальных совершенных чисел цифровой корень равен 1.

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

Проверено, что нечётное совершенное число, если оно существует, превышает 101500; при этом число простых делителей такого числа с учётом кратности не меньше 101. Поэтому не бросайтесь сразу искать нечетное совершенное число, это уже дело компьютерных программ, а не человека.

В природе кроме редких драгоценных камней существуют более распространенные полудрагоценные камни. У нас кроме совершенных чисел будут рассмотрены не совсем совершенные, но их мы отнесем во второй уровень классификации, в виду ослабления характеристического критерия.

С древних времен пару чисел 220 и 284 считали символом дружбы. В средние века имели хождение талисманы с выгравированными на них числами 220 и 284, якобы способствующими укреплению любви. Чем же заинтересовали людей эти два с виду обыкновенных числа?

Список собственных делителей числа 220: 1, 2, 4, 5, 10, 11, 20, 22, 44, 55 и 110, сумма делителей равна 284.

Список собственных делителей числа 284: 1, 2, 4, 71 и 142, сумма делителей равна 220.

Последователи Пифагора дали этим числам название – дружественные числа. Однако пифагорейцы знали только одну пару дружественных чисел – 220 и 284. Если для двух натуральных чисел сумма собственных делителей первого числа равна второму из этих чисел и наоборот, то такие два числа называются дружественными.

То есть, пару натуральных чисел M, N называют дружественной, если: m1+m2+…+mk=N, n1+n2+…+ni=M, где m1, m2,…,mk собственные делители числа М, n1, n2,…,ni собственные делители числа N.

Многие математики занимались поисками дружественных чисел, хотя большого значения для теории чисел эти пары не имеют, но являются любопытным элементом занимательной математики. Формулу для нахождения некоторых пар дружественных чисел предложил примерно в 850 году арабский астроном и математик Абу-л-Хасан Сабит ибн Курра. Его формула позволила найти две новые пары дружественных чисел: 17 296 и 18 416; 9 363 584 и 9 437 056. Восток дело тонкое и в Европе об этом узнали гораздо позже того, как сами нашли эти числа. Первым из западных математиков новую пару дружественных чисел нашел француз Пьер Ферма (1601-1665), потом обнаружили, что их упоминал в своем трактате марокканский ученый Ибн аль-Банна аль-Гарани (1256-1321). Через два года после Ферма еще одну пару нашел Рене Декарт. После Декарта великий Леонард Эйлер нашел свой критерий, с помощью которого смог пополнить множество дружественных чисел на несколько десятков. Пишу так расплывчато, потому что в разных источниках упоминается разное количество пар дружественных чисел найденных Эйлером.

Указанные выше две пары дружественных чисел фактически не являются второй и третьей, по величине входящих в них чисел, так как многие гораздо меньшие пары дружественных чисел были пропущены и вторая пара по величине: 1184 и 1210, а пара 17 296 и 18 416 стоит в последовательности на восьмом месте. Пару дружественных чисел 1184 и 1210 пропустили Ферма, Декарт и Эйлер, а обнаружил ее в 1866 году 16-летний итальянский школьник – Никколо Паганини – полный тёзка великого скрипача. Школьник потряс математический мир сообщением о том, что числа 1184 и 1210 дружественные! Эту пару, ближайшую к 220 и 284, проглядели все знаменитые математики, изучавшие дружественные числа. Вот так делаются открытия во множестве натуральных чисел!

Дружественные числа продолжают скрывать множество тайн. Неизвестно, конечно или бесконечно количество пар дружественных чисел. В различных источниках называется разное количество найденных пар дружественных чисел, где-то называют 400, где-то 1100 пар, а в Википедии сказано, что на апрель 2016 года известно более миллиарда пар дружественных чисел. Среди них преобладают пары четных чисел, но встречаются и нечетные пары, например седьмая пара: 12 285 и 14 595. Пока не найдена четно-нечетная пара, и поэтому неизвестно, существует ли такая смешанная пара дружественных чисел. Неизвестно существует ли общая формула, позволяющая описать все пары дружественных чисел.

Натуральные числа. Этюды, вариации, упражнения

Подняться наверх