Формулировку с кругами мы можем естественным образом распространить на три измерения, если используем шары вместо кругов. Опять же, эти шары либо вообще не перекрываются, либо касаются друг друга в общей точке. Предположим, вы хотите раскрасить шары так, чтобы те, которые касаются друг друга, были окрашены в разные цвета. Сколько красок вам понадобится? Багчи и Дата объяснили, почему это число не может быть меньше 5 и больше 13. Его точное значение до сих пор остается математической загадкой. Но вы, возможно, сумеете доказать, что нужно по крайней мере пять красок. Из их результата следует, что некоторые трехмерные карты не эквивалентны картам, построенным на базе шаров.

Ответ см. в главе «Загадки разгаданные».

Комическое исчисление

Чтобы понять эту историю, вы должны быть немного знакомы с интегральным исчислением. Если ∫ – знак интеграла, то экспоненциальная функция e^x – сама себе интеграл:

Эта формула кажется какой-то чепухой; даже первая строка должна была бы выглядеть как e^x = ∫ e^xdx, а 1 + y + y² + y³ + y⁴ +… = (1 – y)–1.

На следующем шаге в формуле для суммы бесконечной геометрической прогрессии переменная y заменяется на знак интеграла. Эта формула справедлива, если y – число, меньшее 1. Но ∫ – это даже не число, просто символ. Какой абсурд!

Несмотря на это, конечный результат – корректный степенной ряд для ex.

Это не совпадение. При правильных определениях (к примеру, ∫ – это оператор, превращающий функцию в ее интеграл, а формула для «суммы геометрической прогрессии» работает для операторов при подходящих технических условиях) все может выглядеть совершенно логичным. Но смотрится все равно странно.

Задача Эрдёша о расходимости

Пал Эрдёш был весьма эксцентричным, блестящим венгерским математиком. Он никогда не имел дома, он никогда не занимал никакого ученого поста, предпочитая путешествовать по миру с небольшим чемоданом и ночевать в домах понимающих коллег. Он опубликовал 1525 математических статей и сотрудничал с 511 математиками – число, к которому никто другой в мире не смог даже приблизиться. Он предпочитал изобретательность глубоким систематическим занятиям теорией и с особенным удовольствием разгадывал загадки, которые выглядели очень просто, но на самом деле оказывались совсем не простыми. Его основные достижения относятся к области комбинаторики, но он мог бы приложить свою руку и ко многим другим областям математики. Он нашел новое доказательство постулата Бертрана (между n и 2n всегда найдется хотя бы одно простое число), гораздо более простое, чем оригинальное аналитическое доказательство Пафнутия Чебышёва. Вершиной карьеры Эрдёша стало доказательство теоремы о числе простых (число простых чисел, меньших x, приблизительно равно x/lnx), которая не поддавалась комплексному анализу, считавшемуся до того момента единственным способом доказательства.

Эрдёш любил предлагать денежные призы за решение задач, которые придумал, но не смог сам решить. Он мог предложить $25 за решение чего-то, что, как он подозревал, решается относительно просто, и несколько тысяч долларов за что-то, что он считал по-настоящему сложным. Типичный пример его математики – задача Эрдёша о расходимости, оцененная им в $500. Она была поставлена в 1932 г. и решена в начале 2014 г. Замечательный пример того, как сегодняшняя математика подходит к разрешению давних загадок.

Задача начинается с бесконечной последовательности чисел, равных или +1, или –1. Это может быть регулярная последовательность, к примеру

+1–1 +1–1 +1–1 +1–1 +1–1…,

или нерегулярная («случайная)

+1–1 –1–1 +1–1 +1 +1–1 +1…,

которую я получил путем бросания монетки.