stringtranslate.com

Идеальное число

Иллюстрация совершенного числового статуса числа 6

В теории чисел совершенное число — это положительное целое число , равное сумме своих положительных собственных делителей , то есть делителей, исключающих само число. Например, 6 имеет собственные делители 1, 2 и 3, а 1 + 2 + 3 = 6, поэтому 6 — совершенное число. Следующее совершенное число — 28, так как 1 + 2 + 4 + 7 + 14 = 28.

Первые четыре совершенных числа — 6 , 28 , 496 и 8128. [1 ]

Сумма собственных делителей числа называется его аликвотной суммой , поэтому совершенное число — это число, которое равно своей аликвотной сумме. Эквивалентно, совершенное число — это число, которое равно половине суммы всех своих положительных делителей; в символах, где — функция суммы делителей .

Это определение древнее, оно встречается ещё в «Началах » Евклида (VII.22), где оно называется τέλειος ἀριθμός ( совершенное , идеальное или полное число ). Евклид также доказал правило образования (IX.36), согласно которому является чётным совершенным числом, если является простым числом вида для положительного целого числа — то, что сейчас называется простым числом Мерсенна . Два тысячелетия спустя Леонард Эйлер доказал, что все чётные совершенные числа имеют этот вид. [2] Это известно как теорема Евклида–Эйлера .

Неизвестно, существуют ли нечетные совершенные числа и существует ли бесконечно много совершенных чисел.

История

Около 300 г. до н. э. Евклид показал, что если 2 p  − 1 является простым числом, то 2 p −1 (2 p  − 1) является совершенным числом. Первые четыре совершенных числа были единственными, известными ранней греческой математике , а математик Никомах заметил 8128 еще около 100 г. н. э. [3] На современном языке Никомах утверждает без доказательств, что каждое совершенное число имеет вид , где является простым числом. [4] [5] Он, похоже, не знает, что само n должно быть простым числом. Он также говорит (ошибочно), что совершенные числа попеременно заканчиваются на 6 или 8. (Первые 5 совершенных чисел заканчиваются цифрами 6, 8, 6, 8, 6; но шестое также заканчивается на 6.) Филон Александрийский в своей книге первого века «О сотворении мира» упоминает совершенные числа, утверждая , что мир был создан за 6 дней, а луна совершает оборот за 28 дней, потому что 6 и 28 являются совершенными. За Филоном следуют Ориген [6] и Дидим Слепой , который добавляет наблюдение, что существует только четыре совершенных числа, которые меньше 10 000. (Комментарий к Книге Бытия 1. 14–19). [7] Святой Августин определяет совершенные числа в «О граде Божьем» (Книга XI, Глава 30) в начале V века нашей эры, повторяя утверждение, что Бог сотворил мир за 6 дней, потому что 6 — наименьшее совершенное число. Египетский математик Исмаил ибн Фаллус (1194–1252) упомянул следующие три совершенных числа (33 550 336; 8 589 869 056; и 137 438 691 328) и перечислил еще несколько, которые, как теперь известно, являются неправильными. [8] Первое известное европейское упоминание пятого совершенного числа — это рукопись, написанная между 1456 и 1461 годами неизвестным математиком. [9] В 1588 году итальянский математик Пьетро Катальди определил шестое (8 589 869 056) и седьмое (137 438 691 328) совершенные числа, а также доказал, что каждое совершенное число, полученное из правила Евклида, заканчивается на 6 или 8. [10] [11] [12]

Даже совершенные числа

Нерешенная задача по математике :
Существует ли бесконечно много совершенных чисел?

Евклид доказал, что является четным совершенным числом, если является простым ( Начала , предложение IX.36).

Например, первые четыре совершенных числа генерируются по формуле, где p — простое число , следующим образом:

