Русская Википедия:Открытые проблемы в теории чисел

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Гипотезы о простых числах

  • Сильная проблема Гольдбаха. Каждое чётное число, большее 2, можно представить в виде суммы двух простых чисел.
  • Проблема Ризеля: поиск такого минимального нечётного <math>k < 509203</math>, что число <math>k \cdot 2^n - 1</math> является составным для всех натуральных <math>n</math>.
  • Проблема Серпинского: поиск такого минимального нечётного натурального <math>k < 78557</math>, что число <math>k \cdot 2^n + 1</math> является составным для всех натуральных <math>n</math>.
    • Простая проблема Серпинского: поиск такого минимального нечётного простого натурального <math>k < 271129</math>, что число <math>k \cdot 2^n + 1</math> является составным для всех натуральных <math>n</math>.
    • Двойственная проблема Серпинского: поиск такого минимального нечётного натурального <math>k</math>, что число <math>2^n \pm k</math> является составным для всех натуральных <math>n</math>. Связанный вопрос о тесте на простоту: если существует алгоритм, позволяющий быстро (за полиномиальное время) узнать, является ли число <math>k \cdot 2^n \pm 1</math> простым (строго, то есть не псевдопростым), то существует ли двойственный к нему алгоритм теста на простоту для чисел вида <math>2^n \pm k</math>? Ответ на последний вопрос позволил бы узнать, являются ли пять больших возможно простых из задания «Пять или провал» простыми или составными.
  • Гипотеза Артина о бесконечности множества простых чисел, по модулю которых заданное целое число является первообразным корнем.
  • Гипотеза Лежандра. Для любого натурального <math>n</math> между <math>n^2</math> и <math>(n+1)^2</math> найдётся хотя бы одно простое число.
  • Гипотеза Оппермана. Для любого натурального <math>n</math> между <math>n^2</math> и <math>n(n+1)</math> найдётся хотя бы одно простое число и между <math>n(n+1)</math> и <math>(n+1)^2</math> — ещё хотя бы одно (другое) простое число.
  • Гипотеза Андрицы. Функция <math>f(n) = \sqrt{p_{n+1}} - \sqrt{p_n}</math> (где <math>p_n</math> — это <math>n</math>-ое простое число) принимает значения, меньшие 1 для любого n.
  • Гипотеза Брокара. Для любого натурального <math>n</math> между <math>p_n^2</math> и <math>p_{n+1}^2</math> (где <math>p_n</math> — это <math>n</math>-ое простое число) найдётся хотя бы четыре простых числа.
  • Гипотеза Фирузбэхт. Последовательность <math>(p_n)^{1/n}</math> — строго убывающая (здесь <math>p_n</math> — это <math>n</math>-ое простое число).
  • Гипотеза Полиньяка. Для любого чётного числа <math>n</math> найдётся бесконечно много пар соседних простых чисел, разность между которыми равна <math>n</math>.
  • Гипотеза Аго — Джуги: верно ли, что если
    <math>\sum_{i=1}^{p-1} i^{p-1} = 1^{p-1}+2^{p-1}+ \cdots +(p-1)^{p-1} \equiv -1 \pmod p</math>, то p — простое?
  • Верно ли, что для любого положительного иррационального числа <math>\theta</math> и любого положительного <math>\epsilon</math> существует бесконечное количество пар простых чисел <math>(p, q),</math> для которых выполняется неравенство <math>\left|\theta-\frac{p}{q}\right|<q^{-2+\epsilon}</math>?[1]
  • Сходится ли ряд <math>\sum_{k=1}^\infty (-1)^k \frac{k}{p_k}</math>?[2] Но если он сходится, то простых чисел-близнецов конечно много. Это вытекает из теоремы о распределении простых чисел и признака ЛейбницаШаблон:Нет АИ.
  • Гипотеза Гильбрайта. Для любого натурального числа <math>n</math> последовательность абсолютных разностей <math>n</math>-го порядка для последовательности простых чисел начинается с 1. Абсолютные разности 1-го порядка — это абсолютные величины разностей между соседними простыми числами: <math>1, 2, 2, 4, 2, \dots,</math> разности 2-го порядка — это абсолютные величины разностей между соседними элементами в последовательности абсолютных разностей 1-го порядка: <math>1, 0, 2, 2, 2, \dots</math> и т. д. Гипотеза проверена для всех n < 3,4×1011[3]
  • Гипотеза Буняковского Если <math>f(x)</math> — целозначный неприводимый многочлен и d — наибольший общий делитель всех его значений, то целозначный многочлен <math>f(x)/d</math> принимает бесконечно много простых значений. 4-я проблема Ландау — частный случай этой гипотезы при <math>f(x)=x^2+1</math>.
  • Гипотеза Диксона Если <math>a_1n+b_1, a_2n+b_2...,a_rn+b_r</math> — конечное число арифметических прогрессий, то существует бесконечно много натуральных чисел n таких, что для каждого такого n все r чисел <math>a_1n+b_1, a_2n+b_2...,a_rn+b_r</math> являются простыми одновременно. Причём из рассмотрения исключается тривиальный случай, когда существует такое простое p, что при любом n хотя бы одно число <math>a_jn+b_j</math> кратно p.
  • Гипотеза Эллиота — Халберстама и её обобщение в теории простых чисел в модулях.
  • Все ли числа Ферма составные при n > 4?
  • Все ли числа Мерсенна с простыми индексами свободны от квадратов?
  • Имеются ли двойные числа Мерсенна с индексами n > 60?
  • Является ли число MM127 и следующие члены последовательности Каталана-Мерсенна простыми?
  • Имеются ли простые числа Вольстенхольма, отличные от 16 843 и 2 124 679?
  • Открытым является вопрос бесконечности количества простых чисел в каждой из следующих последовательностей[4]:
