[eek]

Иэн Стюарт Величайшие математические задачи / Перевод: Наталия Лисова - Альпина нон-фикшн, 2015, 468 с илл. Закономерности простых чисел и теорема Ферма, гипотеза Пуанкаре и сферическая симметрия Кеплера, загадка числа π и орбитальный хаос в небесной механике. Многие из нас лишь краем уха слышали о таинственных и непостижимых загадках современной математики. Между тем, как ни парадоксально, фундаментальная цель этой науки — раскрывать внутреннюю простоту самых сложных вопросов. Английский математик и популяризатор науки, профессор Иэн Стюарт, помогает читателю преодолеть психологический барьер. Увлекательно и доступно он рассказывает о самых трудных задачах, над которыми бились и продолжают биться величайшие умы, об истоках таких проблем, о том, почему они так важны и какое место занимают в общем контексте математики и естественных наук. Эта книга - проводник в удивительный и загадочный мир чисел, теорем и гипотез, на передний край математической науки, которая новыми методами пытается разрешить задачи, поставленные перед ней тысячелетия назад.

Двенадцать задач на будущее (фрагмент)

Не хочу оставить у вас неверное впечатление, что большинство математических задач (за исключением нескольких особенно сложных) уже решено. Математические исследования напоминают изучение новооткрытого материка. По мере того как расширяется уже исследованная область, становится длиннее и граница между известным и неизвестным. Я не утверждаю, что чем больше математических закономерностей мы открываем, тем меньше знаем. Я говорю, что чем больше математических закономерностей мы открываем, тем лучше представляем себе объемы непознанного. Но непознанное изменяется со временем: одни задачи уходят в прошлое, на горизонте появляются другие. А область известного только расширяется, если, конечно, не говорить о случайно утерянных документах.

Чтобы дать вам некоторое представление о том, чего мы не знаем в настоящий момент (помимо тех проблем, о которых мы уже говорили), я приведу 12 нерешенных задач, которые уже некоторое время ставят в тупик математиков всего мира.
Я выбрал их таким образом, чтобы несложно было понять суть вопроса. Мы уже видели, что простота формулировок ничего не говорит о том, насколько легким или сложным может быть доказательство. Некоторые из этих проблем еще могут обернуться великими: это будет зависеть в основном не от ответа на вопрос, а от того, какие методы будут придуманы и применены для их решения и к чему соответствующие исследования
в конце концов приведут.

Задача Брокара

Для любого целого числа n факториал n! равен произведению n х (n-1) х (n-2) х ... х 3 х 2 х 1.
Это число различных способов расставить по порядку n объектов. К примеру, английский алфавит, содержащий 26 букв, можно расставить
26! = 403 291461126605 635 584 000 000 разными способами. В статьях, опубликованных в 1876 и 1885 гг., Анри Брокар отметил, что
4! + 1 = 24 + 1 = 25 = 5²,
5! + 1 = 120 + 1 = 121 = 11²,
7! + 1 = 5040 + 1 = 5041 = 71²
представляют собой полные квадраты. Он не обнаружил других факториалов, которые при прибавлении единицы давали бы полный квадрат, и задался вопросом, существуют ли такие. Индийский гений-самоучка Шриниваса Рамануджан независимо задался этим же вопросом в 1913 г. В 2000 г. Брюс Берндт и Уильям Голуэй при помощи компьютера показали, что для факториалов чисел до 1 млрд других решений не существует.

Нечетные совершенные числа

Число является совершенным, если оно равно сумме всех его собственных делителей (т.е. чисел, на которые оно делится без остатка, включая единицу, но исключая само число). Примеры таких чисел:
6 = 1+2 + 3,
28 = 1 + 2 + 4 + 7 + 14.
Евклид доказал, что если число 2ⁿ - 1 простое, то число 2^n-1(2ⁿ-1) совершенно. Приведенные выше примеры соответствуют n = 2, 3. Простые числа такого вида называются простыми Мерсенна, их известно 47 штук, и самое большое из них 2^43112609- 1 (кроме того, это самое большое известное простое число). Эйлер доказал, что все четные совершенные числа должны иметь такой вид, но никому еще не удалось отыскать хотя бы одно нечетное совершенное число или доказать, что их не существует. Померанс предложил нестрогое рассуждение, которое вроде бы указывает, что таких чисел действительно нет. Любое нечетное совершенное число должно удовлетворять нескольким жестким условиям. По величине оно должно быть не меньше 10³⁰⁰, должно иметь простой делитель больше чем 10⁸, его второй по величине простой делитель должен быть по крайней мере 10⁴; кроме того, у него должно быть по крайней мере 75 простых делителей и по крайней мере 12 различных простых делителей.

