Удивляющая простота. О достижениях Джеймса Мейнарда

Максим Королёв,
доктор физико-математических наук, профессор РАН
«Троицкий вариант» №14(358), 26 июля 2022 года

Оригинал статьи на сайте «Троицкого варианта»

Британский математик Джеймс Мейнард (James Maynard) — один из четырех лауреатов Филдсовской премии 2022 года. Этой престижной наградой отмечен его выдающийся вклад в науку, который привел к существенному прогрессу в теории распределения простых чисел, а также в теории диофантовых приближений. В этом очерке мы кратко расскажем о наиболее ярких достижениях Мейнарда.

Что мы помним о простых числах со школьной скамьи? Конечно, определение: простым называется целое число, большее единицы, которое имеет ровно два делителя: единицу и само себя. Далее, согласно основной теореме арифметики, любое натуральное число, начиная с двойки, единственным способом раскладывается в произведение простых сомножителей. Наконец, знаменитая теорема Евклида — один из триумфов античной математики — утверждает, что множество простых чисел бесконечно.

Простые числа — своего рода «кирпичики», из которых построено здание математики. Заметим, что «простой» в данном случае — это результат неудачного перевода греческого слова «протон» («первичный»). Именно так называются элементарные частицы — строительный материал Мироздания.

Непредсказуемая простота

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

Пусть X — достаточно большое число. Обозначим через π(X) (читается «пи от икс») количество простых чисел, попавших на отрезок числовой оси между точками 1 и X. Как ведет себя с ростом X величина π(X)? Ответ на этот вопрос был найден на излете XIX столетия и потребовал весьма непростых средств, относящихся к такой, казалось бы, далекой от теории чисел области, как теория функций комплексного переменного. Выяснилось, что в первом приближении π(X) растет со скоростью X/(ln X), где ln X — натуральный логарифм X.

Это означает, например, что простые числа встречаются среди натуральных чисел гораздо реже, чем члены любой арифметической прогрессии, но в то же время чаще, чем, скажем, точные квадраты 1, 4, 9, 16, 25, 36,… Однако, в отличие от точных квадратов, последовательность простых чисел «трудно предсказуема»: задавшись номером n, мы не можем, вообще говоря, точно указать, где будет находиться n-е простое число. Занумеровав простые числа по возрастанию (p1 = 2, p2 = 3, p3 = 5, p4 = 7, p5 = 11, p6 = 13, p7 = 17, p8 = 19 и т. п.), мы не можем предъявить точной формулы, которая выдавала бы по номеру n значение n-го простого числа pn. Более того, даже если pn окажется в нашем распоряжении, то мы не можем точно предсказать, когда среди подряд идущих за ним натуральных чисел появится следующее простое число, то есть pn+1. Иначе говоря, разность pn+1–pn между двумя соседними простыми числами ведет себя «случайным» образом. Поведение функции π(X) говорит о том, что «в среднем» такая разность близка к ln pn — логарифму n-го простого числа. Но это — в среднем. А насколько она может быть мала или велика по сравнению со своим средним значением? Эти два вопроса имеют прямое отношение к научному творчеству Мейнарда.

Простые близнецы и другие «сродники»: ближние…

Люди давно обратили внимание на «простых близнецов» — пары вида p, p + 2, в которых каждое из чисел p и p + 2 — простое. Вот несколько таких пар: 3 и 5, 5 и 7, 11 и 13, 17 и 19, 29 и 31. Знаменитая гипотеза о простых близнецах утверждает, что множество таких пар бесконечно. Она не доказана и по сей день, но если она верна, то для бесконечного множества номеров n мы имели бы равенство pn+1 = pn+2 и, следовательно, pn+1 — pn = 2.

Когда задача не поддается решению, разумно «пошевелить» ее условие, ослабить или слегка изменить формулировку. Пусть, например, C — очень большая постоянная. Верно ли, что множество пар соседних простых чисел, расстояние между которыми не превышает C, бесконечно?