Последовательность Название
<math>2^n-1</math> числа Мерсенна
<math>n^2+1</math> 4-я проблема Ландау
<math>n^{2^k}+1</math>, <math>k>0</math> обобщение проблемы ЛандауШаблон:Sfn.
<math>n\cdot 2^n+1</math> числа Каллена
<math>n\cdot 2^n-1</math> числа Вудала
<math>2^{2^n}+1</math> числа Ферма
<math>F_n</math> числа Фибоначчи
пары <math>(n,\;n+2)</math> простые близнецы
пары <math>(n,\;2n+1)</math> простые числа Софи Жермен
<math>n! \pm 1</math> факториальные числа
<math>n\# \pm 1</math> праймориальные числа
<math>k \cdot 2^n + 1</math>, <math>k</math> — нечетно, <math>2^n > k</math> числа Прота
  • Существует ли многочлен <math>f(x)</math> , кроме линейного, среди значений которого существует бесконечно много простых чисел?[5]
  • Почему простые числа располагаются в цепочки вдоль диагоналей скатерти Улама?[5]
  • Верно ли, что только три простых числа, а именно 5, 13 и 97, представимы в виде <math>2^k + 3^k</math> при некотором натуральном <math>k</math>?

Гипотезы о совершенных числах

Гипотезы о дружественных числах

Гауссовы числа

  • Найти количество гауссовых чисел, норма которых меньше заданной натуральной константы <math>R</math>. В эквивалентной формулировке эта тема известна как «проблема круга Гаусса» в геометрии чисел[6]. См. Шаблон:OEIS.
  • Найти прямые на комплексной плоскости, содержащие бесконечно много простых гауссовых чисел. Две такие прямые очевидны — это координатные оси; неизвестно, существуют ли другие[7].
  • Вопрос, известный под названием «ров Гаусса»: можно ли дойти до бесконечности, переходя от одного простого гауссова числа к другому скачками заранее ограниченной длины? Задача поставлена в 1962 году и до сих пор не решена[8].

Диофантовы уравнения

  • Каждое ли перечислимое множество имеет однократное диофантово представление?[9]
  • Может ли не иметь однократного диофантова представления объединение двух множеств, каждое из которых имеет однократное диофантово представление?
  • Каждое ли перечислимое множество имеет диофантово представление в виде уравнения степени 3 относительно всех переменных (параметров и неизвестных)?
  • Каждое ли перечислимое множество имеет диофантово представление в виде уравнения степени 3 относительно неизвестных?
  • Какое наименьшее число переменных может иметь универсальное диофантово уравнение? Какую наименьшую степень оно может иметь при таком числе переменных? Наименьший известный результат — 9 переменных. Наименьшая известная степень уравнения при 9 переменных превышает <math>10^{45}.</math>[10]
  • Какое наименьшее число переменных может иметь универсальное диофантово уравнение степени 4? Наименьший известный результат составляет 58.
  • Существует ли универсальное диофантово уравнение степени 3? Если да, то какое наименьшее число переменных оно может иметь?
  • Какое наименьшее количество операций (сложений, вычитаний и умножений) может иметь универсальное диофантово уравнение? Наименьший известный результат составляет 100.
  • Бесконечно ли множество решений диофантова уравнения <math>9(u^2+7v^2)^2-7(r^2+7s^2)^2=2</math>?[9]
  • Существование прямоугольного параллелепипеда с тремя целочисленными рёбрами и целочисленными диагоналями.
  • Существование множества из пяти положительных целых чисел, произведение любых двух из которых на единицу меньше точного квадрата.