Гипотеза Коллатца

Возьмем целое число. Если оно четное, разделим на 2. Если нечетное, домножим на 3 и прибавим 1. Повторим эту операцию бесконечное число раз. Что произойдет?
К примеру, можно начать с числа 12. Получим следующую последовательность:
12 —> 6 —> 3 —> 10 —> 5 —> 16 —> 8 —> 4 —>2 —> 1, после чего последовательность 4 —> 2 —> 1 —> 4 —> 2 —> 1 будет повторяться бесконечно. Гипотеза Коллатца утверждает, что конечный результат будет одним и тем же, с какого бы числа мы ни начали. Гипотеза названа в честь Лотара Коллатца, предложившего ее в 1937 г., но имеет и множество других названий: гипотеза 3n + 1, гипотеза градины, гипотеза Улама, проблема Какутани, гипотеза Туэйтса, алгоритм Хассе или сиракузская проблема.
Что делает эту задачу такой сложной, так это то, что нередко числа буквально взрываются. Так, если начать с 27, последовательность поднимется до 9232, но при этом все равно через 111 шагов сойдется к 1. Компьютерное моделирование подтверждает гипотезу для всех первоначальных чисел вплоть до 5,764 х 10¹⁸. Доказано, что не существует циклов, за исключением 4 —> 2 —> 1, в которых было бы меньше 35400 шагов. Возможность того, что некоторое начальное число дает последовательность, содержащую все более крупные числа, разделенные более мелкими, не исключена. Илья Красиков и Джеффри Лагариас доказали, что для начальных величин вплоть до n по крайней мере n^0,84 из них со временем сходится к 1. Так что исключения, если они существуют, встречаются редко.

Существование правильного кубоида

Здесь в качестве начального пункта берется существование пифагоровых троек и формула для них, а затем вся проблема переводится в третье измерение. Эйлеров параллелепипед — это кубоид (блок в форме кирпича) с целыми ребрами, все грани которого имеют целые диагонали. Самый маленький параллелепипед Эйлера открыл в 1719 г. Пауль Хальке. Его ребра составляют 240, 117 и 4; диагонали граней равны 267, 244 и 125. Эйлер нашел формулы для таких прямоугольных параллелепипедов, аналогичные формуле для пифагоровых троек, но они выдают не все возможные решения.
Неизвестно, существует ли совершенный кубоид, т.е. существует ли такой параллелепипед Эйлера, главная диагональ которого тоже имеет целую длину. (Главная диагональ — это отрезок, соединяющий противоположные вершины прямоугольного параллелепипеда и проходящий сквозь его внутреннюю часть. Таких отрезка четыре, но все они равны по длине.)
Известно, что формулы Эйлера не дают примера такого параллелепипеда. Он, если существует, должен удовлетворять нескольким условиям — к примеру, по крайней мере одно его ребро должно быть кратно 5, другое — 7, третье — 11, четвертое — 19. Компьютерные эксперименты показали, что длина одного из ребер должна быть не менее одного триллиона.
Есть достаточно близкие варианты. У прямоугольного параллелепипеда со сторонами 672, 153 и 104 главная диагональ целая, как и две из трех диагоналей граней. В 2004 г. Хорхе Сойер и Клиффорд Рейтер доказали, что существуют совершенные непрямоугольные параллелепипеды. Грани таких параллелепипедов представляют собой не прямоугольники, а параллелограммы, а сам параллелепипед как бы скошен на сторону.
Ребра совершенного непрямоугольного параллелепипеда имеют длины 271, 106 и 103; малые диагонали граней равны 101, 266 и 255; большие диагонали граней — 183, 312 и 323; внутренние диагонали (а у такого параллелепипеда они все разные) имеют длины 374, 300, 278 и 272.

Гипотеза об одиночестве бегуна

Эта задача из трудной для понимания области математики, известной как теория диофантовых приближений. Сформулировал ее в 1967 г. Йорг Вилле. А название — гипотеза одинокого бегуна — придумал в 1998 г. Луис Годдин. Положим, что n бегунов бегают по кольцевой дорожке единичной длины с постоянной скоростью, причем скорости всех бегунов различны. Можно ли утверждать, что каждый из бегунов в какой-то момент времени окажется одиноким, т. е. будет находиться на расстоянии более 1/n от остальных? Разумеется, для разных бегунов это будут разные моменты времени. Гипотеза состоит в том, что ответ всегда «да»; на данный момент она доказана для n = 4, 5,6 и 7.