Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике., стр. 3

Джон Дербишир

Хантингтон, Лонг-Айленд

Июнь 2002 г.

Часть первая

Теорема о распределении простых чисел

Глава 1. Карточный фокус

I.

Как и многие другие представления, это начинается с колоды карт.

Возьмем обычную колоду из 52 карт; положим ее на стол, подровняв со всех сторон. А теперь сдвинем самую верхнюю карту колоды, не пошевелив при этом ни одну из остальных карт. Насколько можно сдвинуть верхнюю карту, чтобы она еще не упала?

Ответ понятен: на половину длины карты, что мы и видим на рисунке 1.1. Если подвинуть ее так, чтобы на весу оказалось более половины карты, она упадет. Точка опрокидывания находится в центре тяжести карты, т.е. на середине ее длины.

Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - i_001.png

Рисунок 1.1.

Теперь сделаем кое-что еще. Пусть верхняя карта так и лежит, сдвинутая на половину своей длины — т.е. с максимальным нависанием, — а мы начнем осторожно сдвигать следующую карту. Насколько в сумме могут нависать две верхние карты?

Фокус состоит в том, что эти две карты надо рассматривать как единое целое. Где у этого целого находится центр тяжести? Ясно, что посередине общей длины — длины в полторы карты. Значит, центр тяжести расположен на расстоянии в три четверти длины карты от выступающего края верхней карты (см. рисунок 1.2). Суммарное нависание, следовательно, равно трем четвертям длины карты. Заметим, что верхняя карта по-прежнему свисает со второй на половину своей длины. Но две верхние карты мы сдвигали как единое целое.

Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - i_002.png

Рисунок 1.2.

Если теперь начать двигать третью карту и посмотреть, насколько можно увеличить нависание, окажется, что ее можно сдвинуть на одну шестую длины карты. Как и ранее, надо воспринимать три верхние карты как единое целое. Центр тяжести тогда расположен на расстоянии в одну шестую длины карты от выдвинутого края третьей карты (см. рисунок 1.3).

Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - i_003.png

Рисунок 1.3.

За край у нас выдвинута одна шестая третьей карты, одна шестая плюс одна четверть второй карты, а также одна шестая плюс одна четверть плюс одна вторая верхней карты, что в сумме дает полторы карты:

1/6 + (1/6 + 1/4) + (1/6 + 1/4 + 1/2) = 11/2.

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

Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - i_004.png

Рисунок 1.4.

Полное нависание теперь составляет одну вторую (за счет верхней карты) плюс одна четверть (за счет второй карты) плюс одна шестая (за счет третьей). Всего — одиннадцать двенадцатых длины карты. Потрясающе!

Можно ли добиться нависания, превышающего длину одной карты? Да, можно. Прямо следующая карта — четвертая сверху — при осторожном сдвигании добавит к нависанию одну восьмую длины карты. Я не буду проделывать все эти арифметические выкладки — или поверьте мне, или сделайте их сами, подобно тому как мы это только что сделали для трех первых карт. Вот чему равно полное нависание с четырьмя картами: одна вторая плюс одна четверть плюс одна шестая плюс одна восьмая — все вместе одна и одна двадцать четвертая длины карты (см. рисунок 1.5).

Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - i_005.png

Рисунок 1.5.

Если продолжать действовать в том же духе и целиком использовать всю колоду, то за счет пятидесяти одной карты накопится нависание, равное

1/2 + 1/4 + 1/6 + 1/8 + 1/10 + 1/12 + 1/14 + 1/16 + … + 1/102

(самую нижнюю карту сдвигать бессмысленно). Такая сумма на самую толику меньше, чем 2,25940659073334. Таким образом, мы добились полного нависания более чем в две с четвертью длины! (Рис. 1.6.)

Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - i_006.png

Рисунок 1.6.

Я был студентом, когда узнал про это. Дело было в летние каникулы, и я занимался подготовкой к следующему семестру, пытаясь несколько опередить программу. Свой вклад в оплату обучения я вносил, нанимаясь на время каникул рабочим на стройки — в Англии в те времена профсоюзы не сильно контролировали этот сектор. На следующий день после того, как я узнал про фокус с картами, мне предстояло в одиночку прибраться во внутренней части строящегося здания, где пачками хранились сотни больших квадратных потолочных панелей. Часа два я с забавлялся со стопкой из 52 панелей, пытаясь добиться нависания в две с четвертью панели. Проходивший мимо прораб застал меня глубоко погруженным в созерцание гигантской колышущейся башни, составленной из потолочных панелей, и он, я думаю, утвердился в своих худших подозрениях относительно целесообразности найма студентов.

II.

Есть одна вещь, которую очень любят делать математики и которая оказывается очень плодотворной, — это экстраполировать, т.е. брать конкретную задачу и распространять ее выводы на более широкую область.

В нашей конкретной задаче у нас было 52 карты. Оказалось, что полное нависание составило более чем две с четвертью карты.

Но почему 52 карты? А если бы было больше? Сотня? Миллион? Триллион? А предположим, что у нас имелся бы неограниченный запас карт — какого максимального нависания мы смогли бы тогда добиться?

Сначала взглянем на нашу постепенно растущую формулу. При 52 картах полное нависание составило

1/2 + 1/4 + 1/6 + 1/8 + 1/10 + 1/12 + 1/14 + 1/16 + … + 1/102.

Поскольку все знаменатели здесь четные, можно вынести одну вторую за скобки и переписать в виде

1/2•(1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + … + 1/51).

Если бы у нас была сотня карт, то полное нависание составляло бы

1/2•(1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + … + 1/99).

Имея в распоряжении триллион карт, мы добились бы нависания величиной в

1/2•(1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + … + 1/999999999999).