На протяжении веков лучшие умы человечества решали одну математическую задачу за другой, однако есть несколько, не поддавшихся до сих пор никому. За нахождение алгоритма их решения некоторые фонды и компании готовы заплатить большие деньги. Представляем вашему вниманию подборку из 10 нерешенных математических задач, которые до сих пор остаются неподвластными даже лучшим умам.
Гипотеза Коллатца
Гипотеза Коллатца является одной из самых сложных нерешенных математических задач
Другие названия: гипотеза 3n+1, сиракузская проблема, числа-градины. Если взять любое натуральное число n и совершить с ним следующие преобразования, рано или поздно всегда получится единица. Четное n нужно разделить надвое, а нечетное — умножить на 3 и прибавить единицу. Для числа 3 последовательность будет такой: 3×3+1=10, 10:2=5, 5×3+1=16, 16:2=8, 8:2=4, 4:2=2, 2:2=1. Очевидно, что если продолжить преобразование с единицы, то начнется цикл 1,4,2. Достаточно быстро количество шагов в вычислениях начинает превышать сто и на решение каждой новой последовательности требуется все больше ресурсов.
Небольшой прогресс в решении этой задачи почти вековой давности наметился буквально в прошлом месяце. Однако знаменитый американской математик Терренс Тао лишь ближе всех подошел к нему, но ответа все равно пока не нашел. Гипотеза Коллатца является фундаментом такой математической дисциплины, как «Динамические системы», которая, в свою очередь, важна для множества других прикладных наук, например, химии и биологии. Сиракузская проблема выглядит, как простой безобидный вопрос, но именно это делает ее особенной. Несмотря на все попытки, эта проблема до сих пор остается самой известной нерешенной математической задачей.
Проблема Гольдбаха (бинарная)
Этот рисунок иллюстрирует нерешенную математическую проблему Гольдбаха, над которой ученые до сих пор ломают головы
Еще одна задачка, формулировка которой выглядит проще пареной репы — любое четное число (больше 2) можно представить в виде суммы двух простых. И это краеугольный камень современной математики. Данное утверждение легко проверяется в уме для небольших значений: 18=13+5, 42=23+19. Причем рассматривая последнее, можно достаточно быстро понять всю глубину проблемы, ведь 42 представляется и как 37+5 и 11+31, а еще как 13+29 и 19+23. Для чисел больше тысячи количество пар слагаемых становится просто огромным. Это очень важно в криптографии, но даже самые мощные суперкомпьютеры не могут перебирать все значения до бесконечности, поэтому нужно какое-то четкое доказательство для всех натуральных чисел.
Проблема была сформулирована Кристианом Гольдбахом в его переписке с другим величайшим светилом математики Леонардом Эйлером в 1742 году. Сам Кристиан ставил вопрос несколько проще: «каждое нечетное число, больше 5, можно представить в виде суммы трех простых чисел». В 2013 году перуанский математик Харальд Хельфготт нашел окончательное решение этого варианта. Однако предложенное Эйлером следствие этого утверждения, которое и назвали «бинарной проблемой Гольдбаха», до сих пор не поддается никому. Это одна из самых древних нерешенных математических задач человечества.
Гипотеза о числах-близнецах
Доказать гипотезу о числах близнецах математики пока не смогли, поэтому ее относят к нерешенным математическим задачам
Близнецами называются такие простые числа, которые отличаются всего на 2. Например, 11 и 13, а также 5 и 3 или 599 и 601. Если бесконечность ряда простых чисел была доказана множество раз начиная с античности, то бесконечность чисел-близнецов находится под вопросом. Начиная с 2, среди простых чисел нет четных, а начиная с 3 — делящихся на три. Соответственно, если вычесть из ряда все, подходящие под "правила деления", то количество возможных близнецов становится все меньше. Единственный модуль для формулы нахождения таких чисел — 6, а формула выглядит следующим образом: 6n±1.
Как и всегда в математике, если проблема не решается «в лоб», к ней подходят с другого конца. Например, в 2013 году было доказано, что количество простых чисел, отличающихся на 70 миллионов, бесконечно. Тогда же, с разницей менее чем в месяц, значение разницы было улучшено до 59 470 640, а затем и вовсе на порядок — до 4 982 086. На данный момент существуют теоретические обоснования бесконечности пар простых чисел с разницей в 12 и 6, однако доказанной является лишь разность в 246. Как и прочие проблемы такого рода, гипотеза о числах-близнецах особенно важна для криптографии. Однако, до сих пор она остается нерешенной математической проблемой, над которой бьются лучшие умы.
Гипотеза Римана
Гипотеза Римана — самая известная и неприступная нерешенная математическая задача. За ее решение положена большая награда
Если кратко, то Бернхард Риман предположил, что распределение простых чисел по множеству всех натуральных чисел не подчиняется каким-либо законам. Но их количество на заданном участке числового ряда коррелирует с распределением определенных значений на графике дзета-функции. Она расположена выше и для каждого s дает бесконечное количество слагаемых. Например, когда в качестве s подставляется 2, то в результате получается уже решенная “базельская задача” — ряд обратных квадратов (1 + 1/4 + 1/9 + 1/16 + …).
Одна из «проблем тысячелетия», за решение которой назначен приз в миллион долларов, а также вхождение в пантеон «богов» современной математики. На деле, доказательство этой гипотезы настолько сильно толкнет вперед теорию чисел, что это событие по праву будет называться историческим. Многие вычисления и утверждения в математике строятся на предположении о том, что «гипотеза Римана» верна, и до сих пор никого не подводили. Немецкий математик сформулировал знаменитую задачу 160 лет назад, и с тех пор к ее решению подступались неисчислимое количество раз, однако до сих пор она остается, пожалуй, самой неприступной нерешенной задачей современной математики.
Гипотеза Берча и Суиннертон-Дайера
Еще одна “задача тысячелетия”, за решение которой Институт Клэя одарит миллионом долларов. Не-математику достаточно трудно хотя бы в общих чертах сформулировать и понять, в чем же суть гипотезы. Берч и Свиннертон-Дайер предположили определенные свойства эллиптических кривых. Идея заключалась в том, что ранг кривой можно определить зная порядок нуля дзета-функции. Как говорится, ничего не понятно, но очень интересно.
Эллиптическими кривыми называются такие линии на графике, которые описываются, на первый взгляд, безоби"