Теперь мы знаем, что это действительно так. Но путь к этой замечательной теореме оказался отнюдь не прост и потребовал совместных усилий многих математиков. Так, долгое время получалось доказывать лишь гораздо более слабые неравенства вида pn+1–pn ⩽ A ln pn со всё меньшим и меньшим значением постоянной A (A < 1). К концу 1980-х годов значение этой константы A удалось «дожать» примерно до 1/4. Это означало существование бесконечного множества пар соседних простых, расстояние между которыми в четыре раза меньше среднего.

В начале 2000-х годов три математика — Дэниэль Голдстон, Янош Пинтц и Джем Йилдирим (Dan Goldston, János Pintz, and Cem Yıldırım) — совместными усилиями совершили настоящий прорыв и доказали, что такое неравенство остается справедливым для бесконечного множества номеров n, даже если постоянную A брать сколь угодно малой. Иными словами, можно положить A = 10–100, и этот факт всё равно останется верным. Правда, граница, за которой встречаются такие пары простых чисел, будет неимоверно велика, но для теории чисел это не принципиально.

Спустя несколько лет тем же авторам удалось получить еще более фантастический результат, заменив правую часть неравенства величиной порядка, близкого к  \(\sqrt{\ln{p_n}}\). Хотя она исчезающе мала по сравнению с ln pn, от нее до константы C в ослабленной проблеме близнецов «дистанция огромного размера», а возможности метода, как казалось, уже исчерпаны. Дальнейшее продвижение требовало использования утверждений о распределении простых чисел в арифметических прогрессиях с очень большой разностью, которые и теперь числятся среди недоказанных гипотез.

Но вот в апреле 2013 года научный мир облетела сенсационная новость: американский математик китайского происхождения Итан «Том» Чжан (Yitang «Tom» Zhang) придумал способ, которым можно обойти указанную трудность, и доказал существование бесконечного множества простых чисел, разность между которым не превосходит постоянной C, равной 70 миллионам. Метод Чжана был весьма сложен. Многочисленные последователи внесли в него ряд усовершенствований и смогли снизить значение C до вполне разумного: C = 4680. Победа? Безусловно!

Однако ни метод трех авторов, ни метод Чжана (даже с учетом всех возможных улучшений) не могли дать ответа на такой вопрос: верно ли, что разность между простыми числами, взятыми «через одно», тоже ограничена некоторой (другой) константой для бесконечного множества случаев? Иными словами, верно ли, что pn+2 — pn ⩽ С для бесконечного множества простых чисел pn? Интуитивно ясно, что такая задача много сложнее предыдущей, решенной Чжаном: здесь требуется, чтобы не два, а три простых числа оказались рядом. Можно поставить еще более общий вопрос: пусть m ≥ 2 — фиксированное целое число. Верно ли, что при некотором значении C = C(m) разность pn+m–pn будет ограничена сверху величиной C(m) для бесконечного множества номеров n?

Спустя месяц после появления работы Чжана Мейнард и независимо от него Теренс Чи-Шен Тао (Terence «Terry» Chi-Shen Tao) нашли доказательство этого удивительного факта. Для этого потребовалось внести существенные изменения в один из так называемых методов решета (к слову сказать, эти методы выросли некогда, как из семечка, из того самого решета Эратосфена, которое многим памятно со школьной скамьи). Более того, метод Мейнарда оказался гораздо более простым и гибким, чем метод Чжана. Поэтому неудивительно, что значение постоянной C для случая m = 1 удалось снизить до 246.

…и дальние

А как обстоит дело с прямо противоположной задачей — вопросом о больших расстояниях между соседними простыми числами, или, что то же самое, о промежутках большой длины, в которых все числа — составные? Легко построить, например, промежуток, состоящий из ста подряд идущих составных чисел. Для этого нужно взять число 101! = 1 × 2 × 3 × … × 99 × 100 × 101 — факториал от 101, то есть произведение всех натуральных чисел от 1 до 101. Тогда несложно проверить, что все числа 101! + 2, 101! + 3,…, 101! +100, 101! + 101 — составные. Ясно, что число 100 можно заменить любой постоянной. Но можно ли заменить его какой-нибудь функцией, растущей вместе с pn?