Многие нерешённые проблемы (например, проблема Гольдбаха или гипотеза Римана) могут быть переформулированы как вопросы о разрешимости диофантовых уравнений 4-й степени некоторого специального вида, однако такая переформулировка обычно не делает проблему проще ввиду отсутствия общего метода решения диофантовых уравнений[11][9].

Аналитическая теория чисел

  • Гипотеза Римана (теоретико-числовая формулировка). Верна ли следующая асимптотическая формула для распределения простых чисел:
    <math>\pi(x) = \int\limits_2^x\!\frac{dt}{\ln t} + O\left(\sqrt x\ln x\right) ?</math>
  • Известно, что количество точек с положительными целочисленными координатами в области, ограниченной гиперболой <math>x y=N</math> и положительными полуосями, выражается асимптотической формулой
    <math>\Phi(N) = \sum_{k=1}^N \tau(k) = N \ln N + (2\gamma-1)N+O(N^\theta),</math>
где <math>\tau(k)</math> — количество делителей числа k, <math>\gamma</math> — постоянная Эйлера — Маскерони, а <math>\theta</math> может быть выбрано равным <math>\frac{131}{416}.</math> Однако, неизвестно, при каком наименьшем значении <math>\theta</math> эта формула останется верной (известно, что оно не меньше, чем <math>\frac{1}{4}</math>)[12][13][14]. Равно ли оно в точности <math>\frac{1}{4}</math>? Прямые вычисления <math>\theta</math> приводят к этой гипотезе, поскольку <math>x^{\theta}/x^{1/4}</math> оказывается почти нормальным распределением с дисперсией 1 для x вплоть до <math>10^{16}</math>.

Теория Рамсея

  • Значения чисел Рамсея <math>R(r,\;s)</math>[17]. Точно известны только несколько первых чисел. Например, неизвестно, при каком наименьшем N в любой группе из N человек найдутся 5 человек, попарно знакомых друг с другом, или 5 человек, попарно незнакомых друг с другом — это число обозначается <math>R(5,\;5)</math>, про него известно только, что <math>43\leqslant R(5,\;5)\leqslant 48</math>.
<math>r,\;s</math> 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 первых чисел[18]: Шаблон:Nums. Например, неизвестно, при каком наименьшем N при любом разбиении множества <math>\{1, 2, \dots, N\}</math> на два подмножества хотя бы одно из них будет содержать арифметическую прогрессию длиной 7 (известно, что <math>3704 \leqslant N \leqslant {}^8 2</math>, где выражение для верхней границы использует тетрацию)[19].

Другие проблемы

  • Пусть <math>x</math> — положительное число такое, что <math>2^x</math> и <math>3^x</math> — целые числа. Может ли <math>x</math> не быть целым числом?
  • Существование слегка избыточных чисел.
  • Существование цикла из трёх компанейских чисел.
  • Существуют ли попарно различные натуральные числа <math>a,\;b,\;c,\;d</math> такие, что <math>a^5+b^5=c^5+d^5</math>?[20]
  • Существуют ли две различные пифагоровы тройки, имеющие одинаковое произведение?[21]
  • Гипотеза Била. Если <math>A^x+B^y=C^z,</math> где <math>A,\;B,\;C,\;x,\;y,\;z</math> — натуральные и <math>x,\;y,\;z>2</math>, то <math>A,\;B,\;C</math> имеют общий простой делитель.
  • Гипотеза Эрдёша. Если сумма обратных величин для некоторого множества натуральных чисел расходится, то в этом множестве можно найти сколь угодно длинную арифметическую прогрессию.
  • Насколько велика может быть сумма обратных величин последовательности натуральных чисел, в которой никакой элемент не равен сумме нескольких других различных элементов? (Эрдёш)[22]
  • Гипотеза Коллатца (гипотеза 3n+1).
  • Гипотеза жонглёра. Любая последовательность жонглёра достигает 1[23]. Последовательность жонглёра описывается рекурсивной формулой:
    <math>a_{k+1}=\begin{cases}