Простые числа вида известны как простые числа Мерсенна , в честь монаха семнадцатого века Марина Мерсенна , который изучал теорию чисел и совершенные числа. Для того, чтобы быть простым, необходимо, чтобы само p было простым. Однако не все числа вида с простым p являются простыми; например, 2 11 − 1 = 2047 = 23 × 89 не является простым числом. [a] На самом деле, простые числа Мерсенна встречаются очень редко: из простых чисел p вплоть до 68 874 199 является простым только для 48 из них. [13]

В то время как Никомах утверждал (без доказательства), что все совершенные числа имеют вид , где является простым (хотя он утверждал это несколько иначе), Ибн аль-Хайтам (Альхазен) около 1000 г. н. э. не хотел заходить так далеко, заявив вместо этого (также без доказательства), что формула даст только каждое четное совершенное число. [14] Только в 18 веке Леонард Эйлер доказал, что формула даст все четные совершенные числа. Таким образом, существует взаимно-однозначное соответствие между четными совершенными числами и простыми числами Мерсенна; каждое простое число Мерсенна порождает одно четное совершенное число, и наоборот. Этот результат часто называют теоремой Евклида–Эйлера .

Исчерпывающий поиск в рамках проекта распределенных вычислений GIMPS показал, что первые 48 четных совершенных чисел предназначены для

р = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609 и 57885161 (последовательность A000043 в OEIS ). [13]

Также были обнаружены три более высоких совершенных числа, а именно те, для которых p = 74207281, 77232917 и 82589933. Хотя все еще возможно, что в этом диапазоне могут быть и другие, первоначальные, но исчерпывающие тесты GIMPS не выявили других совершенных чисел для p ниже 109332539. По состоянию на декабрь 2018 года известно 51 простое число Мерсенна [15] и, следовательно, 51 четное совершенное число (наибольшее из которых — 2 82589932 × (2 82589933 − 1) с 49 724 095 цифрами). Неизвестно, существует ли бесконечно много совершенных чисел, и существует ли бесконечно много простых чисел Мерсенна.

Помимо того, что каждое четное совершенное число имеет форму , каждое четное совершенное число является -ым треугольным числом (и, следовательно, равным сумме целых чисел от 1 до ) и -ым шестиугольным числом . Кроме того, каждое четное совершенное число, за исключением 6, является -ым центрированным девятиугольным числом и равно сумме первых нечетных кубов (нечетные кубы до куба ):

Даже совершенные числа (кроме 6) имеют вид

с каждым полученным треугольным числом T 7 = 28 , T 31 = 496 , T 127 = 8128 (после вычитания 1 из совершенного числа и деления результата на 9), заканчивающимся на 3 или 5, последовательность начинается с T 2 = 3 , T 10 = 55 , T 42 = 903 , T 2730 = 3727815, ... [16] Из этого следует, что сложение цифр любого четного совершенного числа (кроме 6), затем сложение цифр полученного числа и повторение этого процесса до тех пор, пока не будет получена одна цифра (называемая цифровым корнем ), всегда дает число 1. Например, цифровой корень числа 8128 равен 1, потому что 8 + 1 + 2 + 8 = 19 , 1 + 9 = 10 и 1 + 0 = 1 . Это работает со всеми совершенными числами с нечетным простым числом p и, фактически, со всеми числами вида для нечетного целого числа (не обязательно простого) m .

Благодаря своей форме каждое четное совершенное число представляется в двоичной форме как p единиц, за которыми следуют p − 1 нулей, например:

Таким образом, каждое четное совершенное число является пагубным числом .

Каждое четное совершенное число также является практическим числом (см. Смежные понятия).

Нечетные совершенные числа

Нерешенная задача по математике :
Существуют ли нечетные совершенные числа?

Неизвестно, существуют ли нечетные совершенные числа, хотя были получены различные результаты. В 1496 году Жак Лефевр заявил, что правило Евклида дает все совершенные числа, [17] таким образом подразумевая, что нечетных совершенных чисел не существует, но сам Эйлер заявил: «Существуют ли ... нечетные совершенные числа — это самый сложный вопрос». [18] Совсем недавно Карл Померанс представил эвристический аргумент, предполагающий, что на самом деле нечетных совершенных чисел не должно существовать. [19] Все совершенные числа также являются гармоническими делителями , и было также высказано предположение, что не существует нечетных гармонических делителей, отличных от 1. Многие из свойств, доказанных для нечетных совершенных чисел, также применимы к числам Декарта , и Пейс Нильсен предположил, что достаточное изучение этих чисел может привести к доказательству того, что нечетных совершенных чисел не существует. [20]