Еще лет сто назад было доказано, что разность pn+1–pn может превышать свое среднее значение в B > 1 раз, где значение постоянной B время от времени удавалось увеличить. В 1931 году был получен принципиально новый результат: оказалось, эта разность может достигать в бесконечном множестве случаев величины f(pn) ln pn, где f(x) — некоторая монотонная функция, которая с ростом x стремится (хотя и крайне медленно) к бесконечности. Эту теорему неоднократно уточняли, заменяя f чуть быстрее растущей функцией, но принципиальных сдвигов в этой задаче не наблюдалось аж с 1938 года. Неудивительно, что великий математик Пал Эрдёш (Erdős Pál) назначил премию в 10 тыс. долл. тому, кто добьется в ее решении существенного прогресса.

В августе 2014 года Мейнард и независимо от него группа из четырех математиков — Теренса Тао, Кевина Форда, Бена Грина и нашего выдающегося соотечественника академика Сергея Владимировича Конягина — совершили долгожданный прорыв. {0.954\ldots}\).

Заметим, что 0,954 … < 1. Иными словами, числа, в десятичной записи которых нет семерки, являют собой пример «редкой» последовательности. Число ее членов, не превосходящих X, существенно меньше количества π(X) простых чисел на том же промежутке. Можно поставить такой вопрос: а есть ли в ней простые числа? Задача является необычайно трудной: простые числа трудно «уловить» даже в своей естественной «среде обитания» — ряде натуральных чисел.

Тем не менее, исследование арифметических свойств таких последовательностей началось еще в 1950-е годы в работах А. О. Гельфонда и других авторов. Одна из значимых вех на этом пути — статьи Сесиль Дартиж и Кристиана Модюи (Cécile Dartyge, Christian Mauduit) 2000–2001 годов. Сочетая уже упоминавшиеся методы решета с другим мощным инструментом теории чисел — круговым методом, — они доказали, что такая последовательность (числа без семерки в записи) содержит бесконечно много так называемых почти простых чисел, то есть чисел, имеющих не более двух простых делителей.

Дополнив методы Дартиж и Модюи принципиально новыми соображениями (геометрия чисел, аналогии с марковскими процессами и пр.), Мейнард доказал, что слово «почти» в вышеприведенной формулировке можно опустить. Разумеется, цифра 7 в теореме Мейнарда может быть заменена любой другой из оставшихся девяти цифр.

Подобные вопросы можно ставить и для системы счисления по любому основанию g ≥ 2: чем меньше g, тем сложнее задача. Скажем, в случае g = 2 в нашем распоряжении имеется всего две цифры: 0 и 1. Запретив ноль в двоичной записи, получим последовательность чисел Мерсенна, т. е. чисел вида 1 + 2 + 22 + 23 + … + 2n–1 = 2n–1. Вопрос о том, конечно или нет множество простых Мерсенна, остается открытым более четырех столетий и, по всей видимости, пребудет в этом статусе еще очень долго.

* * *

Теоремами о малых и больших расстояниях между соседними простыми числами, о простых в редкой последовательности не исчерпывается вклад Мейнарда в теорию чисел: многое осталось «за кулисами» нашего рассказа, например, доказательство (совместно с Димитрисом Кукулопулосом) знаменитой гипотезы Даффина — Шеффера из иной области — диофантова анализа. Мы рассказали лишь о самых ярких достижениях. Важно отметить, что ценность созданных Мейнардом методов не только в решении перечисленных частных (хотя очень трудных и красивых!) задач. Они открыли широкое поле деятельности для большого числа математиков всего мира, совокупные усилия которых на наших глазах преображают теорию чисел, и потенциал этих методов далеко не исчерпан.

В коллаже использовано фото Джеймса Мейнарда с сайта Оксфордского университета.

5-я олимпиада им. Шалтая Смагулова, 7 класс, 1 тур

  1. Все олимпиады
  2. Математика
  3. Городские олимпиады
  4. Олимпиада им. Смагулова (6-7 классы)
  5. 5-я олимпиада им. Шалтая Смагулова (2021-2022 у.г.)
  6. 7 класс, 1 тур

Задача №1.  Через $a_n$ обозначим $n$-ое простое число. Например, $a_1=2$, $a_2=3$, $a_3=5$. Найдите наибольшее такое число $n$, что $3n$ не меньше числа $a_n$. \circ$. Найдите градусную меру разности $|\angle KQN-\angle QNM|$.
комментарий/решение