\left\lfloor a_k^{1/2}\right\rfloor, & \text{if}\ a_k\ \text{is even}; \\ \\
\left\lfloor a_k^{3/2}\right\rfloor, & \text{if}\ a_k\ \text{is odd}.

\end{cases}</math>

  • Задача Брокара. Имеет ли уравнение <math>n!+1=m^2</math> решения в натуральных числах, кроме (4, 5), (5, 11) и (7, 71)?[24]
  • Гипотеза Томашевски. Только числа 1, 6 и 120 являются одновременно треугольными и факториалами[25]. В альтернативной формулировке сводится к решению уравнения <math>8\cdot n!+1=m^2</math> в натуральных числах.
  • Конечно ли множество решений уравнения <math>2^n \equiv 3 \pmod n?</math> В настоящее время известно только 5 решений[26].[27][28]
  • Верно ли утверждение, что квадрат всякого рационального числа представим в виде суммы четвёртых степеней четырёх рациональных чисел?
  • Проблема Варинга и её обобщения:
    • Конечно ли множество натуральных чисел, которые нельзя представить в виде суммы 6 кубов неотрицательных целых чисел?[29] Аналогичный вопрос стоит для сумм 5 и 4 кубов, а также для многих чисел слагаемых со степенями выше 4.
    • С какой точностью натуральное число можно представить суммой квадратов двух целых чисел?
  • Проблема 196. Существуют ли такие натуральные числа, которые в результате повторения операции «перевернуть и сложить», никогда не превратятся в палиндром?
  • Возможно ли представление любого целого числа в виде (алгебраической) суммы четырёх кубов?[30]
    • неизвестно доказательство этого утверждения;
    • неизвестен пример числа, которое представить таким образом нельзя.
  • Три из четырёх гипотез Поллока о фигурных числах.
  • Существует ли точная четвёртая степень с суммой цифр, равной четырём?

См. также

Примечания

Шаблон:Примечания

Литература

Ссылки

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Mathematical developments arising from Hilbert problems, стр. 39
  2. ↑ Шаблон:MathWorld
  3. ↑ Шаблон:MathWorld
  4. ↑ Шаблон:MathWorld3
  5. ↑ 5,0 5,1 Матиясевич, Ю. В. Формулы для простых чисел // Квант. — 1975. — Т. 1. — № 5. — С. 8.
  6. ↑ Шаблон:Книга
  7. ↑ Шаблон:Книга
  8. ↑ Шаблон:Книга
  9. ↑ 9,0 9,1 9,2 Шаблон:Книга
  10. ↑ Шаблон:Статья
  11. ↑ Yuri Matiyasevich, Hilbert’s Tenth Problem: What was done and what is to be done
  12. ↑ Шаблон:Книга
  13. ↑ Шаблон:Книга
  14. ↑ Шаблон:MathWorld3
  15. ↑ Шаблон:Cite web
  16. ↑ J. Bourgain, A. Kontorovich. On Zaremba’s Conjecture.
  17. ↑ Шаблон:Статья (revision 15)
  18. ↑ Шаблон:OEIS long
  19. ↑ Шаблон:MathWorld
  20. ↑ Unsolved Problem 18: Are there distinct positive integers, a, b, c, and, d such that a^5+b^5=c^5+d^5? Unsolved Problem of the Week. MathPro Press.
  21. ↑ Шаблон:MathWorld
  22. ↑ Шаблон:MathWorld3
  23. ↑ Шаблон:OEIS long
  24. ↑ Шаблон:MathWorld
  25. ↑ Шаблон:OEIS long
  26. ↑ Шаблон:MathWorld
  27. ↑ 2^n mod n — OeisWiki
  28. ↑ https://web.archive.org/web/20120104074313/http://www.immortaltheory.com/NumberTheory/2nmodn.htm
  29. ↑ Шаблон:MathWorld3
  30. ↑ Шаблон:Статья
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Открытые_проблемы_в_теории_чисел&oldid=10535056