Теория чисел — это раздел математики, занимающийся преимущественно изучением натуральных и целых чисел и их свойств, часто с привлечением методов математического анализа и других разделов математики. Теория чисел содержит множество проблем, попытки решения которых предпринимались математиками в течение десятков, а иногда даже сотен лет, но которые пока так и остаются открытыми. Ниже приведены некоторые из наиболее известных нерешённых проблем.
- Сильная проблема Гольдбаха. Каждое чётное число, большее 2, можно представить в виде суммы двух простых чисел.
- Проблема Ризеля: поиск такого минимального нечётного , что число является составным для всех натуральных .
- Проблема Серпинского: поиск такого минимального нечётного натурального , что число является составным для всех натуральных .
- Простая проблема Серпинского: поиск такого минимального нечётного простого натурального , что число является составным для всех натуральных .
- Двойственная проблема Серпинского: поиск такого минимального нечётного натурального , что число является составным для всех натуральных . Связанный вопрос о тесте на простоту: если существует алгоритм, позволяющий быстро (за полиномиальное время) узнать, является ли число простым (строго, то есть не псевдопростым), то существует ли двойственный к нему алгоритм теста на простоту для чисел вида ? Ответ на последний вопрос позволил бы узнать, являются ли пять больших возможно простых из задания «Пять или провал» простыми или составными.
- Гипотеза Артина о бесконечности множества простых чисел, по модулю которых заданное целое число является первообразным корнем.
- Гипотеза Лежандра. Для любого натурального между и найдётся хотя бы одно простое число.
- Гипотеза Оппермана. Для любого натурального между и найдётся хотя бы одно простое число и между и — ещё хотя бы одно (другое) простое число.
- Гипотеза Андрицы. Функция (где — это -ое простое число) принимает значения, меньшие 1 для любого n.
- Гипотеза Брокара. Для любого натурального между и (где — это -ое простое число) найдётся хотя бы четыре простых числа.
- Гипотеза Фирузбэхт. Последовательность — строго убывающая (здесь — это -ое простое число).
- Гипотеза Полиньяка. Для любого чётного числа найдётся бесконечно много пар соседних простых чисел, разность между которыми равна .
- Гипотеза Аго — Джуги: верно ли, что если
- , то p — простое?
- Верно ли, что для любого положительного иррационального числа и любого положительного существует бесконечное количество пар простых чисел для которых выполняется неравенство ?[1]
- Сходится ли ряд ?[2] Но если он сходится, то простых чисел-близнецов конечно много. Это вытекает из теоремы о распределении простых чисел и признака Лейбница[].
- Гипотеза Гильбрайта. Для любого натурального числа последовательность абсолютных разностей -го порядка для последовательности простых чисел начинается с 1. Абсолютные разности 1-го порядка — это абсолютные величины разностей между соседними простыми числами: разности 2-го порядка — это абсолютные величины разностей между соседними элементами в последовательности абсолютных разностей 1-го порядка: и т. д. Гипотеза проверена для всех n < 3,4×1011[3]
- Гипотеза Буняковского Если — целозначный неприводимый многочлен и d — наибольший общий делитель всех его значений, то целозначный многочлен принимает бесконечно много простых значений. 4-я проблема Ландау — частный случай этой гипотезы при .
- Гипотеза Диксона Если — конечное число арифметических прогрессий, то существует бесконечно много натуральных чисел n таких, что для каждого такого n все r чисел являются простыми одновременно. Причём из рассмотрения исключается тривиальный случай, когда существует такое простое p, что при любом n хотя бы одно число кратно p.
- Гипотеза Эллиота — Халберстама и её обобщение в теории простых чисел в модулях.
- Все ли числа Ферма составные при n > 4?
- Все ли числа Мерсенна с простыми индексами свободны от квадратов?
- Имеются ли двойные числа Мерсенна с индексами n > 60?
- Является ли число MM127 и следующие члены последовательности Каталана-Мерсенна простыми?
- Имеются ли простые числа Вольстенхольма, отличные от 16 843 и 2 124 679?
- Открытым является вопрос бесконечности количества простых чисел в каждой из следующих последовательностей[4]:
- Существует ли многочлен , кроме линейного, среди значений которого существует бесконечно много простых чисел?[6]
- Почему простые числа располагаются в цепочки вдоль диагоналей скатерти Улама?[6]
- Верно ли, что только три простых числа, а именно 5, 13 и 97, представимы в виде при некотором натуральном ?
- Найти количество гауссовых чисел, норма которых меньше заданной натуральной константы . В эквивалентной формулировке эта тема известна как «проблема круга Гаусса» в геометрии чисел[8]. См. последовательность A000328 в OEIS.
- Найти прямые на комплексной плоскости, содержащие бесконечно много простых гауссовых чисел. Две такие прямые очевидны — это координатные оси; неизвестно, существуют ли другие[9].
- Вопрос, известный под названием «ров Гаусса»: можно ли дойти до бесконечности, переходя от одного простого гауссова числа к другому скачками заранее ограниченной длины? Задача поставлена в 1962 году и до сих пор не решена[10].
- Каждое ли перечислимое множество имеет однократное диофантово представление?[11]
- Может ли не иметь однократного диофантова представления объединение двух множеств, каждое из которых имеет однократное диофантово представление?
- Каждое ли перечислимое множество имеет диофантово представление в виде уравнения степени 3 относительно всех переменных (параметров и неизвестных)?
- Каждое ли перечислимое множество имеет диофантово представление в виде уравнения степени 3 относительно неизвестных?
- Какое наименьшее число переменных может иметь универсальное диофантово уравнение? Какую наименьшую степень оно может иметь при таком числе переменных? Наименьший известный результат — 9 переменных. Наименьшая известная степень уравнения при 9 переменных превышает [12]
- Какое наименьшее число переменных может иметь универсальное диофантово уравнение степени 4? Наименьший известный результат составляет 58.
- Существует ли универсальное диофантово уравнение степени 3? Если да, то какое наименьшее число переменных оно может иметь?
- Какое наименьшее количество операций (сложений, вычитаний и умножений) может иметь универсальное диофантово уравнение? Наименьший известный результат составляет 100.
- Бесконечно ли множество решений диофантова уравнения ?[11]
- Существование прямоугольного параллелепипеда с тремя целочисленными рёбрами и целочисленными диагоналями.
Многие нерешённые проблемы (например, проблема Гольдбаха или гипотеза Римана) могут быть переформулированы как вопросы о разрешимости диофантовых уравнений 4-й степени некоторого специального вида, однако такая переформулировка обычно не делает проблему проще ввиду отсутствия общего метода решения диофантовых уравнений[13][11].
- Гипотеза Римана (теоретико-числовая формулировка). Верна ли следующая асимптотическая формула для распределения простых чисел:
- Известно, что количество точек с положительными целочисленными координатами в области, ограниченной гиперболой и положительными полуосями, выражается асимптотической формулой
- где — количество делителей числа k, — постоянная Эйлера — Маскерони, а может быть выбрано равным Однако, неизвестно, при каком наименьшем значении эта формула останется верной (известно, что оно не меньше, чем )[14][15][16]. Равно ли оно в точности ? Прямые вычисления приводят к этой гипотезе, поскольку оказывается почти нормальным распределением с дисперсией 1 для x вплоть до .
- Гипотеза Крамера о пробелах между простыми числами: .
- Ослабленная гипотеза Мертенса: доказать, что функция Мертенса оценивается как . Ослабленная гипотеза Мертенса эквивалентна гипотезе Римана.
- Первая гипотеза Харди — Литлвуда — гипотеза о плотности распределения кортежей простых чисел вида , утверждающая, в частности, что число таких кортежей бесконечно, исключая тривиальные случаи. Эта гипотеза является уточнением гипотезы о простых близнецах, а также является частным случаем гипотезы Диксона.
- Вторая гипотеза Харди — Литлвуда — гипотеза о логарифмическом свойстве функции числа простых чисел: . Доказано, что гипотезы Харди-Литлвуда обе сразу не могут быть верными и верна максимум одна[17].
- Гипотеза Сингмастера. Обозначим через количество раз, которое натуральное число , большее единицы, встречается в треугольнике Паскаля. Сингмастер показал, что , что в дальнейшем было улучшено до . Верно ли более сильное утверждение ?
- Гипотеза Зарембы. Для любого натурального числа q найдётся такое число p, что в разложении в цепную дробь все неполные частные не превосходят пяти. В 2011 году Жаном Бургейном и Алексом Конторовичем было доказано, что для дробей с неполными частными, ограниченными 50, гипотеза верна на множестве плотностью 1[18].
- Значения чисел Рамсея [19]. Точно известны только несколько первых чисел. Например, неизвестно, при каком наименьшем N в любой группе из N человек найдутся 5 человек, попарно знакомых друг с другом, или 5 человек, попарно незнакомых друг с другом — это число обозначается , про него известно только, что .
Подробнее ...
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
2 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
3 |
1 |
3 |
6 |
9 |
14 |
18 |
23 |
28 |
36 |
[40, 42] |
4 |
1 |
4 |
9 |
18 |
25 |
[36, 41] |
[49, 61] |
[59, 84] |
[73, 115] |
[92, 149] |
5 |
1 |
5 |
14 |
25 |
[43, 48] |
[58, 87] |
[80, 143] |
[101, 216] |
[133, 316] |
[149, 442] |
6 |
1 |
6 |
18 |
[36, 41] |
[58, 87] |
[102, 165] |
[115, 298] |
[134, 495] |
[183, 780] |
[204, 1171] |
7 |
1 |
7 |
23 |
[49, 61] |
[80, 143] |
[115, 298] |
[205, 540] |
[217, 1031] |
[252, 1713] |
[292, 2826] |
8 |
1 |
8 |
28 |
[56, 84] |
[101, 216] |
[127, 495] |
[217, 1031] |
[282, 1870] |
[329, 3583] |
[343, 6090] |
9 |
1 |
9 |
36 |
[73, 115] |
[133, 316] |
[183, 780] |
[252, 1713] |
[329, 3583] |
[565, 6588] |
[580, 12677] |
10 |
1 |
10 |
[40, 42] |
[92, 149] |
[149, 442] |
[179, 1171] |
[289, 2826] |
[343, 6090] |
[581, 12677] |
[798, 23556] |
Закрыть
- Значения чисел ван дер Вардена. На данный момент известны значения только 6 первых чисел[20]: 1, 3, 9, 35, 178 и 1132. Например, неизвестно, при каком наименьшем N при любом разбиении множества на два подмножества хотя бы одно из них будет содержать арифметическую прогрессию длиной 7 (известно, что , где выражение для верхней границы использует тетрацию)[21].
- Пусть — положительное число такое, что и — целые числа. Может ли не быть целым числом?
- Существование слегка избыточных чисел.
- Существование цикла из трёх компанейских чисел.
- Существуют ли попарно различные натуральные числа такие, что ?[22]
- Существуют ли две различные пифагоровы тройки, имеющие одинаковое произведение?[23]
- Гипотеза Била. Если где — натуральные и , то имеют общий простой делитель.
- Гипотеза Эрдёша. Если сумма обратных величин для некоторого множества натуральных чисел расходится, то в этом множестве можно найти сколь угодно длинную арифметическую прогрессию.
- Насколько велика может быть сумма обратных величин последовательности натуральных чисел, в которой никакой элемент не равен сумме нескольких других различных элементов? (Эрдёш)[24]
- Гипотеза Коллатца (гипотеза 3n+1).
- Гипотеза жонглёра. Любая последовательность жонглёра достигает 1[25]. Последовательность жонглёра описывается рекурсивной формулой:
- Задача Брокара. Имеет ли уравнение решения в натуральных числах, кроме (4, 5), (5, 11) и (7, 71)?[26]
- Гипотеза Томашевски. Только числа 1, 6 и 120 являются одновременно треугольными и факториалами[27]. В альтернативной формулировке сводится к решению уравнения в натуральных числах.
- Конечно ли множество решений уравнения В настоящее время известно только 5 решений[28].[29][30]
- Верно ли утверждение, что квадрат всякого рационального числа представим в виде суммы четвёртых степеней четырёх рациональных чисел?
- Проблема Варинга и её обобщения:
- Конечно ли множество натуральных чисел, которые нельзя представить в виде суммы 6 кубов неотрицательных целых чисел?[31] Аналогичный вопрос стоит для сумм 5 и 4 кубов, а также для многих чисел слагаемых со степенями выше 4.
- С какой точностью натуральное число можно представить суммой квадратов двух целых чисел?
- Проблема 196. Существуют ли такие натуральные числа, которые в результате повторения операции «перевернуть и сложить», никогда не превратятся в палиндром?
- Возможно ли представление любого целого числа в виде (алгебраической) суммы четырёх кубов?[32]
- неизвестно доказательство этого утверждения;
- неизвестен пример числа, которое представить таким образом нельзя.
- Три из четырёх гипотез Поллока о фигурных числах.
- Существует ли точная четвёртая степень с суммой цифр, равной четырём?
Conway J. H., Sloane N. J. A. Sphere Packings, Lattices and Groups. — Springer-Verlag. — P. 106.
И. М. Виноградов. Аналитическая теория чисел // Математическая энциклопедия. — Советская энциклопедия (рус.). — М., 1977—1985.