Задача №5.  Для некоторой операции $*$ выполнены равенства $3*3 = 3 + 4 + 5$, $5*6 = 5 + 6 + 7 + 8 + 9 + 10$. Вычислите значение выражения $(99*5)-(101*4)$.
комментарий/решение(1)

Задача №6.  На рисунке ниже найдите градусную меру угла $\angle EDF.$

комментарий/решение

Задача №7.  Найдите сумму всех трёхзначных чисел, которые при делении на 51 дают остаток 10.
комментарий/решение(1)

Задача №8.  Пешеход вышел из пункта $N$ в пункт $M$. Через 40 минут из $N$ в $M$ выехал велосипедист. Когда велосипедист прибыл в $M$, пешеходу оставалось $20\%$ всего пути. Сколько времени потратил пешеход на весь путь, если известно, что велосипедист догнал пешехода на середине пути из $N$? Скорости пешехода и велосипедиста постоянны.

Укажите ответ в минутах.
комментарий/решение

Задача №9.  Натуральное число $n$ не делится на 80. Но когда это число разделили на 80 с остатком, оказалось, что частное и остаток равны одному и тому же числу $q$, являющимся степенью тройки. Найдите наибольшее возможное значение $n$.
комментарий/решение

Задача №10.  Цена товара $X$ на $20\%$ ниже, по сравнению с товаром $Y$. Цена товара $Y$ подорожал вначале на $20\%$, а потом ещё на $20\%$. На сколько процентов требуется поднять цену товара $X$, чтобы его новая цена равнялась новой цене товара $Y$?

комментарий/решение

Задача №11.  Юре и Юле сейчас вместе 39 лет, причём Юле в 3 раза меньше лет, чем будет Юре тогда, когда им вместе будет в 5 раз больше, чем Юре сейчас. Сколько лет сейчас Юре?
комментарий/решение

Задача №12. 2+6x+2202$.
комментарий/решение

Задача №13.

  Периметр прямоугольного треугольника $ABC$ равен 60. Сторона $AB$ на 2 больше стороны $BC$, а сторона $AC$ в 2,4 раза меньше стороны $BC$. Найдите площадь треугольника $ABC$.
комментарий/решение

Задача №14.  На доске было написано пять целых чисел. Сложив их попарно, получили следующие десять чисел: $-2$, 1, 1, 3, 3, 6, 9, 11, 14, 14. Найдите произведение этих пять чисел.
комментарий/решение

Задача №15.  Рассмотрим все такие натуральные числа $n$, что найдется $n$ подряд идущих натуральных чисел, сумма которых равна 2022. Найдите произведение всех таких натуральных $n$.

комментарий/решение

Задача №16.  Какое наибольшее количество целых чисел можно написать на доске так, чтобы и сумма и разность любых двух из них не делилась на 125. {n}} \cdot k$. Здесь $k$ и $n$ — натуральные числа.
комментарий/решение

Задача №19.  Пусть $\frac{1}{A}=1-\frac{2}{1 \cdot \left( 1+2 \right)}-\frac{3}{\left( 1+2 \right) \cdot \left( 1+2+3 \right)}-\ldots -\frac{200}{\left( 1+2+\ldots +199 \right) \cdot \left( 1+2+\ldots +200 \right)}.$ Найдите число $A$.

комментарий/решение(1)

Задача №20.  Найдите число натуральных решений $(x, y, z)$ уравнения $x+y+z=65$.
комментарий/решение

Сумма

— сумма более чем двух последовательных натуральных чисел не может быть простой.

Задавать вопрос

спросил

Изменено 6 лет, 8 месяцев назад

Просмотрено 2к раз

$\begingroup$

Сумма более чем двух последовательных натуральных чисел не может быть простой.

Верно ли утверждение и есть ли способ его доказать?

Мне удалось доказать, что сумма нечетного количества последовательных чисел не может быть простой:

Итак, поскольку сумма последовательных целых чисел равна $x+(x+1)+(x+2)+(x+3 )$ и т.д… мы также можем написать это как $$nx + n(n-1)/2 = n(x + (n-1)/2)$$ где $n$ — количество чисел, а $x$ — первое число в строке. Таким образом, с нечетным числом $n\neq 1$ мы получим произведение, которое никогда не будет простым числом.

