Профессор Оксфордского, Кембриджского и Эдинбургского университетов, а также лауреат почти десятка престижных премий в области математики Майкл Фрэнсис Атья представил доказательство гипотезы Римана, одной из семи «проблем тысячелетия», которая описывает, как расположены на числовой прямой простые числа.
Доказательство Атьи небольшое, вместе с введением и списком литературы оно занимает пять страниц. Ученый утверждает, что нашел решение гипотезы, анализируя проблемы, связанные с постоянной тонкой структуры, а в качестве инструмента использовал функцию Тодда.
Если научное сообщество сочтет доказательство корректным, то за него британец получит $1 млн от Института математики Клея (Clay Mathematics Institute, Кембридж, Массачусетс).
На приз претендуют также другие ученые. В 2015 году о решении гипотезы Римана заявлял профессор математики Опиеми Энох (Opeyemi Enoch) из Нигерии, а в 2016 году свое доказательство гипотезы представил российский математик Игорь Турканов. По словам представителей Института математики, для того чтобы достижение было зафиксировано, его необходимо опубликовать в авторитетном международном журнале с последующим подтверждением доказательства научным сообществом.
Введение
Свойства простых чисел изучались многими великими людьми в истории математики. С первого доказательства бесконечности простых чисел Евклида до формулы произведения Эйлера, связавшей простые числа с дзета-функцией. От формулировки теоремы о простых числах Гаусса и Лежандра до её доказательства, придуманного Адамаром и Валле-Пуссеном. Тем не менее, Бернхард Риман до сих пор считается математиком, сделавшим единственное крупнейшее открытие в теории простых чисел. В его опубликованной в 1859 году статье, состоявшей всего из восьми страниц, были сделаны новые, ранее неизвестные открытия о распределении простых чисел. Эта статья по сей день считается одной из самых важных в теории чисел.
После публикации статья Римана оставалась главным трудом в теории простых чисел и на самом деле стала основной причиной доказательства в 1896 году теоремы о распределении простых чисел. С тех пор было найдено несколько новых доказательств, в том числе элементарные доказательства Сельберга и Эрдёша. Однако до сих пор остаётся загадкой гипотеза Римана о корнях дзета-функции.
Сколько всего простых чисел?
Давайте начнём с простого. Все мы знаем, что число является или простым, или составным. Все составные числа состоят из простых и могут быть разложены на их произведения (a x b). В этом смысле простые числа являются «строительными блоками» или «фундаментальными элементами» чисел. В 300 году до нашей эры Евклид доказал, что их количество бесконечно. Его изящное доказательство имеет следующий вид:
Теорема Евклида
Предположим, что множество простых чисел не бесконечно. Создадим список всех простых чисел. Тогда P пусть будет произведением всех простых чисел списка (перемножим все простые числа из списка). Прибавим к результату 1: Q = P +1. Как и все числа, это натуральное число Q должно быть или простым, или составным:
- Если Q простое, то мы нашли простое число, которого нет в нашем «списке всех простых чисел».
- Если Q не простое, то оно составное, т.е. составлено из простых чисел, одно из которых, p, будет делителем Q (потому что все составные числа являются произведениями простых). Каждое простое p, из которого составлено P, очевидно является делителем P. Если p является делителем и для P, и для Q, то оно должно быть и делителем для их разности, то есть единицы. Ни одно простое число не является делителем 1, поэтому число p не может находиться в списке — ещё одно противоречие тому, что список содержит все простые числа. Всегда будет существовать ещё одно простое p, не находящееся в списке и являющееся делителем Q. Следовательно, простых чисел бесконечно много.
Фундаментальные ресурсы
Как же это всё связано с понятием, о котором вы могли слышать — с «гипотезой Римана»?
Ну если говорить просто, то чтобы больше понять о простых числах, математики в 19-м веке перестали пытаться спрогнозировать местонахождение простых чисел с абсолютной точностью, и вместо этого начали рассматривать феномен простых чисел в целом. Мастером этого аналитического подхода стал Риман, и в рамках такого подхода была создана его знаменитая гипотеза. Однако прежде чем я начну её объяснять, необходимо познакомиться с некоторыми фундаментальными ресурсами.
Гармонические ряды
Гармонические ряды — это бесконечные ряды чисел, которые впервые исследовал в 14-м веке Николай Орем. Его имя связано с концепцией музыкальных гармоник — обертонов, которые выше частоты основного тона. Ряды имеют следующий вид:
Орем доказал, что эта сумма является несходящейся (то есть не имеющей конечного предела; она не приближается и не стремится к какому-то определённому числу, а устремлена в бесконечность).
Дзета-функции
Гармонические ряды являются особым случаем более общего типа функций под названием дзета-функция ζ(s). Вещественная дзета-функция задаётся для двух вещественных чисел r и n:
Если подставить n = 1, то мы получим гармонический ряд, который расходится. Однако при всех значениях n > 1 ряд сходится, то есть сумма при увеличении r стремится к некому числу, а не уходит в бесконечность.
Формула произведения Эйлера
Первая связь между дзета-функциями и простыми числами была установлена Эйлером, когда он показал, что для двух натуральных (целочисленных и больше нуля) чисел n и p, где p является простым, справедливо следующее:
Это выражение впервые появилось в статье 1737 года под названием Variae observationes circa series infinitas. Из выражения следует, что сумма дзета-функции равна произведению величин, обратной единице, минус величина, обратная простым числам в степени s. Эта потрясающая связь заложила фундамент современной теории простых чисел, в которой с тех пор дзета-функция ζ(s) начала использоваться как способ изучения простых чисел.