Любое нечетное совершенное число N должно удовлетворять следующим условиям:

где:
  • qp 1 , ...,  p k — различные нечетные простые числа (Эйлер).
  • q ≡ α ≡ 1 ( mod 4) (Эйлер).
  • Наименьший простой множитель числа N не превышает [32]
  • По крайней мере одна из простых степеней, делящих N, превышает 10 62 . [21]
  • [33] [34]
  • . [32] [35] [36]
  • . [37]
  • . [38] [39]

Кроме того, известно несколько второстепенных результатов о показателях степеней e 1 , ...,  e k .

В 1888 году Сильвестр заявил: [48]

... продолжительное размышление на эту тему убедило меня в том, что существование любого такого [нечетного совершенного числа] — его освобождение, так сказать, от сложной сети условий, которые окружают его со всех сторон — было бы почти чудом.

Незначительные результаты

Все четные совершенные числа имеют очень точную форму; нечетные совершенные числа либо не существуют, либо встречаются редко. Существует ряд результатов о совершенных числах, которые на самом деле довольно легко доказать, но тем не менее внешне впечатляют; некоторые из них также подпадают под сильный закон малых чисел Ричарда Гая :

Связанные концепции

Диаграмма Эйлера для чисел до 100:
   Идеальный

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

По определению, совершенное число — это неподвижная точка ограниченной функции делителей s ( n ) = σ ( n ) − n , а аликвотная последовательность, связанная с совершенным числом, является постоянной последовательностью. Все совершенные числа также являются -совершенными числами, или числами Гранвиля .

Полусовершенное число — это натуральное число, равное сумме всех или некоторых своих собственных делителей. Полусовершенное число, равное сумме всех своих собственных делителей, является совершенным числом. Большинство обильных чисел также являются полусовершенными; обильные числа, которые не являются полусовершенными, называются странными числами .

Смотрите также

Примечания

  1. ^ Все множители сравнимы с 1 mod 2 p . Например, 2 11 − 1 = 2047 = 23 × 89 , и оба числа 23 и 89 дают остаток 1 при делении на 22. Кроме того, всякий раз, когда p является простым числом Софи Жермен — то есть 2 p + 1 также является простым числом — и 2 p + 1 сравнимо с 1 или 7 mod 8, то 2 p + 1 будет множителем , что имеет место для p = 11, 23, 83, 131, 179, 191, 239, 251, ... OEIS : A002515 .