Есть ли способ доказать это для всех $n \ge 2$? Спасибо за помощь.

  • теория элементарных чисел
  • суммирование
  • простые числа

$\endgroup$

2

$\begingroup$

Для суммы трех или более последовательных положительных целых чисел

$S = x + (x+1) + (x + 2) + …. . + (x + n -1)$ $x > 0; n > 2$

$S = (x + n-1) + (x+n — 1) + (x + n — 2) + ….. + (x + 1)+x$

Сложите их вместе.

$2S = (2x + n-1) + (2x + n-1) + …. (2x + n-1) = n(2x + n-1)$

Первый случай: $n$ даже. Тогда $S=\frac n2(2x + n -1)$ не является простым, поскольку $n/2 > 1$ и $2x + n — 1 > 2$

Случай 2: $n$ нечетно. Тогда $2x + n — 1$ четно и $S = n\frac{2x + n — 1}2$, которое не является простым, поскольку $n > 1$ и $(2x + n — 1)/2 > 1$ .

Вы преодолели 90% пути. Вам просто нужно было ударить его веслом еще несколько раз.

$\endgroup$

$\begingroup$

Пусть наша сумма будет $$p=nx+n (n+1)/2\qquad n>2$$ Если $n $ нечетно, то $(n+1)/2$ — целое число, и мы можем написать $p=nk $, $k\in\mathbb {N} $, сделав $p $ составным. Если $n $ четно, то $n/2=k’$ и мы можем записать $p $ как $$p=k'(2x+[n+1])=k’d$$ $d\in\mathbb {N} $ снова делает $p $ составным.

Обратите внимание, что у нас должно быть $n>2$, потому что в противном случае некоторые из наших множителей не будут учитываться как множители при составлении составного числа.

$\endgroup$

$\begingroup$

Сумма, как вы сказали, $nx + n(n-1)/2$. Если $n$ нечетно, то, как вы сказали, оно кратно $n$.

Но если $n$ четно, то оно кратно $n/2$.

$\endgroup$

Сумма двух последовательных целых чисел равна 101. Что это за числа?

Математическая алгебра 1 Алгебра

Колышек С.

спросил 07.09.20

Сумма двух последовательных целых чисел равна 101. Что это за числа?

Подписаться І 1

Подробнее

Отчет

2 ответа от опытных наставников

Лучший Новейшие Самый старый

Автор: Лучшие новыеСамые старые

Марк М. ответил 07.09.20

Репетитор

4.9(921)

Пенсионер Матем. проф. Опытный репетитор Регентов по математике.

Об этом репетиторе ›

Об этом репетиторе ›

Пусть целые числа будут. x и x+1

Тогда x + (x+1) = 101

2x = 100

x = 50

Целые числа равны 50 и 51.

Голосовать за 1 Понизить

Подробнее

Отчет

Хорхе Х. ответил 07.09.20

Репетитор

5 (28)

Опытный преподаватель: 3-й курс бакалавриата Калифорнийского университета в Ирвине

См. таких преподавателей

Смотрите таких репетиторов

Для такого рода вопросов мы хотим начать с вопроса о том, как два последовательных числа выглядят алгебраически. Некоторые примеры последовательных чисел: 1 и 2, 6 и 7, 100 и 101 и так далее. Заметив закономерность, это просто число и то же число плюс 1. Мы можем записать это как:

n и (n+1)

Нас попросили найти, чем были бы эти два числа, если бы их сумма равнялась 101. Таким образом, мы можем составить уравнение для этого:

n + (n+1) = 101

Упрощая это уравнение, объединяя одинаковые члены, получаем:

2n+1=101, вычитаем по 1 с обеих сторон:

2n=100, делим на 2 с обеих сторон:

n=50

Тогда наши два последовательные числа, которые в сумме дают 101, — это 50 и 50+1 или 50 и 51. Вы можете сложить их вместе и убедиться, что они действительно дают в сумме 101.

Отличный вопрос, Пег!

Голосовать за 0 Понизить

Подробнее

Отчет

Все еще ищете помощь? Получите правильный ответ, быстро.

Задайте вопрос бесплатно

Получите бесплатный ответ на быстрый вопрос.