Абсолютная величина суммы слева – это «разброс» подпоследовательности, определяемой величиной шага d; это мера избытка знаков «+» по сравнению со знаками «–» (или наоборот).
В начале февраля 2014 г. Алексей Лисица и Борис Конев объявили, что ответ на вопрос Эрдёша – «да», если C = 2. В самом деле, если выбрать подпоследовательность с шагом d из первых 1161 члена произвольной ±1-последовательности и взять подходящую длину k, то абсолютная величина суммы превысит C = 2. Их доказательство получено с активным использованием компьютера, а файл данных занимает 13 Гб. Это больше, чем все содержание Википедии, объем которой около 10 Гб. Несомненно, это одно из самых длинных доказательств в истории математики, слишком длинное, чтобы человеческий разум мог самостоятельно его проверить.
В настоящее время Лисица занимается поиском доказательства для C = 3, но компьютер еще не завершил своих расчетов. Мысль о том, что полное решение требует понимания того, что происходит при любом выборе C, отрезвляет. Надежда только на то, что компьютерные решения для маленьких C натолкнут ученых на какую-нибудь новую идею, которую математик сможет обратить в общее доказательство. С другой стороны, может оказаться, что ответ на вопрос Эрдёша – «нет». Если это так, то где-то существует по-настоящему интересная последовательность из +1 и –1, которая ждет своего определения.
Грек-интегратор
Из мемуаров доктора Ватсапа
Хотя дедуктивные способности моего друга направлены в основном на искоренение преступности, время от времени они находят приложение и на службе науки. Одним таким примером был уникальный поиск, который мы провели осенью 1881 г. по просьбе богатого, но нелюдимого коллекционера древних рукописей. При помощи странички, вырванной из старой записной книжки, фонаря, связки отмычек и большого лома мы с Сомсом отыскали громадный камень и сдвинули его рычагом, открыв тем самым спиральную лестницу, ведущую вниз, в тайную комнату, расположенную глубоко под библиотекой знаменитого европейского университета.
Сомс сверился с потрепанным клочком бумаги, сильно поврежденным огнем и водой.
– Потерянная книга картонариев, – объяснил он.
– Опять! – он, помнится, упоминал мельком это название в ходе расследования, связанного с приключениями картонных коробок, но не сказал тогда ничего конкретного. Теперь же я настоял на подробностях.
– Это название означает «производители картона». Это итальянское тайное общество, организованное по типу франкмасонов и преданное делу национализма; его участники были замешаны в неудавшейся революции 1820 г.
– Я помню саму революцию очень ясно, Сомс. А вот организацию эту не помню.
– Мало кто вообще знает о ее тайной деятельности, – он вновь сверился с клочком бумаги. – Эта страница почти не читается, но не нужно быть особым знатоком высшей математики, чтобы распознать на ней какую-то разновидность шифра Фибоначчи, переписанного зеркальным письмом да Винчи и превращенного в последовательность рациональных точек на эллиптической кривой.
– Это поймет даже ребенок, – солгал я, цедя слова сквозь зубы.
– Вот именно. Теперь, если я правильно читаю эти руны, мы найдем то, что ищем, где-то на этих полках.
Мгновение спустя я спросил:
– Сомс, но что же мы ищем? Вы на этот раз совсем не хотите раскрывать карты, это для вас необычно.
– В этом знании скрываются великие опасности, Ватсап. Я не видел нужды подставлять вас раньше времени. Но теперь, когда мы проникли в святая святых… А! Вот он! – и он вытащил откуда-то свиток, в котором я сразу же узнал написанный на пергаменте кодекс, и сдул накопившуюся за столетия пыль.
– Что это такое, черт побери, Сомс?
– Армейский револьвер у вас при себе?
– Никогда не хожу без него.
– Тогда можно без опаски сказать вам, что в моих руках сейчас… палимпсест Архимеда!
– Ах!
Я вообще-то знал, что палимпсест – это документ, который записали на пергаменте, а затем тщательно соскребли, чтобы освободить место для другой записи, и что ученым удается, хотя и не без труда, реконструировать и прочесть то, что было стерто, восстанавливая таким образом, к примеру, неизвестное прежде Евангелие, скрытое под списком белья, отданного в стирку в каком-то заштатном монастыре XIV в. Архимеда я тоже знал как талантливейшего древнегреческого геометра. Таким образом, было очевидно, что Сомсу удалось откопать прежде неизвестный математический текст. Но он настаивал, что нам следует немедленно убраться из хранилища, пока на нас не обрушилось отмщение инквизиции.
Оказавшись вновь в относительной безопасности нашего дома на Бейкер-стрит, мы как следует рассмотрели добытый документ.
– Это византийский список X в. неизвестного до сих пор труда Архимеда, – сказал Сомс. – Его заголовок можно достаточно вольно перевести как «Метод»: речь в нем идет о знаменитом труде этого геометра, посвященном объему и площади поверхности шара. В нем показано, как автор пришел к таким результатам, и можно практически заглянуть в его мысли – беспрецедентный случай.
От изумления я лишился речи и напоминал, наверное, вытащенную из воды золотую рыбку.
– Архимед открыл, что если шар вписан в подходящий цилиндр, то объем шара составляет в точности две трети от объема цилиндра, а площадь его поверхности в точности равна площади криволинейной поверхности этого цилиндра. На современном языке это означает, что если радиус шара равен r, то его объем равен а площадь поверхности – 4πr².
– Архимед был настолько великим математиком, что сумел найти логически строгое геометрическое доказательство этих фактов, которое включил в книгу «О шаре и цилиндре». Там он использовал сложный метод доказательства, известный в настоящее время как метод исчерпывания. С этим методом, однако, связаны некоторые сложности, одна из которых состоит в том, что нужно заранее знать точный ответ, верность которого вы и будете доказывать. Поэтому для ученых долгое время было загадкой: откуда Архимед узнал, каким должен быть ответ?
– Понятно, – сказал я. – А в этом давным-давно утерянном документе объясняется, как он это сделал.
– Именно. Замечательно, что метод Архимеда – это почти предвидение – в данном конкретном случае – интегрального исчисления Исаака Ньютона и Готфрида Лейбница, разработанного на 2000 лет позже. Но, как хорошо знал Архимед, идеям, использованным им в «Методе», недостает строгости. Отсюда и метод исчерпывания, к которому ему пришлось прибегнуть… Совершенно иной подход.
– Так как же он это сделал? – спросил я.
Сомс тщательно изучил палимпсест через увеличительное стекло.
– Греческий язык здесь не совсем классический и местами плохо читается, но для такого опытного лингвиста, как я, это не представляет серьезной трудности. Показывал я вам свой памфлет о расшифровке неизвестных древних текстов Средиземноморья? Напомните, чтобы показал.
Судя по всему, Архимед начал с шара, конуса и цилиндра подходящих размеров. Затем он представил тончайший срез каждой из этих фигур и представил, что эти срезы можно взвешивать: срез шара и срез конуса на весах с одной стороны, срез цилиндра – с другой. Если расстояния подобраны правильно, то массы совпадут в точности. А поскольку масса пропорциональна объему, то и объемы фигур связаны по закону рычага.
– Э-э… Напомните мне, пожалуйста, этот закон, – сказал я. – Не могу сказать, почему, но его не было в учебной программе медицинской школы.
– А должен был бы быть, – отозвался Сомс. – Он очень пригодился бы при работе с вывихнутыми суставами. Ну, не важно. Закон этот, открытый и доказанный Архимедом, утверждает, что крутящее действие, или момент, заданной массы на заданном расстоянии равен произведению массы на расстояние. Чтобы массы уравновесились, суммарный момент по часовой стрелке должен равняться суммарному моменту против часовой стрелки. Или, при соответствующей расстановке знаков плюс и минус, полный суммарный момент системы должен быть равен нулю.
– Э-э…
– Масса на заданном расстоянии уравновесит половинную массу на вдвое большем расстоянии, если, конечно, она находится на другом плече весов.
– Понятно.
– Подозреваю, что нет, но позвольте мне продолжить. Разбив объемные тела на бесконечное количество бесконечно тонких ломтиков и развесив их нужным образом на своих весах, Архимед сумел сосредоточить всю массу шара и конуса в одной точке. Ломтики цилиндра, которые представляют собой одинаковые круги, размещаются на разных расстояниях; все вместе они составляют первоначальный цилиндр. Зная, что объем конуса (а значит, и его масса) составляет одну треть от соответствующего параметра цилиндра, Архимед смог решить получившееся «уравнение» для объема шара.
– А должен был бы быть, – отозвался Сомс. – Он очень пригодился бы при работе с вывихнутыми суставами. Ну, не важно. Закон этот, открытый и доказанный Архимедом, утверждает, что крутящее действие, или момент, заданной массы на заданном расстоянии равен произведению массы на расстояние. Чтобы массы уравновесились, суммарный момент по часовой стрелке должен равняться суммарному моменту против часовой стрелки. Или, при соответствующей расстановке знаков плюс и минус, полный суммарный момент системы должен быть равен нулю.
– Э-э…
– Масса на заданном расстоянии уравновесит половинную массу на вдвое большем расстоянии, если, конечно, она находится на другом плече весов.
– Понятно.
– Подозреваю, что нет, но позвольте мне продолжить. Разбив объемные тела на бесконечное количество бесконечно тонких ломтиков и развесив их нужным образом на своих весах, Архимед сумел сосредоточить всю массу шара и конуса в одной точке. Ломтики цилиндра, которые представляют собой одинаковые круги, размещаются на разных расстояниях; все вместе они составляют первоначальный цилиндр. Зная, что объем конуса (а значит, и его масса) составляет одну треть от соответствующего параметра цилиндра, Архимед смог решить получившееся «уравнение» для объема шара.
– Поразительно, – сказал я. – Мне это все представляется достаточно убедительным.
– Но не математику калибра Архимеда, – возразил Сомс. – Если ломтики имеют конечную толщину, в ходе процедуры возникнут небольшие, но неизбежные ошибки. Но если сделать ломтики нулевой толщины, то и масса у них окажется нулевой. Бессмысленно говорить о единственной точке равновесия, когда все задействованные массы равны нулю.
Я начал понимать сложности, связанные с описанной процедурой.
– Но ведь чем тоньше становятся ломтики, тем меньше, наверное, становятся ошибки? – рискнул я предположить.
– Это так, Ватсап, вы правы. И современный подход к интегральному исчислению превращает это утверждение в доказательство того, что процесс такого рода приводит к разумным ответам. Однако Архимеду эти идеи были неизвестны. Так что он воспользовался нестрогим методом, чтобы найти верный ответ, и это позволило ему прибегнуть к методу исчерпывания, чтобы доказать правильность ответа.
– Поразительно, – вновь сказал я. – Мы должны опубликовать палимпсест.
Сомс покачал головой.
– И рисковать навлечь на себя гнев картонариев? Я слишком высоко ценю наши с вами жизни, чтобы привлекать к себе их внимание.
– Что же нам делать?
– Мы должны поместить рукопись в безопасное место. Не вернуть обратно в библиотеку, ибо там, должно быть, уже заметили ее исчезновение и успели расставить множество хитрых ловушек. Я спрячу его в какой-нибудь другой научной библиотеке. Нет, не спрашивайте, в какой именно! Может быть, когда-нибудь позже, когда времена будут менее тревожные и влияние тайных обществ ослабнет, его найдут заново. А до той поры мы должны удовлетвориться тем, что познакомились с методом великого геометра, хотя и не смогли открыть его миру.
Он ненадолго остановился.
– Я уже рассказал вам о формулах для площади поверхности и объема шара. А вот небольшая и несложная задачка, которая может вас позабавить. Каким должен быть радиус шара в метрах, чтобы площадь его поверхности в квадратных метрах в точности равнялась его же объему в кубических метрах?
– Понятия не имею, – признался я.
– Так выясните, чего ж вы ждете! – воскликнул он.
Подлинную историю архимедова палимпсеста и ответ на загадку Сомса см. в главе «Загадки разгаданные».
Сумма четырех кубов
Сумма четырех квадратов, как и многие другие математические загадки, имеет давнюю историю. Греческий математик Диофант, чья «Арифметика» примерно 20 г. н. э. была первым учебником, в котором использовалась некая система алгебраических обозначений, задал вопрос, является ли каждое положительное целое число суммой четырех полных квадратов (0 разрешен). Несложно проверить это утверждение экспериментально для небольших чисел, к примеру:
5 = 2² + 1² + 0² + 0²;
6 = 2² + 1² + 1² + 0²;
7 = 2² + 1² + 1² + 1².
Теперь, стоило вам подумать о том, что для 8 потребуется еще одна 12, то есть пять квадратов, на помощь приходит 4:
8 = 2² + 2² + 0² + 0².
Эксперименты с более крупными числами позволяют с серьезным основанием предположить, что ответ должен быть «да», однако эта задача оставалась нерешенной более 1500 лет. Она получила известность как задача Баше по имени Клода Баше де Мезириака, опубликовавшего французский перевод «Арифметики» в 1621 г. Доказательство нашел Жозеф-Луи Лагранж в 1770 г. Не так давно были найдены более простые доказательства, основанные на абстрактной алгебре.
А как насчет суммы четырех кубов?
В том же 1770 г. Эдвард Уоринг заявил без доказательства, что любое положительное целое число есть сумма не более чем 9 кубов и 19 четвертых степеней, и задал вопрос, можно ли утверждать что-то подобное о более высоких степенях. То есть для заданного числа k существует ли некий конечный предел количества k степеней, необходимых для выражения любого положительного целого числа в виде их суммы? В 1909 г. Давид Гильберт доказал, что ответ на этот вопрос – «да». (Нечетные степени отрицательных чисел отрицательны, и это сильно меняет правила игры, так что пока мы ограничиваемся только степенями положительных чисел.)
Число 23 определенно требует 9 кубов. Единственные возможные слагаемые здесь – 8, 1 и 0, и лучшее, что можно сделать, – это сложить две восьмерки и семь единиц:
23 = 2³ + 2³ + 1³ + 1³ + 1³ + 1³ + 1³ + 1³ + 1³.
Таким образом, в общем правиле кубов не может быть меньше 9. Однако это число можно и уменьшить, если согласиться на конечное число исключений. К примеру, в реальности 9 кубов требуется только для чисел 23 и 239; все остальные можно получить с использованием не более чем 8 кубов. Юрий Линник снизил это число до 7, допустив еще несколько исключений, и сегодня считается, что правильный ответ, допускающий конечное число исключений, – это 4. Наибольшее известное число, для записи которого необходимо больше 4 кубов, – это 7 373 170 279 850, и предполагается, что более крупных чисел с таким свойством не существует. Так что очень возможно – но пока вопрос остается открытым, – что любое достаточно большое положительное целое число есть сумма четырех положительных кубов.
Но, как я уже сказал, куб отрицательного числа отрицателен. Это порождает новые возможности, отсутствующие у четных степеней. Так,
23 = 27 – 1–1 – 1–1 = 3³ + (–1)³ + (–1)³ + (–1)³ + (–1)³,
то есть достаточно 5 кубов, тогда как в случае только положительных или нулевых кубов требуется 9, как мы только что видели. Но можно и еще улучшить результат: 23 можно выразить с использованием всего 4 кубов:
23 = 512 + 512 – 1 – 1000 = 8³ + 8³ + (–1)³ + (–10)³.
Разрешение на использование отрицательных чисел означает, что используемые кубы могут быть намного больше (если не обращать внимания на знак «–») самого числа. В качестве примера покажем, что число 30 можно записать в виде суммы 3 кубов, но придется постараться:
30 = 2 220 422 932³ + (–283 059 965)³ + (–2 218 888 517)³.
То есть мы не можем систематически просмотреть ограниченное число вариантов, как в случае, когда рассматриваем только положительные кубы.
Эксперименты привели нескольких математиков к гипотезе о том, что всякое целое число есть сумма 4 (положительных или отрицательных) целых кубов. Пока истинность этого утверждения окончательно не установлена, хотя свидетельств в его пользу хватает. Компьютерные расчеты подтверждают, что любое положительное целое число вплоть до 10 млн есть сумма 4 кубов. В. Демьяненко доказал, что любое число, которое нельзя представить в виде 9k ± 4, всегда представимо как сумма 4 кубов.
Откуда у леопарда пятна
У леопардов есть пятна, у тигров – полосы, а львы щеголяют ровным цветом. Почему? Все эти варианты кажутся какими-то случайными, как будто на распродаже из списка в «Каталоге больших кошек» эволюция выбирает для каждой самый красивый вариант окраски шкуры. Но накопилось уже немало свидетельств в пользу того, что дело обстоит совершенно иначе. Уильям Аллен с коллегами исследовал, как математические правила, определяющие узоры и орнаменты, соотносятся с кошачьими привычками и средой обитания и как это влияет на эволюцию расцветок.
Самая очевидная причина обзавестись разноцветной шкурой – маскировка. Если кошка живет в лесу, пятна или полосы сделают ее малозаметной среди теней и световых пятен. Напротив, кошек, которые обитают на открытом месте, было бы видно лучше, если бы у них на шкуре был яркий рисунок. Однако теории такого рода не намного лучше простых сказок, если их невозможно подтвердить реальными данными. Экспериментальная проверка затруднительна: представьте, что вы хотите закрашивать полоски на тиграх на протяжении нескольких поколений или снабдить тигров и их потомство гладкой шкурой, чтобы посмотреть, что из этого получится. Альтернативных теорий сколько угодно: может быть, рисунок на шкуре привлекает партнера – или просто связан естественным образом с размерами животного.