Апология математики (сборник статей) - Владимир Андреевич Успенский
Шрифт:
Интервал:
Закладка:
А потом наступили тяжёлые времена. Чжан не сумел найти работу по специальности. Но он не отчаялся. Несколько лет он работал то в лавке, торгующей сэндвичами, то бухгалтером в ресторане, то разносчиком пиццы, то служащим мотеля. Только в 1999 г. Чжану удалось устроиться на временную работу преподавателя в Университете Нью-Хэмпшира. В этом качестве он в 2013 г. сделал одно из крупнейших открытий в теории чисел. Гром пошёл по пеклу, и Чжана тут же произвели в полные профессора, осыпали премиями[38] и избрали членом Китайской академии наук.
Попробуем объяснить, что именно сделал Чжан.
Расстояние между n-м простым числом p(n) и ближайшим следующим простым числом p(n + 1), т. е. разность p(n + 1) – p(n), обозначим через r (n). Вот первые 12 членов последовательности, составленной из этих расстояний r(n):
1, 2, 2, 4, 2, 4, 2, 4, 4, 2, 6, 4.
Двойка встречается здесь пять раз; гипотеза близнецов состоит в том, что во всей бесконечной последовательности она встретится бесконечное число раз.
Насколько редко могут быть расположены простые числа? Иными словами, насколько велики могут быть числа r(n)? Оказывается, отрезки числового ряда, не содержащие ни одного простого числа, могут быть сколь угодно длинными. Вот типичная задача, часто предлагаемая в школьных кружках по математике: для произвольного числа n предъявить n подряд идущих чисел, ни одно из которых не является простым. Решение: надо взять числа (n + 1)! + 2, (n + 1)! + 3, (n + 1)! + 4, …, (n + 1)! + (n + 1). Каждое из этих n чисел составное: первое делится на 2, второе – на 3, третье – на 4 и т. д. Стало быть, расстояние между соседними простыми числами может быть сколь угодно велико.
При возрастании n среднее значение числа r(n) стремится к бесконечности. Это значит, что к бесконечности стремится дробь
Более того, в 1896 г. два знаменитых математика – француз Жак Адамар (Jacques Salomon Hadamard, 1865–1963) и бельгиец Шарль Жан Валле-Пуссен (Charles Jean Étienne Gustave Nicolas de la Vallée Poussin, 1866–1962) – независимо друг от друга доказали, что s(n) стремится к бесконечности с той же скоростью, что и логарифм n: отношение s(n)/log(n) стремится к 1[39]. Оставался открытым вопрос, не стремятся ли к бесконечности и сами члены последовательности r(n).
Нет, доказал в 2013 г. Чжан, члены последовательности r(n) к бесконечности не стремятся.
Из этого результата, полученного китайским исследователем, вытекает следствие, имеющее самое непосредственное отношение к проблеме близнецов. Коль скоро последовательность чисел r(n) не стремится к бесконечности, то существует число M, обладающее следующим свойством: количество натуральных чисел n, для которых r(n) ≤ M, бесконечно. Это бесконечное множество разбивается на конечное число подмножеств Hq = {n: r(n) = q}. Хотя бы одно из этих подмножеств бесконечно. А это значит, что существует бесконечное множество простых чисел, расстояние от которых до следующего равно в точности q. Всякое такое q естественно называть числом Чжана. Открытие китайского математика состояло в доказательстве того, что числа Чжана (разумеется, сам он их так не называл) существуют – до него это не было известно. Доказательство Чжана принадлежало к доказательствам чистого существования (см. сноску 35 о доказательстве Вигго Бруна): не было названо ни одного числа Чжана. Однако Чжан доказал, что хотя бы одно число Чжана существует в пределах первых 70 миллионов. К апрелю 2014 г. соединёнными усилиями различных математиков рубеж 70 000 000 удалось понизить до 246. Гипотеза близнецов состоит в том, что число 2 является числом Чжана.
Семнадцатого апреля 2013 г. статья Чжана под названием «Ограниченные промежутки между простыми числами» («Bounded gaps between primes»), излагающая его выдающийся результат, поступила в Annals of Mathematics – престижнейший математический журнал, издающийся совместно Принстонским университетом и Институтом перспективных исследований (Institute for Advanced Study). Надо сказать, что поначалу статья неизвестного автора была встречена редакцией скептически. Однако рецензирование подтвердило её математическую безупречность, и в начале мая 2013 г. она была принята к печати, а опубликована в майском номере журнала за 2014 г. (т. 179, вып. 3, с. 1121–1174).
Проблема Гольдбаха
Она состоит в требовании доказать гипотезу Гольдбаха, которая в современном понимании сводится к тому, что каждое число, начиная с шести, может быть представлено в виде суммы трёх простых чисел. Справедливость этого утверждения для небольших чисел может проверить каждый: 6 = 2 + 2 + 2; 7 = 2 + 2 + 3; 8 = 2 + 3 + 3 и т. д. Но произвести проверку для всех чисел, как того требует гипотеза, конечно же, невозможно. Требуется какое-то иное доказательство, нежели просто проверка. Однако, несмотря на все старания, такое доказательство до сих пор не найдено.
Гипотеза была выдвинута в 1742 г. Христианом Гольдбахом в переписке с Леонардом Эйлером. Основная деятельность этих учёных протекала в России; Гольдбах был похоронен в Москве в 1764 г., а Эйлер – в Петербурге в 1783 г. Чем славен Эйлер, едва ли не самый продуктивный и один из самых великих математиков за всю историю человечества, легко узнать, если заглянуть, как в старые времена, в энциклопедический словарь. Сведения же о том, что собой представляет Гольдбах, словари дают скупо. За информацией о нём придётся обратиться к специальной литературе или же провести разыскания в интернете. Между тем некоторые из фактов заслуживают того, чтобы здесь их изложить. Хотя математические статьи, опубликованные Гольдбахом в научных журналах, и не оставили сколько-нибудь заметного следа в математике, он являлся признанным членом математического сообщества своего времени. Был лично знаком или состоял в переписке с рядом выдающихся умов, в том числе с Лейбницем; его переписка с Эйлером продолжалась 35 лет и прекратилась лишь со смертью Гольдбаха. Ему писали охотно и содержательно. Лишь из письма к Гольдбаху знаменитого математика Даниила Бернулли от 28 мая 1728 г. мы узнаём о математических достижениях Василия Евдокимовича Ададурова (1709–1780), и только это сделало возможным появление статьи об Ададурове в биографическом разделе однотомного «Математического энциклопедического словаря». Один из историков науки (кстати, правнук Эйлера и непременный секретарь Петербургской академии наук) писал: «Его [Гольдбаха] переписка показывает, что если он не прославился ни в одной специальности, то это следует приписать большой