Ссылки

  1. ^ "A000396 - OEIS". oeis.org . Получено 2024-03-21 .
  2. ^ Колдуэлл, Крис, «Доказательство того, что все четные совершенные числа являются степенью двойки, умноженной на простое число Мерсенна».
  3. ^ Диксон, Л. Э. (1919). История теории чисел, т. I. Вашингтон: Институт Карнеги в Вашингтоне. стр. 4.
  4. ^ "Совершенные числа". www-groups.dcs.st-and.ac.uk . Получено 9 мая 2018 г. .
  5. В главе 16 «Введения в арифметику » он говорит о совершенных числах: «Существует метод их получения, аккуратный и безошибочный, который не пропускает ни одно из совершенных чисел и не упускает ни одного из тех, которые таковыми не являются, и который осуществляется следующим образом». Затем он продолжает объяснять процедуру, которая эквивалентна нахождению треугольного числа на основе простого числа Мерсенна.
  6. Комментарий к Евангелию от Иоанна 28.1.1–4, с дальнейшими ссылками в издании Sources Chrétiennes : т. 385, 58–61.
  7. ^ Роджерс, Джастин М. (2015). Восприятие арифмологической экзегезы Филона в комментарии Дидима Слепого к Книге Бытия (PDF) . Национальное собрание Общества библейской литературы, Атланта, Джорджия .
  8. Рошди Рашед, Развитие арабской математики: между арифметикой и алгеброй (Дордрехт: Kluwer Academic Publishers, 1994), стр. 328–329.
  9. ^ Bayerische Staatsbibliothek , Clm 14908. См. Дэвида Юджина Смита (1925). История математики: Том II. Нью-Йорк: Дувр. п. 21. ISBN 0-486-20430-8.
  10. ^ Диксон, Л. Э. (1919). История теории чисел, т. I. Вашингтон: Институт Карнеги в Вашингтоне. стр. 10.
  11. ^ Пиковер, С. (2001). Чудеса чисел: приключения в математике, разуме и смысле. Оксфорд: Oxford University Press. стр. 360. ISBN 0-19-515799-0.
  12. ^ Петерсон, И. (2002). Математические путешествия: от сюрреалистических чисел до магических кругов. Вашингтон: Математическая ассоциация Америки. стр. 132. ISBN 88-8358-537-2.
  13. ^ ab "GIMPS Milestones Report". Great Internet Mersenne Prime Search . Получено 28 июля 2024 г.
  14. ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Абу Али аль-Хасан ибн аль-Хайсам», Архив истории математики MacTutor , Университет Сент-Эндрюс
  15. ^ "GIMPS Home". Mersenne.org . Получено 2022-07-21 .
  16. ^ Вайсштейн, Эрик В. «Совершенное число». MathWorld .
  17. ^ Диксон, Л. Э. (1919). История теории чисел, т. I. Вашингтон: Институт Карнеги в Вашингтоне. стр. 6.
  18. ^ "Самая старая открытая проблема в математике" (PDF) . Harvard.edu . Получено 16 июня 2023 г. .
  19. ^ Oddperfect.org. Архивировано 29.12.2006 на Wayback Machine
  20. ^ Надис, Стив (10 сентября 2020 г.). «Математики открывают новый фронт в решении древней числовой проблемы». Журнал Quanta . Получено 10 сентября 2020 г.
  21. ^ abc Ochem, Паскаль; Рао, Микаэль (2012). «Нечетные совершенные числа больше 101500» (PDF) . Mathematics of Computation . 81 (279): 1869–1877. doi : 10.1090/S0025-5718-2012-02563-4 . ISSN  0025-5718. Zbl  1263.11005.
  22. ^ Кюнель, Ульрих (1950). «Verschärfung der notwendigen Bedingungen für die Existenz von ungeraden vollkommenen Zahlen». Mathematische Zeitschrift (на немецком языке). 52 : 202–211. дои : 10.1007/BF02230691. S2CID  120754476.
  23. ^ Робертс, Т (2008). «О форме нечетного совершенного числа» (PDF) . Australian Mathematical Gazette . 35 (4): 244.
  24. ^ Goto, T; Ohno, Y (2008). "Нечетные совершенные числа имеют простой множитель, превышающий 108" (PDF) . Mathematics of Computation . 77 (263): 1859–1868. Bibcode :2008MaCom..77.1859G. doi : 10.1090/S0025-5718-08-02050-9 . Получено 30 марта 2011 г. .
  25. ^ Конягин, Сергей; Акваа, Питер (2012). «О простых множителях нечетных совершенных чисел». Международный журнал теории чисел . 8 (6): 1537–1540. doi :10.1142/S1793042112500935.
  26. ^ Iannucci, DE (1999). "Второй по величине простой делитель нечетного совершенного числа превышает десять тысяч" (PDF) . Mathematics of Computation . 68 (228): 1749–1760. Bibcode :1999MaCom..68.1749I. doi : 10.1090/S0025-5718-99-01126-6 . Получено 30 марта 2011 г. .
  27. ^ Зелинский, Джошуа (июль 2019 г.). «Верхние границы второго по величине простого множителя нечетного совершенного числа». International Journal of Number Theory . 15 (6): 1183–1189. arXiv : 1810.11734 . doi : 10.1142/S1793042119500659. S2CID  62885986..
  28. ^ Iannucci, DE (2000). "Третий по величине простой делитель нечетного совершенного числа превышает сотню" (PDF) . Mathematics of Computation . 69 (230): 867–879. Bibcode :2000MaCom..69..867I. doi : 10.1090/S0025-5718-99-01127-8 . Получено 30 марта 2011 г. .
  29. ^ Бибби, Шон; Винке, Питер; Зелински, Джошуа (23 ноября 2021 г.). «О третьем наибольшем простом делителе нечетного совершенного числа» (PDF) . Целые числа . 21 . Получено 6 декабря 2021 г. .
  30. ^ Nielsen, Pace P. (2015). "Нечетные совершенные числа, диофантовы уравнения и верхние границы" (PDF) . Mathematics of Computation . 84 (295): 2549–2567. doi : 10.1090/S0025-5718-2015-02941-X . Получено 13 августа 2015 г. .
  31. ^ Nielsen, Pace P. (2007). «Нечетные совершенные числа имеют по крайней мере девять различных простых множителей» (PDF) . Mathematics of Computation . 76 (260): 2109–2126. arXiv : math/0602485 . Bibcode :2007MaCom..76.2109N. doi :10.1090/S0025-5718-07-01990-4. S2CID  2767519 . Получено 30 марта 2011 г. .
  32. ^ ab Zelinsky, Joshua (3 августа 2021 г.). «О полном числе простых множителей нечетного совершенного числа» (PDF) . Целые числа . 21 . Получено 7 августа 2021 г. .
  33. ^ Чен, Юн-Гао; Тан, Цуй-Э (2014). «Улучшенные верхние границы для нечетных мультисовершенных чисел». Бюллетень Австралийского математического общества . 89 (3): 353–359. doi : 10.1017/S0004972713000488 .
  34. ^ Nielsen, Pace P. (2003). «Верхняя граница для нечетных совершенных чисел». Целые числа . 3 : A14–A22 . Получено 23 марта 2021 г.
  35. ^ Охем, Паскаль; Рао, Микаэль (2014). «О числе простых множителей нечетного совершенного числа». Математика вычислений . 83 (289): 2435–2439. doi : 10.1090/S0025-5718-2013-02776-7 .
  36. ^ Грэм Клейтон, Коди Хансен (2023). «О неравенствах, включающих подсчеты простых множителей нечетного совершенного числа» (PDF) . Целые числа . 23 . arXiv : 2303.11974 . Получено 29 ноября 2023 г. .
  37. ^ Pomerance, Carl; Luca, Florian (2010). «О радикале совершенного числа». New York Journal of Mathematics . 16 : 23–30 . Получено 7 декабря 2018 г.
  38. ^ Коэн, Грэм (1978). «О нечетных совершенных числах». Fibonacci Quarterly . 16 (6): 523-527. doi :10.1080/00150517.1978.12430277.
  39. ^ Сурьянараяна, Д. (1963). «О нечетных совершенных числах II». Труды Американского математического общества . 14 (6): 896–904. doi :10.1090/S0002-9939-1963-0155786-8.
  40. ^ Макдэниел, Уэйн Л. (1970). «Несуществование нечетных совершенных чисел определенной формы». Archiv der Mathematik . 21 (1): 52–53. doi :10.1007/BF01220877. ISSN  1420-8938. MR  0258723. S2CID  121251041.
  41. ^ abc Fletcher, S. Adam; Nielsen, Pace P.; Ochem, Pascal (2012). "Методы решета для нечетных совершенных чисел" (PDF) . Mathematics of Computation . 81 (279): 1753–1776. doi : 10.1090/S0025-5718-2011-02576-7 . ISSN  0025-5718. MR  2904601.
  42. ^ Коэн, Г. Л. (1987). «О наибольшем компоненте нечетного совершенного числа». Журнал Австралийского математического общества, Серия A. 42 ( 2): 280–286. doi : 10.1017/S1446788700028251 . ISSN  1446-8107. MR  0869751.
  43. ^ Канольд, Ханс-Иоахим [на немецком языке] (1950). «Satze uber Kreisteilungspolynome und ihre Anwendungen auf einige zahlenteoretisehe Issuee. II». Журнал для королевы и математики . 188 (1): 129–146. дои : 10.1515/crll.1950.188.129. ISSN  1435-5345. MR  0044579. S2CID  122452828.
  44. ^ ab Cohen, GL; Williams, RJ (1985). «Расширения некоторых результатов, касающихся нечетных совершенных чисел» (PDF) . Fibonacci Quarterly . 23 (1): 70–76. doi :10.1080/00150517.1985.12429857. ISSN  0015-0517. MR  0786364.
  45. ^ Хагис, Питер младший; Макдэниел, Уэйн Л. (1972). «Новый результат, касающийся структуры нечетных совершенных чисел». Труды Американского математического общества . 32 (1): 13–15. doi : 10.1090/S0002-9939-1972-0292740-5 . ISSN  1088-6826. MR  0292740.
  46. ^ Макдэниел, Уэйн Л.; Хагис, Питер младший (1975). «Некоторые результаты, касающиеся несуществования нечетных совершенных чисел вида p α M 2 β {\displaystyle p^{\alpha }M^{2\beta }} » (PDF) . Fibonacci Quarterly . 13 (1): 25–28. doi :10.1080/00150517.1975.12430680. ISSN  0015-0517. MR  0354538.
  47. ^ Ямада, Томохиро (2019). «Новая верхняя граница для нечетных совершенных чисел специального вида». Colloquium Mathematicum . 156 (1): 15–21. arXiv : 1706.09341 . doi : 10.4064/cm7339-3-2018. ISSN  1730-6302. S2CID  119175632.
  48. ^ Сборник математических статей Джеймса Джозефа Сильвестра с. 590, тр. из «Sur les nombres dits de Hamilton», Compte Rendu de l'Association Française (Тулуза, 1887), стр. 164–168.
  49. ^ Маковски, А. (1962). «Замечание о совершенных числах». Elem. Math. 17 (5): 109.
  50. ^ Галлардо, Луис Х. (2010). «О замечании Маковски о совершенных числах». Elem. Math. 65 (3): 121–126. doi : 10.4171/EM/149 . .
  51. ^ Ян, Сонг И. (2012), Вычислительная теория чисел и современная криптография, John Wiley & Sons, Раздел 2.3, Упражнение 2(6), ISBN 9781118188613.
  52. ^ Джонс, Крис; Лорд, Ник (1999). «Характеристика нетрапециевидных чисел». The Mathematical Gazette . 83 (497). The Mathematical Association: 262–263. doi :10.2307/3619053. JSTOR  3619053. S2CID  125545112.
  53. ^ Хорнфек, Б. (1955). «Zur Dichte der Menge der vollkommenen zahlen». Арх. Математика . 6 (6): 442–443. дои : 10.1007/BF01901120. S2CID  122525522.
  54. ^ Канольд, HJ (1956). «Eine Bemerkung ¨uber die Menge der vollkommenen zahlen». Математика. Энн . 131 (4): 390–392. дои : 10.1007/BF01350108. S2CID  122353640.
  55. ^ Х. Новарезе. Примечание sur les nombres parfaits Texeira J. VIII (1886), 11–16.
  56. ^ Диксон, Л. Э. (1919). История теории чисел, т. I. Вашингтон: Институт Карнеги в Вашингтоне. стр. 25.
  57. ^ Редмонд, Дон (1996). Теория чисел: Введение в чистую и прикладную математику. Chapman & Hall/CRC Pure and Applied Mathematics. Т. 201. CRC Press. Задача 7.4.11, стр. 428. ISBN 9780824796969..

Источники

Дальнейшее чтение

Внешние ссылки