3. Вот так решают уравнения блондинки!

4. Математика в Зазеркалье

Эта надпись, которую я сделал несколько лет назад, наверное, самое короткое доказательство того, что... 2 = 3. Приставьте к ней сверху зеркало (или посмотрите ее на просвет), и вы увидите, как «двое» превратятся в «трое».

5. Буквомешалка

Еще одна необычная формула:

eleven + two = twelve + one .

Оказывается, на английском равенство 11 + 2 = 12 + 1 верно, даже если его записать словами - «сумма» букв слева и справа одинакова! Это значит, что правая часть этого равенства - анаграмма от левой, то есть получается из нее перестановкой букв.

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

пятнадцать + шесть = шестнадцать + пять .

6. Пи... или не Пи?..

С 1960 до 1970 года основной национальный напиток, называвшийся «Московская особая водка» стоил: пол-литра 2,87, а четвертинка 1,49. Эти цифры знало, наверное, почти всё взрослое население СССР. Советские математики заметили, что если цену поллитровки возвести в степень, равную цене четвертинки, то получится число «Пи»:

1,49 2,87 ??

(Сообщил Б. С. Горобец).

Уже после выхода первого издания книги доцент химфака МГУ Леензон И. А. прислал мне такой любопытный комментарий к этой формуле: «...много лет назад, когда не было калькуляторов, а мы на физфаке сдавали трудный зачет по логарифмической линейке (!) (сколько раз нужно двигать подвижную линейку вправо-влево?), я с помощью точнейших отцовых таблиц (он был геодезистом, экзамен по высшей геодезии ему снился всю жизнь) узнал, что рупь-сорок-девять в степени два-восемьдесят-семь равно 3,1408. Меня это не удовлетворило. Не мог наш советский Госплан действовать столь грубо. Консультации в Министерстве торговли на Кировской показали, что все расчеты цен в государственном масштабе делались с точностью до сотых долей копейки. Но назвать точные цифры мне отказались, ссылаясь на секретность (меня это тогда удивило - какая может быть секретность в десятых и сотых долях копейки). В начале 1990-х мне удалось получить в архивах точные цифры по стоимости водки, которые к тому времени были рассекречены специальным декретом. И вот что оказалось: четвертинка: 1 рубль 49,09 коп. В продаже - 1,49 руб. Поллитровка: 2 рубля 86,63 коп. В продаже - 2,87 руб. Воспользовавшись калькулятором я легко выяснил, что в таком случае четвертинка в степени пол-литра дает (после округления до 5 значащих цифр) как раз 3,1416! Остается только удивляться математическим способностям работников советского Госплана, которые (я в этом ни секунды не сомневаюсь) специально подогнали расчетную стоимость самого популярного напитка под заранее известный результат».

Какой известный со школы математик зашифрован в этом ребусе?

8. Теория и практика

Математику, физику и инженеру предложили такую задачу: «Юноша и девушка стоят у противоположных стен зала. В какой-то момент они начинают идти навстречу другу и каждые десять секунд преодолевают половину расстояния между ними. Спрашивается, через какое время они достигнут друг друга?»

Математик, не раздумывая, ответил:

Никогда.

Физик, немного подумав, сказал:

Через бесконечное время.

Инженер после долгих расчетов выдал:

Примерно через две минуты они будут достаточно близки для любых практических целей.

9. Формула красоты от Ландау

На следующую пикантную формулу, приписываемую Ландау, большому любителю слабого пола, обратил мое внимание известный Ландаувед профессор Горобец.

Как нам сообщил доцент МГУИЭ А. И. Зюльков, он слышал, что Ландау вывел следующую формулу показателя женской привлекательности:

где K - обхват по бюсту; M - по бедрам; N - по талии, T - рост, всё в см; P - вес в кг.

Так, если принять параметры для модели (1960-х гг.) приблизительно: 80-80-60-170-60 (в указанной выше последовательности величин), то по формуле получим 5. Если же принять параметры «антимодели», например: 120-120-120-170-60, то получим 2. Вот в этом интервале школьных оценок и работает, грубо говоря, «формула Ландау».

(Цит. по книге: Горобец Б . Круг Ландау. Жизнь гения. М.: Издательство ЛКИ/URSS, 2008.)

10. Знать бы то расстояние...

Еще одно наукообразное рассуждение по поводу женской привлекательности, приписываемое Дау.

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

1. Существует расстояние, с которого женщина наиболее привлекательна.

2. Для каждой женщины это расстояние свое.

3. От женщин надо держаться на расстоянии.

11. Лошадиное доказательство

Теорема: Все лошади одного цвета.

Доказательство. Докажем утверждение теоремы по индукции.

При n = 1, то есть для множества, состоящего из одной лошади, утверждение, очевидно, выполнено.

Пусть утверждение теоремы верно при n = k . Докажем, что оно верно и при n = k + 1. Для этого рассмотрим произвольное множество из k + 1 лошадей. Если убрать из него одну лошадь, то их останется k . По предположению индукции все они одного цвета. Теперь вернем на место убранную лошадь и заберем какую-либо другую. Опять-таки по предположению индукции и эти k оставшихся лошадей одного цвета. Но тогда и все k + 1 лошадей будут одного цвета.

Отсюда, согласно принципу математической индукции, все лошади одного цвета. Теорема доказана.

12. Немного о крокодилах

Еще одна замечательная иллюстрация применения математических методов к зоологии.

Теорема: Крокодил более длинный, чем широкий.

Доказательство. Возьмем произвольного крокодила и докажем две вспомогательные леммы.

Лемма 1: Крокодил более длинный, чем зеленый.

Доказательство. Посмотрим на крокодила сверху - он длинный и зеленый. Посмотрим на крокодила снизу - он длинный, но не такой зеленый (на самом деле он темно-серый).

Следовательно, лемма 1 доказана.

Лемма 2: Крокодил более зеленый, чем широкий.

Доказательство. Посмотрим на крокодила еще раз сверху. Он зеленый и широкий. Посмотрим на крокодила сбоку: он зеленый, но не широкий. Это доказывает лемму 2.

Утверждение теоремы, очевидно, следует из доказанных лемм.

Обратная теорема («Крокодил более широкий, чем длинный») доказывается аналогично.

На первый взгляд, из обеих теорем следует, что крокодил - квадратный. Однако, поскольку неравенства в их формулировках строгие, то настоящий математик сделает единственно правильный вывод: КРОКОДИЛОВ НЕ СУЩЕСТВУЕТ!

13. Опять индукция

Теорема: Все натуральные числа равны между собой.

Доказательство. Необходимо доказать, что для любых двух натуральных чисел A и B выполнено равенство A = B . Переформулируем это в таком виде: для любого N > 0 и любых A и B , удовлетворяющих равенству max(A , B ) = N , должно выполняться и равенство A = B .

Докажем это по индукции. Если N = 1, то A и B , будучи натуральными, оба равны 1. Поэтому A = B .

Предположим теперь, что утверждение доказано для некоторого значения k . Возьмем A и B такими, чтобы max(A , B ) = k + 1. Тогда max(A –1, B –1) = k . По предположению индукции отсюда следует, что (A –1) = (B –1). Значит, A = B .

14. Все обобщения неправильны!

Любители лингвистических и математических головоломок наверняка знают про рефлексивные, или самоописывающиеся (не подумайте ничего плохого), самоотносимые слова, фразы и числа. К последним, например, относится число 2100010006, в котором первая цифра равна количеству единиц в записи этого числа, вторая - количеству двоек, третья - количеству троек, ..., десятая - количеству нулей.

К самоописывающимся словам относится, скажем, слово двадцатиоднобуквенное , придуманное мной несколько лет назад. В нем действительно 21 буква!

Самоописывающихся фраз известно великое множество. Один из первых примеров на русском придумал много лет назад знаменитый карикатурист и словесный остроумец Вагрич Бахчанян: В этом предложении тридцать две буквы . Вот несколько других, придуманных гораздо позже: 1. Семнадцать буковок . 2. В этом предложении есть ошибка, расположенная в канце . 3. Это предложение состояло бы из семи слов, если было бы на семь слов короче . 4. Вы находитесь под моим контролем, поскольку вы будете читать меня, пока не дочитаете до конца . 5. ...Это предложение начинают и заканчивают три точки .

Есть и более сложные конструкции. Полюбуйтесь, например, на вот этого монстра (см. заметку С. Табачникова «У попа была собака» в журнале «Квант», № 6, 1989): В этой фразе два раза встречается слово «в», два раза встречается слово «этой», два раза встречается слово «фразе», четырнадцать раз встречается слово «встречается», четырнадцать раз встречается слово «слово», шесть раз встречается слово «раз», девять раз встречается слово «раза», семь раз встречается слово «два», три раза встречается слово «четырнадцать», три раза встречается слово «три», два раза встречается слово «девять», два раза встречается слово «семь», два раза встречается слово «шесть» .

Через год после публикации в «Кванте» И. Акулич придумал самоописывающуюся фразу, описывающую не только слова в нее входящие, но и знаки препинания: Фраза, которую Вы читаете, содержит: два слова «Фраза», два слова «которую», два слова «Вы», два слова «читаете», два слова «содержит», двадцать пять слов «слова», два слова «слов», два слова «двоеточие», два слова «запятых», два слова «по», два слова «левых», два слова «и», два слова «правых», два слова «кавычек», два слова «а», два слова «также», два слова «точку», два слова «одно», два слова «одну», двадцать два слова «два», три слова «три», два слова «четыре», три слова «пять», четыре слова «двадцать», два слова «тридцать», одно двоеточие, тридцать запятых, по двадцать пять левых и правых кавычек, а также одну точку .

Наконец, еще через несколько лет все в том же «Кванте», появилась заметка А. Ханяна, в которой приводилась фраза, скрупулезно описывающая все свои буковки: В этой фразе двенадцать В, две Э, семнадцать Т, три О, две Й, две Ф, семь Р, четырнадцать А, две 3, двенадцать Е, шестнадцать Д, семь Н, семь Ц, тринадцать Ь, восемь С, шесть М, пять И, две Ч, две Ы, три Я, три Ш, две П .

«Явно чувствуется, что не хватает еще одной фразы - которая рассказывала бы и о всех своих буквах, и о знаках препинания», написал в частном письме ко мне И. Акулич, породивший одного из приведенных ранее монстров. Возможно, эту весьма непростую задачу решит кто-либо из наших читателей.

15. «И гений - парадоксов друг...»

В продолжение предыдущей темы стоит упомянуть про рефлексивные парадоксы.

В уже упоминавшейся ранее книге Дж. Литлвуда «Математическая смесь» справедливо говорится, что «все рефлексивные парадоксы являются, конечно, превосходными шутками». Там же приводятся два из них, которые я позволю себе процитировать:

1. Должны существовать (положительные) целые числа, которые не могут быть заданы фразами, состоящими менее, чем из шестнадцати слов. Любое множество положительных целых чисел содержит наименьшее число, и поэтому существует число N , «наименьшее целое число, которое не может быть задано фразой, состоящей из менее, чем шестнадцати слов». Но эта фраза содержит 15 слов и определяет N .

2. В журнале Spectator был объявлен конкурс на тему «Что бы Вы с наибольшим удовольствием прочли, раскрыв утреннюю газету?» Первый приз получил ответ:

Наш второй конкурс

Первый приз во втором конкурсе этого года присужден мистеру Артуру Робинсону, остроумный ответ которого без натяжки должен быть признан наилучшим. Его ответ на вопрос: «Что бы Вы с наибольшим удовольствием прочли, раскрыв утреннюю газету?» был озаглавлен «Наш второй конкурс», но из-за лимитирования бумаги мы не можем напечатать его полностью.

16. Палиндроматика

Есть такие удивительные фразы, которые читаются одинаково и слева направо и справа налево. Одну наверняка знают все: А роза упала на лапу Азора . Именно ее просила написать в диктанте неуча Буратино капризная Мальвина. Называются такие взаимообратные фразы палиндромами, что в переводе с греческого означает «бегущий назад, возвращающийся». Вот еще несколько примеров: 1. Лилипут сома на мосту пилил . 2. Лезу на санузел . 3. Лег на храм, и дивен и невидим архангел . 4. Нажал кабан на баклажан . 5. Муза, ранясь шилом опыта, ты помолишься на разум . (Д. Авалиани). 6. Уж редко рукою окурок держу ... (Б. Гольдштейн) 7. Учуя молоко, я около мяучу . (Г. Лукомников). 8. Он верба, но она - бревно . (С. Ф.)

А интересно, есть ли палиндромы в математике? Для ответа на этот вопрос попробуем перенести идею взаимообратного, симметричного прочтения на числа и формулы. Оказывается, это не так уж и трудно. Познакомимся лишь с несколькими характерными примерами из этой палиндромной математики, палиндроматики . Оставляя в стороне палиндромные числа - например, 1991 , 666 и т.д. - обратимся сразу к симметричным формулам.

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

(x 1 - первая цифра, y 1 - вторая цифра) и

чтобы результат их сложения не менялся в результате прочтения суммы справа налево, т.е.

Например, 42 + 35 = 53 + 24.

Задача решается тривиально: сумма первых цифр у всех таких пар чисел равна сумме их вторых цифр . Теперь можно без труда строить подобные примеры: 76 + 34 = 43 + 67, 25 + 63 = 36 + 52 и так далее.

Рассуждая аналогичным образом, можно легко решить такую же задачу для остальных арифметических действий.

В случае разности, т.е.

получаются следующие примеры: 41 – 32 = 23 –14, 46 – 28 = 82 – 64, ... - суммы цифр у таких чисел равны (x 1 + y 1 = x 2 + y 2 ).

В случае умножения имеем: 63 48 = 84 36, 82 14 = 41 28, ... - при этом произведение первых цифр у чисел N 1 и N 2 равно произведению их вторых цифр (x 1 x 2 = y 1 y 2 ).

Наконец, для деления получаем такие примеры:

В этом случае произведение первой цифры числа N 1 на вторую цифру числа N 2 равно произведению двух других их цифр, т.е. x 1 y 2 = x 2 y 1 .

17. Антисоветская теорема

Доказательство следующей «теоремы», появившейся в эпоху «недоразвитого социализма», опирается на популярные тезисы тех лет относительно роли Коммунистической партии.

Теорема. Роль партии - отрицательна.

Доказательство. Хорошо известно, что:

1. Роль партии непрерывно возрастает.

2. При коммунизме, в бесклассовом обществе, роль партии будет нулевой.

Таким образом, имеем непрерывно возрастающую функцию, стремящуюся к 0. Следовательно, она отрицательна. Теорема доказана.

18. Детям до шестнадцати решать запрещается

Несмотря на кажущуюся абсурдность следующей задачи, у нее, тем не менее, есть вполне строгое решение.

Задача. Мама старше сына на 21 год. Через шесть лет она будет старше его в пять раз. Спрашивается: ГДЕ ПАПА?!

Решение. Пусть X - возраст сына, а Y - возраст мамы. Тогда условие задачи записывается в виде системы двух простых уравнений:

Подставляя Y = X + 21 во второе уравнение, получим 5X + 30 = X + 21 + 6, откуда X = –3/4. Таким образом, сейчас сыну минус 3/4 года, т.е. минус 9 месяцев. А это значит, что папа в данный момент находится на маме!

19. Неожиданный вывод

Хорошо известно ироническое выражение «Если ты такой умный, то почему ты такой бедный?», применимое, увы, очень ко многим. Оказывается, у этого грустного феномена есть строгое математическое обоснование, опирающееся на столь же бесспорные истины.

А именно, начнем с двух всем известных постулатов:

Постулат 1: Знание = Сила.

Постулат 2: Время = Деньги.

Кроме того, любой школьник знает, что

Путь s = Скорость x Время = Работа: Сила ,

Работа: Время = Сила x Скорость (*)

Подставляя значения для «времени» и «силы» из обоих постулатов в (*), получим:

Работа: (Знание x Скорость) = Деньги (**)

Из полученного равенства (**) видно, что устремляя «знание» или «скорость» к нулю, мы можем получить за любую «работу» сколь угодно большие деньги.

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

20. Математическая игра Ландау

Несколько лет назад в журнале «Наука и жизнь» (№1, 2000) была опубликована вызвавшая огромный интерес читателей заметка профессора Б. Горобца, посвященная замечательной игре-головоломке, которую придумал академик Ландау, чтобы не скучать во время поездок в машине. Поиграть в эту игру, в которой датчиком случайных чисел служили номера проносящихся мимо машин (тогда эти номера состояли из двух букв и двух пар цифр), он часто предлагал своим спутникам. Суть игры заключалась в том, чтобы с помощью знаков арифметических действий и символов элементарных функций (т.е. +, –, x, :, v, sin, cos, arcsin, arctg, lg и т.д.) привести к одному и тому же значению эти два двузначных числа из номера попутной машины. При этом допускается использование факториала (n ! = 1 x 2 x ... х n ), но не допускается использование секанса, косеканса и дифференцирования.

Например, для пары 75–33 искомое равенство достигается следующим образом:

а для пары 00–38 - так:

Однако не все номера решаются столь просто. Некоторые из них (например 75–65) не поддавались и автору игры, Ландау. Поэтому возникает вопрос о каком-либо универсальном подходе, некоей единой формуле, позволяющей «решать» любую пару номеров. Этот же вопрос задавал Ландау и его ученик проф. Каганов. Вот что он, в частности, пишет: «Всегда ли можно сделать равенство из автомобильного номера?» - спросил я у Ландау. - «Нет», - ответил он весьма определенно. - «Вы доказали теорему о несуществовании решения?» - удивился я. - «Нет», - убежденно сказал Лев Давидович, - «но не все номера у меня получались».

Однако такие решения были найдены, причем одно из них еще при жизни самого Ландау.

Харьковский математик Ю. Палант предложил для уравнивания пар чисел формулу

позволяющую в результате неоднократного применения выразить любую цифру через любую меньшую. «Я привел доказательство Ландау», - пишет об этом решении Каганов. - «Оно ему очень понравилось..., и мы полушутя, полусерьезно обсуждали, не опубликовать ли его в каком-нибудь научном журнале».

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

Полученная формула (опять-таки при необходимости ее надо применять несколько раз) позволяет выразить любую цифру через любую большую цифру, не применяя других цифр, что, очевидно, исчерпывает задачу Ландау.

1. Пусть среди цифр нет нулей. Составим из них два числа ab и cd , (это, разумеется, не произведения). Покажем, что при n ? 6:

sin[(ab )!]° = sin[(cd )!]° = 0.

Действительно, sin(n !)° = 0, если n ? 6, так как sin(6!)° = sin720° = sin(2 x 360°) = 0. Дальше любой факториал получается умножением 6! на последующие целые числа: 7! = 6! x 7, 8! = 6! x 7 x 8 и т.д., давая кратное число раз по 360° в аргументе синуса, делая его (и тангенс тоже) равным нулю.

2. Пусть в какой-то паре цифр есть ноль. Умножаем его на соседнюю цифру и приравниваем к синусу факториала в градусах, взятого от числа в другой части номера.

3. Пусть в обеих частях номера имеются нули. При умножении на соседние цифры они дают тривиальное равенство 0 = 0.

Разбиение общего решения на три пункта с умножением на ноль в пунктах 2 и 3 связано с тем, что sin(n !)° ? 0, если n < 6».

Разумеется, подобные общие решения лишают игру Ландау изначальной прелести, представляя лишь абстрактный интерес. Поэтому попробуйте поиграть с отдельными трудными номерами, не используя универсальных формул. Вот некоторые из них: 59–58; 47–73; 47–97; 27–37; 00–26.

21. Гадание по определителям

22. 9 знаков

Еще про определители.

Мне рассказывали, что одно время среди первокурсников мехмата была популярна игра в «определитель» на деньги. Двое игроков чертят на бумаге определитель 3 x 3 с незаполненными ячейками. Затем по очереди вставляют в пустые ячейки цифры от 1 до 9. Когда все клетки заполнены, определитель считают - ответ с учетом знака и есть выигрыш (или проигрыш) первого игрока, выраженный в рублях. То есть, если, например, получилось число –23, то первый игрок платит второму 23 рубля, а если, скажем, 34, то, наоборот, второй платит первому 34 рубля.

Хотя правила игры просты, как репка, придумать правильную стратегию выигрыша очень нелегко.

23. Как академики задачу решали

Эту заметку мне прислал математик и писатель А. Жуков, автор замечательной книги «Вездесущее число пи».

Профессор Борис Соломонович Горобец, преподающий математику в двух московских вузах, написал книгу о великом физике Льве Давидовиче Ландау (1908–1968) - «Круг Ландау». Вот какую любопытную историю, связанную с одной физтеховской вступительной задачей он нам рассказал.

Случилось так, что соратник Ландау и его соавтор по десятитомному курсу по теоретической физике академик Евгений Михайлович Лифшиц (1915–1985) в 1959 году помогал выпускнику школы Боре Горобцу готовиться к поступлению в один из ведущих физических вузов Москвы.

На письменном экзамене по математике в Московском физико-математическом институте предлагалась следующая задача: «В основании пирамиды SABC лежит прямоугольный равнобедренный треугольник ABC, с углом C = 90°, стороной AB = l. Боковые грани образуют с плоскостью основания двугранные углы?, ?, ?. Найдите радиус вписанного в пирамиду шара».

Будущий профессор не справился тогда с задачей, но запомнил ее условие и позже сообщил Евгению Михайловичу. Тот, повозившись с задачей в присутствии ученика, не смог решить ее сходу и забрал с собой домой, а вечером позвонил и сообщил, что, не одолев ее в течение часа, предложил эту задачу Льву Давидовичу.

Ландау обожал решать задачи, вызывавшие затруднения у других. Вскоре он перезвонил Лифшицу и, довольный, сказал: «Задачу решил. Решал ровно час. Позвонил Зельдовичу, теперь решает он.» Поясним: Яков Борисович Зельдович (1914–1987) - известный ученый, считавший себя учеником Ландау, был в те годы главным физиком-теоретиком в сверхсекретном Советском Атомном проекте (о чем, конечно, тогда мало кто знал). Примерно через час Е. М. Лифшиц позвонил снова и сообщил: только что ему позвонил Зельдович и не без гордости сказал: «Решил я вашу задачу. За сорок минут решил!»

А за какое время справитесь с этой задачей вы?

24. Задачка

В остроумном сборнике физтеховского юмора «Занаучный юмор» (М., 2000) есть немало математических шуток. Вот только одна из них.

При испытании одного изделия произошел один отказ. Какова вероятность безотказной работы изделия?

Теорема. Все натуральные числа интересны.

Доказательство. Предположим противное. Тогда должно существовать наименьшее неинтересное натуральное число. Ха, так ведь это чертовски интересно!

26. Высшая арифметика

1 + 1 = 3, когда значение 1 достаточно велико.

27. Формула Эйнштейна-Пифагора

E = m c 2 = m(a 2 + b 2).

28. О пользе теорвера

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

Летом мы с друзьями отправились в поход в горы. Нас было четверо: Володя, два Олега и я. У нас была палатка и три спальника, из которых один двухместный - для нас с Володей. С этими самыми спальниками, точнее с их расположением в палатке, и вышла закавыка. Дело в том, что шли дожди, палатка была тесной, с боков подтекало, и лежащим с краю было не очень-то удобно. Поэтому я предложил решить эту проблему «по-честному», с помощью жребия.

Смотрите, - сказал я Олегам, - наш с Володей двуспальник может быть либо с краю, либо в центре. Поэтому будем бросать монетку: если выпадет «орел» - наш двуспальник будет с краю, если «решка» - в центре.

Олеги согласились, однако через нескольких ночевок с краю (нетрудно посчитать по формуле полной вероятности, что для каждого из нас с Володей вероятность спать не у края палатки равна 0,75) Олеги заподозрили неладное и предложили пересмотреть договор.

Действительно, - сказал я, - шансы были неравны. На самом деле для нашего двуспальника три возможности: с левого края, с правого и в центре. Поэтому каждый вечер мы будем тянуть одну из трех палочек - если вытянем короткую, то наш двуспальник будет в центре.

Олеги опять согласились, хотя и на этот раз наши шансы ночевать не у края (теперь вероятность равна 0,66, точнее, две третьих) были предпочтительнее, нежели у каждого из них. После двух ночевок с краю (на нашей стороне были лучшие шансы плюс везение) Олеги снова поняли, что их надули. Но тут, к счастью, кончились дожди, и проблема отпала сама собой.

А ведь на самом деле наш двуспальник должен быть всегда с краю, а мы с Володей уже с помощью монетки определяли бы каждый раз, кому повезло. То же бы делали и Олеги. В этом случае шансы спать с краю были бы у всех одинаковы и равны 0,5.

Примечания:

Иногда аналогичную историю рассказывают про Жана Шарля Франсуа Штурма.

В июне этого года безвременно скончался Дмитрий Германович Фон-Дер-Флаасс (1962–2010), замечательный математик и педагог, светлый и обаятельный человек. Наши читатели не раз встречали это имя - журнал «Квант» часто публиковал его задачи. Дмитрий Германович успешно работал в большой науке, но это была лишь часть его деятельности. Вторую составляли математические олимпиады школьников: он работал в жюри Всесоюзных и Всероссийских олимпиад, а в последние годы - и Международных. Читал лекции в различных математических лагерях и школах, был одним из тренеров нашей команды на Международной математической олимпиаде.

Мы предлагаем вашему вниманию запись (с небольшими сокращениями и с сохранением авторского стиля) лекции, прочитанной Д. Фон-Дер-Флаассом во Всероссийском детском центре «Орленок» в 2009 году.

Был такой античный софист Горгий. Знаменит он тем, что сформулировал три теоремы. Первая теорема звучит так: ничто в мире не существует. Вторая теорема: а ежели что и существует, то непознаваемо для человека. Третья теорема: а ежели все-таки что-то познаваемо, то непередаваемо ближнему.

Другими словами, нет ничего, а ежели что-то есть, то мы об этом ничего не узнаем, а ежели даже что-то и узнаем, рассказать никому не сможем.

И вот эти четыре теоремы - это, собственно говоря, основные проблемы современной математики.

Первая теорема Горгия

Начнем с первой - ничто в мире не существует, или, в переводе на язык математики, математика занимается непонятно чем. В некотором смысле это действительно так. Ведь математических объектов в мире не существует. Самое простое, с чего все начинается и чем математики все время пользуются, - это натуральные числа. Что такое натуральные числа, все мы знаем - это 1, 2, 3, 4 и так далее. И вот то, что мы все понимаем смысл слов «и так далее» - это большая загадка. Потому что «и так далее» означает, что чисел «бесконечно много». В нашем мире нет места для того, чтобы было бесконечно много чего-то. Но все мы уверены, что когда мы думаем о натуральных числах, мы все думаем об одном и том же. Если у меня после 7 следует 8, то и у вас после 7 будет следовать 8. Если у меня 19 - простое число, то у вас 19 будет простое число. Вот почему? Вроде бы в мире этого объекта нет, но мы о нем знаем и все знаем примерно одно и то же. Это, конечно, загадка не математическая, это загадка философская, и пусть философы ее обсуждают. Нам достаточно того, что, к счастью, мы все-таки имеем представление о математических объектах и оно одно и то же у всех, кто начинает о них задумываться. И поэтому математика возможна. Но большая философская проблема остается.

Если, как это принято у математиков, задуматься об этом всерьез, т. е. попытаться как-то строго об этом подумать, то тогда возникают проблемы, о которых я сейчас расскажу. Возникли они на памяти человечества совсем недавно, буквально в последнюю сотню лет.

Кроме натуральных чисел есть еще много чего в математике. Есть наша евклидова плоскость, на которой мы рисуем всякие треугольники, углы, доказываем о них теоремы. Есть действительные числа, есть комплексные числа, есть функции, есть еще что-то более страшное... Где-то на рубеже XIX–XX веков была проделана очень большая работа (хотя началась она, конечно, немного раньше), люди поняли, что все многообразие математических объектов в принципе можно свести к единому понятию - понятию множества. Конечно, если мы просто имеем интуитивное представление о том, что такое множество и что такое «и так далее», мы сможем построить в принципе всю математику.

Что такое множество? Ну, это просто множество чего-то. Вопрос в том - что с множествами можно делать? Если у нас есть какое-то множество, то что означает, что оно у нас есть? Это означает, что про любой элемент нашего мира, мира математических объектов, мы можем спросить, а он в этом множестве лежит или не лежит, и получить ответ. Ответ однозначный, совершенно не зависящий от нашей воли. Вот это то первое, базовое, что можно с множествами делать, - узнавать, принадлежит элемент множеству или не принадлежит.

Конечно, нужно еще сами эти множества как-то строить. Чтобы из них, в конце концов, построилось все богатство математических объектов. Как их можно строить? Можно, скажем, построить пустое множество: Ø. Самое первое, самое простое. Про него мы что знаем? Что про какой бы элемент мы ни спросили, принадлежит ли он этому множеству или нет, ответ всегда будет - нет, не принадлежит. И этим пустое множество уже однозначно определено. Все вопросы о нем получают мгновенный ответ. Ура!

Теперь у нас уже есть вот это само пустое множество. И мы можем построить множество, которое ничего не содержит, кроме пустого множества: {Ø}. Опять же, что значит, что мы имеем это множество? Это значит, что про любой элемент мы можем спросить, он этому множеству принадлежит или нет. И если этот элемент - пустое множество, то ответ будет - «да». А если этот элемент любой другой, то ответ будет - «нет». Итак, это множество тоже задано.

С этого все начинается. Можно использовать еще несколько интуитивных операций. Если у нас есть два множества, то мы можем их объединить. Можно сказать, что теперь будет множество, в котором будут элементы из того или из другого множества. Опять же, ответ на вопрос, принадлежит ли элемент полученному множеству или нет, однозначен. Значит, объединение мы можем построить. И так далее.

В какой-то момент приходится отдельно объявить, что все-таки у нас есть какое-то множество, в котором элементов бесконечно много. Поскольку мы знаем, что натуральные числа есть, мы верим, что бесконечное множество существует. Объявляем, что множество натуральных чисел у нас тоже доступно. Как только появляется бесконечное множество, так дальше уже можно пуститься во все тяжкие и определять уже все что угодно. Можно определить целые числа. Целое число - это либо ноль, либо натуральное число, к которому приставлен или не приставлен знак минус. Все это, (может, и не так очевидно, как я говорю), можно проделать и на языке теории множеств.

Можно определить рациональные числа. Что такое рациональное число? Это пара из двух чисел - числителя и (ненулевого) знаменателя. Нужно только определить, как их складывать, как их умножать между собой. И каковы условия, когда такие пары считать одним и тем же рациональным числом.

Что такое действительное число? Вот интересный шаг. Вы можете сказать, например, что это бесконечная десятичная дробь. Вполне хорошее будет определение. А что это значит - бесконечная десятичная дробь? Это значит, у нас есть какая-то бесконечная последовательность цифр, т. е. просто для каждого натурального числа мы знаем, какая цифра стоит на этом месте нашего действительного числа. Все такие последовательности образуют действительные числа. Опять же, мы можем определить, как их складывать, как их умножать, и так далее.

Кстати, математики предпочитают определять действительные числа не так, а вот каким образом. Возьмем все рациональные числа - мы их уже имеем. А теперь объявим, что действительное число - это множество тех рациональных чисел, которые его строго меньше. Вот такое очень хитрое определение. На самом деле, оно очень похоже на предыдущее. Например, если у нас есть действительное число 3,1415926... (там дальше идет бесконечная цепочка цифр, которую я наизусть не знаю), то какие, например, будут рациональные числа, меньшие его? Обрежем дробь на втором знаке после запятой. Получим число 3,14, оно меньше нашего. Обрежем дробь на четвертом знаке после запятой - получим 3,1415, еще одно рациональное число, меньшее нашего. Ясно, что если мы знаем все рациональные числа, меньшие нашего числа, то это число единственным образом определено. Наглядно можно представить себе такую картинку, как на рисунке 1. Прямая - это все действительные числа, среди них где-то наше неизвестное, а слева от него много-много рациональных, которые его меньше. Все остальные рациональные будут, соответственно, его больше. Интуитивно понятно, что имеется единственная щелочка между этими двумя наборами рациональных чисел, и вот эту щелочку мы будем называть действительным числом. Это пример того, как, начиная с понятия множества, вся математика помаленьку раскручивается.

Зачем это нужно? Понятно, что на практике, конечно, никто этим не пользуется. Когда математик изучает, скажем, функции комплексного переменного, он не вспоминает каждый раз, что комплексное число - это пара действительных, что действительное - это бесконечное множество рациональных, что рациональное - это пара целых и так далее. Он уже работает с вполне сформированными объектами. Но в принципе все можно расписать до самых основ. Будет очень длинно и не читаемо, но тем не менее это в принципе возможно.

А дальше чем математики занимаются? Они доказывают разные свойства этих объектов. Чтобы что-то доказать, нужно уже что-то знать, какие-то первоначальные свойства всех этих объектов. И более того, математики должны быть полностью согласны насчет того, с каких первоначальных свойств начинать. Чтобы любой результат, полученный одним математиком, был принят всеми остальными.

Можно выписать несколько вот таких первоначальных свойств - они называются аксиомами, - и после этого из них доказывать все остальные свойства все более и более сложных математических объектов. Но вот уже с натуральными числами начинаются трудности. Аксиомы-то есть, и мы чувствуем интуитивно, что они верны, но оказывается, бывают такие утверждения про натуральные числа, которые из этих аксиом не выводятся, но которые, тем не менее, верны. Скажем, натуральные числа удовлетворяют некоторому свойству, но из тех аксиом, которые приняты за основные, оно получено быть не может.

Сразу возникает вопрос, а откуда мы знаем тогда, что это свойство верно для натуральных чисел? Если мы его не можем вот так взять и доказать? Трудный вопрос. Получается примерно так. Если обходиться только аксиомами натуральных чисел, то об очень многих вещах в принципе даже невозможно и говорить. Например, невозможно говорить о произвольных бесконечных подмножествах натуральных чисел. Тем не менее, люди представляют себе, что это такое, и в принципе интуитивно понимают, какими свойствами эти подмножества определяются. Поэтому про некоторые свойства натуральных чисел, которые из аксиом не выводимы, люди могли знать, что они верны. И вот, математик Курт Гёдель, видимо, был первым, кто в явном виде показал некое свойство натуральных чисел, которое интуитивно верно (т. е. против того, что оно верно, математики не возражают), но при этом оно не выводимо из тех аксиом натуральных чисел, которые тогда были приняты.

Частично, и на самом деле в очень большой степени (достаточной для большинства областей математики), с этой проблемой справились, аккуратно доведя все до множеств и выписав некоторый набор аксиом теории множеств, которые интуитивно очевидны и верность этих аксиом математиками, в общем-то, не оспаривается.

Скажем, аксиома объединения. Если у нас есть набор каких-то множеств, то мы можем сказать: а давайте образуем множество, которое содержит все элементы вот этих множеств из этого набора. Нет никаких разумных возражений против того, что такое множество существует. Есть и более хитрые аксиомы, с которыми проблем немножко больше. Мы сейчас рассмотрим три хитрые аксиомы в теории множеств, про которые в принципе могут возникнуть сомнения.

Например, есть такая аксиома. Допустим, что у нас есть множество каких-то элементов, и допустим, что по каждому из них мы можем однозначно определить значение некой функции на этом элементе. Аксиома говорит, что мы можем применить эту функцию к каждому элементу этого множества, и то, что получится, вместе снова будет образовывать множество (рис. 2). Самый простой пример: функция, переводящая x в x 2 , ее мы умеем считать. Скажем, если у нас есть какой-то набор натуральных чисел, то мы можем каждое из них возвести в квадрат. Получится снова какой-то набор натуральных чисел. Такая интуитивно очевидная аксиома, согласны? Но вот, проблема в том, что эти функции могут быть определены очень сложным образом, множества могут быть очень большими. Бывает и такая ситуация: про нашу функцию мы умеем доказывать, что она однозначно определена, но сосчитать конкретное значение этой функции для каждого элемента множества - это чрезвычайно трудно или даже бесконечно трудно. Хотя мы знаем, что какой-то ответ уж точно есть, причем он однозначен. Даже в таких сложных ситуациях эта аксиома считается по-прежнему применимой, и как раз вот в таком самом общем виде она служит одним из источников проблем в теории множеств.

Вторая аксиома, которая, с одной стороны, очевидна, а с другой, приносит проблемы, - это аксиома взятия всех подмножеств данного множества. Она говорит, что если у нас какое-то множество есть, то у нас есть и множество, состоящее из всех подмножеств данного. Для конечных множеств это, разумеется, очевидно. Если у нас есть конечное множество из N элементов, то подмножеств у него будет всего 2 N . В принципе мы их можем даже все выписать, если мы не очень ленивы. С самым простым бесконечным множеством, у нас проблем тоже нет. Смотрите: возьмем множество натуральных чисел 1, 2, 3, 4, 5, 6, 7 и так далее. Почему нам очевидно, что семейство всех подмножеств множества натуральных чисел существует? Потому что мы знаем, что это за элементы. Как можно представить себе подмножество натуральных чисел? Давайте поставим единички у тех элементов, которые мы берем, а нолики - у тех, которые не берем, ну и так далее. Можно представить себе, что это бесконечная двоичная дробь (рис. 3). С точностью до маленьких поправок (вроде того, что некоторые числа могут представляться двумя разными бесконечными двоичными дробями) оказывается, что действительные числа - это примерно то же самое, что подмножества натуральных чисел. И поскольку интуитивно мы знаем, что с действительными числами все в порядке, они есть, наглядно их можно представлять как непрерывную прямую, то в этом месте с нашей аксиомой о множестве всех подмножеств данного множества тоже все в порядке.

Если дальше подумать, то становится уже немножко боязно. Тем не менее, математики считают, что эта аксиома всегда выполняется: если у нас какое-то множество есть, то значит, есть и множество всех его подмножеств. Иначе очень трудно было бы некоторые конструкции проделать.

И еще одна аксиома, с которой было больше всего проблем, потому что в нее сначала не верили. Может быть, вы даже слышали ее название - аксиома выбора. Ее можно сформулировать многими разными способами, некоторыми - очень сложными, некоторыми - очень простыми. Я сейчас расскажу самый наглядный способ сформулировать аксиому выбора, при котором будет действительно очевидно, что она верна. Пусть у нас есть набор каких-то множеств. Они могут на самом деле быть и пересекающимися между собой, но это не важно - пусть для простоты они пока не пересекающиеся. Тогда мы можем построить произведение всех этих множеств. Что это означает? Элементами этого произведения будут вот такие штуки - мы из каждого возьмем по одному элементу и образуем из них всех одно множество (рис. 4). Каждый способ выбрать по одному элементу из множества дает элемент произведения этих множеств.

Конечно, если среди этих множеств оказалось пустое, из которого выбрать нечего, то произведение их всех тоже будет пусто. А аксиома выбора утверждает такой совершенно очевидный факт - если все эти множества не пустые, то и произведение будет непустое. Согласны, что факт очевиден? И это, видимо, послужило, в конце концов, одним из самых сильных аргументов в пользу того, что действительно аксиома выбора верна. В других формулировках аксиома выбора звучит совсем не так очевидно, как в этой.

Наблюдения за тем, как математики доказывают свои утверждения, пытаясь перевести всю математику на язык теории множеств, показали, что во многих местах математики, сами того не замечая, эту аксиому используют. Как только это заметили, сразу стало понятно, что ее нужно выделить в отдельное утверждение - раз уж мы ее используем, то мы ее должны откуда-то взять. Либо мы должны ее доказать, либо мы должны объявить, что это базовый очевидный факт, который мы берем за аксиому и которым разрешаем пользоваться. Выяснилось, что это действительно базовый факт, что доказать его, используя только все остальные факты, невозможно, опровергнуть его тоже невозможно, и поэтому если уж его принимать, то принимать именно как аксиому. А принимать, конечно, надо, потому что в такой форме он и вправду очевиден.

Тут и возникли большие проблемы, потому что как только этот факт в явном виде сформулировали и сказали «будем его использовать», математики тут же кинулись его использовать и, используя его, доказали большое количество совершенно интуитивно неочевидных утверждений. И даже, более того - утверждений, которые интуитивно кажутся неверными.

Вот самый наглядный пример такого утверждения, которое доказали с помощью аксиомы выбора: можно взять шар, разделить его на несколько кусков и сложить из этих кусков два точно таких же шара. Что здесь означает «разделить на несколько кусков», допустим, на 7? Это значит, что про каждую точку мы говорим, в какой из этих семи кусков она попадает. Но это не то, что разрезать шар ножиком - это может быть гораздо сложнее. Например, вот такой трудно представимый, но легко объяснимый способ разрезать шар на два куска. Давайте возьмем в один кусок все точки, у которых все координаты рациональные, а в другой кусок - все точки, у которых есть иррациональная координата. Про каждую точку мы знаем, в какой из кусков она попала, т. е. это законное разделение шара на два куска. Но наглядно это представить себе очень трудно. Каждый из этих кусков, если издали на него посмотреть, будет выглядеть как шар целиком. Хотя один из этих кусков будет на самом деле очень маленький, а другой - очень большой. Так вот, доказали с помощью аксиомы выбора, что шар можно так разрезать на 7 кусков, а потом эти куски немножко передвинуть (именно передвинуть в пространстве, не искореживая никак, не искривляя) и собрать снова так, что получатся два шара, в точности таких же, как и тот, что был в самом начале. Это утверждение, хотя и доказано, звучит как-то дико. Но потом все-таки поняли, что лучше уж смириться с такими следствиями аксиомы выбора, чем вообще от нее отказываться. Иначе никак: либо мы отказываемся от аксиомы выбора, и тогда нам не удастся ее использовать вообще нигде, и очень многие важные красивые и интуитивно понятные математические результаты окажутся недоказуемыми. Либо мы ее берем - результаты становятся благополучно доказуемыми, но заодно у нас появляются такие вот уродцы. Но люди ко многому привыкают, и к этим уродцам они тоже привыкли. В общем, с аксиомой выбора сейчас вроде проблем нет.

Получается так, что у нас есть набор аксиом для теории множеств, есть наша математика. И более-менее кажется, что все, что могут люди сделать в математике, может быть выражено на языке теории множеств. Но тут возникает та же самая проблема, которую в свое время обнаружил Гёдель в арифметике. Если у нас есть некий достаточно богатый набор аксиом, которые описывают наш мир множеств (который есть мир всей математики), обязательно найдутся утверждения, про которые мы никак не сможем узнать, верны они или нет. Утверждения, которые из этих аксиом доказать мы не сможем, и опровергнуть тоже не сможем. Теория множеств сильно развивается, и сейчас она ближе всего к этой проблеме: часто приходится сталкиваться с ситуацией, когда некоторые вопросы звучат вполне естественно, ответ на них получить хочется, но доказано, что ответа мы никогда не узнаем, потому что и тот ответ, и другой ответ из аксиом выведен быть не может.

Что делать? В теории множеств как-то пытаются с этим бороться, а именно, пытаются придумывать новые аксиомы, которые по какой-то причине все-таки можно еще добавить. Хотя, казалось бы, все, что человечеству интуитивно очевидно, уже сведено к тем аксиомам теории множеств, которые были выработаны в начале XX века. А теперь оказывается, что хочется все-таки еще чего-то. Математики тренируют свою интуицию дальше, чтобы какие-то новые утверждения вдруг показались почему-то всем математикам интуитивно очевидными, и тогда их можно было бы принять в качестве новых аксиом в надежде, что с их помощью ответы на какие-то из таких вопросов могут быть получены.

О том, как все это происходит, конечно, рассказать я не могу, там чрезвычайно сложные утверждения, и нужно очень глубоко вкопаться в теорию множеств, во-первых, для того, чтобы понять, что они утверждают, а во-вторых, чтобы понять, что эти утверждения действительно можно считать интуитивно очевидными и принять за аксиомы. Вот этим занимается сейчас одна из самых загадочных областей математики - теория множеств.

Вторая теорема Горгия

Вторая теорема Горгия звучит так - если что и существует, то непознаваемо для человека. Сейчас я покажу несколько примеров утверждений, которые под эту категорию попадают.

С теорией множеств была проблема, имеем ли мы вообще право задавать вопросы вроде такого: «верна ли аксиома выбора?». Если мы хотим просто заниматься математикой, не вступая в противоречия, то мы в принципе можем и принять аксиому выбора, и принять, что она не верна. И в том и в другом случае мы сможем развивать математику, получая одни результаты в одном случае, другие - в другом, но никогда не придем к противоречию.

А вот теперь другая ситуация. Есть, видимо, результаты, ответ на которые очевидно существует, и очевидно он однозначно определен, но человечество его, может быть, никогда не узнает. Самый простой пример - это так называемая (3N + 1)-проблема, о которой я сейчас расскажу. Возьмем любое натуральное число. Если оно четно, то разделим его пополам. А если оно нечетно, то умножим его на 3 и прибавим 1. С полученным числом проделаем то же самое, и так далее. Например, если мы начнем с тройки, получится

Если мы начнем с семерки, немножко дольше будет продолжаться процесс. Уже начиная с некоторых маленьких чисел, эта цепочка может оказаться достаточно длинной, но все время она будет заканчиваться единичкой. Есть гипотеза, что с какого бы числа мы ни начали, если мы будем такую цепочку строить, то всегда обязательно доберемся до 1. В этом и состоит (3N + 1)-проблема - верна ли эта гипотеза?

Мне кажется, что все нынешние математики верят, что она верна. И некоторые самые безрассудные даже пытаются ее доказать. Но ни у кого ничего не вышло. И не выходит уже много десятков лет. Так что это одна из привлекательных задач. Серьезные математики, конечно, относятся к ней свысока - просто как к забавной головоломке. Неизвестно, что там будет, да и кому нужно знать, что там будет. Но несерьезным математикам все-таки интересно, справедлива гипотеза или нет. И пока ее не доказали, совершенно все что угодно тут может произойти. Во-первых, очевидно, что у этого вопроса ответ однозначный: да или нет. Либо правда, что, начиная от любого натурального числа, мы сползем к единице, либо неправда. Интуитивно ясно, что тут уже ни от какого выбора аксиом, ни от какой воли человеческой ответ не зависит. Так вот, есть предположение, что человечество никогда не узнает ответ на этот вопрос.

Конечно, если кто-то докажет эту гипотезу, то тогда мы узнаем ответ. Но что значит докажет? Это значит, что он объяснит нам, по каким причинам любое натуральное число сходится к 1, и эти причины окажутся для нас понятными.

Может случиться, что кто-то докажет, что некоторое семидесятитрехзначное число обладает именно такими свойствами, что запустив от него эту цепочку, мы обязательно будем получать сколь угодно большие числа. Или докажет, что эта цепочка зациклится где-то в другом месте. Опять же, это будет причиной, почему гипотеза неверна.

А вот у меня, например, такой страшный кошмар: а что, если это утверждение верно, но без всякой на то причины? Верно, а причины, которую один человек может понять и объяснить другому, у этого утверждения нет вовсе. Тогда мы никогда не узнаем ответа. Потому что останется только перебрать все натуральные числа и для каждого проверить гипотезу. А это, естественно, вне наших сил. Закон сохранения энергии не позволяет проделать бесконечное количество операций за конечное время. Или конечность скорости света. В общем, физические законы не позволяют нам проделать бесконечное количество операций за конечное время и узнать результат.

Очень многие нерешенные задачи как раз относятся именно к этой области, т. е. в принципе их очень хотят решить. Некоторые из них скорее всего решат. Вы все наверняка слышали название «гипотеза Римана». Может быть кто-нибудь из вас даже смутно понимает, что эта гипотеза гласит. Я лично понимаю очень смутно. Но с гипотезой Римана, по крайней мере, более менее ясно, что она верна. Все математики в нее верят, и, я надеюсь, ее докажут в ближайшее время. А есть некоторые утверждения, которые никто не может пока ни доказать, ни опровергнуть, и даже в гипотезе нет уверенности, какой из двух ответов верен. Возможно, что на какие-нибудь из этих вопросов человечество в принципе никогда ответов не получит.

Третья теорема Горгия

Третья теорема - ежели что-то и познаваемо, то непередаваемо ближнему. Тут как раз самые жгучие проблемы у современной математики и самые, может быть, муссируемые. Человек что-то доказал, но рассказать это доказательство другому человеку он не способен. Или убедить другого человека в том, что он действительно это доказал. Так бывает. Самый первый пример из этой области и самый известный публике -это проблема четырех красок. Но это еще не самая тяжелая ситуация, которая здесь возникает. Я сейчас скажу немножко про проблему четырех красок, а потом покажу ситуации более безумные.

Что такое проблема четырех красок? Это вопрос из теории графов. Граф - это просто некоторые вершины, которые могут быть соединены между собой ребрами. Если мы эти вершины сможем нарисовать на плоскости, и ребрами соединить так, чтобы ребра между собой не пересекались, получится граф, который называется плоским. Что такое раскраска графа? Мы красим его вершины в разные цвета. Если мы это сделали так, что соседние по ребру вершины всегда разного цвета, раскраска называется правильной. Хочется правильно покрасить граф, использовав как можно меньше различных цветов. Вот, например, на рисунке 5 у нас есть три вершины, которые попарно соединены - значит, никуда не денешься, эти вершины будут обязательно иметь три разных цвета. Но вообще для покраски этого графа хватает четырех цветов (а трех не хватает, можете проверить).

Сто лет стояла проблема: правда ли, что любой граф, который можно нарисовать на плоскости, можно раскрасить в четыре цвета? Кто-то верил и пытался доказать, что четырех цветов всегда хватит, кто-то не верил и пытался придумать пример, когда четырех цветов не хватит. Еще была такая неприятность: проблема очень легко формулируется. Поэтому многие люди, даже несерьезные математики, накинулись на нее и стали пытаться ее доказывать. И предъявляли огромное количество якобы доказательств или якобы опровержений. Посылали их математикам, кричали в газетах: «Ура! Я доказал проблему четырех красок!» - и даже выпускали книжки с ошибочными доказательствами. Словом, большой был шум.

В конце концов ее доказали К. Аппель и В. Хакен. Схему доказательства я вам сейчас примерно опишу. И заодно мы увидим, почему это доказательство непередаваемо другим. Начали люди с того, что всерьез стали изучать, как устроены плоские графы. Они предъявили список из нескольких десятков конфигураций и доказали, что в каждом плоском графе какая-то из этих конфигураций обязательно найдется. Это первая половина доказательства. А вторая половина доказательства - для каждой из этих конфигураций можно проверить, что если она в нашем графе есть, то его удастся раскрасить в четыре цвета.

Более точно, дальше доказательство идет от противного. Предположим, что наш граф нельзя раскрасить в четыре цвета. Из первой половины мы знаем, что в нем есть какая-то конфигурация из списка. После этого для каждой из этих конфигураций проводится такое рассуждение. Предположим, что наш граф содержит эту конфигурацию. Выкинем ее. По индукции, то, что осталось, в четыре цвета красится. И проверяем, что как бы мы ни раскрасили оставшееся в четыре цвета, вот эту саму конфигурацию докрасить нам удастся.

Самый простой пример докрашиваемой конфигурации - вершина, которая соединена всего с тремя другими. Понятно, что если в нашем графе есть такая вершина, то мы можем оставить раскрашивание ее напоследок. Раскрасим все остальное, а потом посмотрим, к каким цветам присоединена эта вершина, и выберем четвертый. Для других конфигураций рассуждения аналогичные, но более сложные.

Теперь, как все это было проделано? Проверить, что каждая из такого большого количества конфигураций всегда докрашивается, руками невозможно - надо слишком много времени. И вот эту проверку поручили компьютеру. А он, перебрав большое количество случаев, действительно проверил, что это так. В результате появилось доказательство проблемы четырех красок.

Первоначально выглядело оно вот как. Человеческая часть рассуждения, записанная в толстой книге, и к ней прилагались фразы, что окончательная проверка того, что все раскрашивается, была поручена компьютеру, и даже текст компьютерной программы приводился. Эта программа все просчитала и все проверила - действительно, все нормально, и значит, теорема четырех красок доказана.

Тут же поднялся шум - можно ли такому доказательству верить. Ведь большая часть доказательства проведена компьютером, а не человеком. «А вдруг компьютер ошибся?» - говорили такие недалекие люди.

И проблемы с этим доказательством действительно начались, но они оказались не в компьютерной части, а в человеческой. В доказательстве были найдены недочеты. Понятно, что такой длины текст, содержащий сложные переборы, конечно, может содержать ошибки. Ошибки эти были найдены, но, к счастью, их удалось исправить.

Осталась компьютерная часть, которую с тех пор уже тоже проверили не на одном компьютере, переписывая даже программы, просто проделав тот же перебор. Ведь если сказано, что именно следует перебирать, то каждый может написать свою программу и проверить, что результат будет такой, как надо. И мне, например, кажется, что использование таких вот больших компьютерных переборов в доказательстве - это как раз не проблема. Почему? А вот по той же причине, которая на примере проблемы четырех красок уже проявилась - что к компьютерным доказательствам доверия гораздо больше, чем к человеческим, а не меньше. Кричали, что компьютер - это же машина, а вдруг она где-то сломалась, сбилась, что-то там неправильно посчитала... А вот этого как раз быть не может. Потому что если компьютер случайно где-то засбоил, и произошла ошибка - нолик случайно заменился на единичку, - это не приведет к неверному результату. Это приведет к отсутствию результата, просто программа в конце концов сломается. Какая типичная операция, которую компьютер выполняет? Взяли из такого-то регистра такое-то число и передали по нему управление туда-то. Естественно, что если в этом числе произошло изменение в один бит, управление передалось вообще неизвестно куда, там написаны какие-то команды, которые очень скоро просто все разрушат.

Может быть, конечно, ошибка в написании программы для компьютера, но это уже человеческая ошибка. Человек может прочитать программу и проверить, правильная она или нет. Так же человек может прочитать чужое доказательство и проверить, правильное оно или нет. Но у человека гораздо больше шансов ошибиться, чем у компьютера. Если вы читаете чужое достаточно длинное доказательство, и в нем есть ошибка, то есть все шансы, что вы ее не заметите. Почему? В первую очередь потому, что раз сам автор доказательства сделал эту ошибку - значит, она психологически обоснована. То есть, он не просто так ее сделал, по случайности - это в принципе такое место, где типичный человек может сделать такую ошибку. Значит, и вы можете сделать ту же самую ошибку, читая это место и соответственно ее не заметив. Поэтому проверка человеком, человеческого же доказательства - это гораздо менее надежный способ проверки, чем проверка результата работы компьютерной программы с помощью запуска ее еще раз на какой-то другой машине. Второе практически гарантирует, что все нормально, а первое - это как повезло.

И вот с этой проблемой - найти ошибку в записанном людьми математическом тексте, - становится все труднее, а иногда и вообще невозможно - это серьезная проблема современной математики. С ней нужно бороться. Как - сейчас пока никто не знает. А проблема большая и всерьез возникла именно сейчас - тому несколько примеров существует. Вот, возможно, менее известный, но один из самых современных. Это старинная гипотеза Кеплера. Говорит она об укладывании шариков в трехмерном пространстве.

Давайте сначала посмотрим, что происходит в двумерном пространстве, т. е. на плоскости. Пусть у нас есть одинаковые кружочки. Как плотнее всего нарисовать их на плоскости, чтобы они не пересекались? Есть ответ - надо поместить центры кружков в узлы шестиугольной решетки. Это утверждение не совсем тривиальное, но легкое.

А в трехмерном пространстве как бы вы стали плотно упаковывать шарики? Сначала разложим на плоскости шарики так, как показано на рисунке 6. Потом сверху положим еще один такой же слой, вдавливая до упора, как показано на рисунке 7. Потом сверху еще один такой же слой, и так далее. Интуитивно очевидно, что это и есть самый плотный способ уложить шарики в трехмерном пространстве. Кеплер утверждал (и, похоже, первым сформулировал), что эта упаковка должна быть самой плотной упаковкой в трехмерном пространстве.

Произошло это в XVII веке, с тех пор эта гипотеза и стоит. В начале XXI века появилось ее доказательство. И любой из вас может его достать и прочитать. Оно в открытом доступе лежит в Интернете. Это статья в двести с чем-то страниц. Она написана каким-то одним человеком, и тоже содержит как некоторые чисто математические рассуждения, так и компьютерный счет.

Сначала автор математическими рассуждениями пытается свести задачу к проверке конечного числа случаев. После этого, иногда используя компьютер, он это конечное, но очень большое число случаев проверяет, все сходится, и - ура! - гипотеза Кеплера доказана. И вот проблема с этой статьей - ее никто не может прочитать. Потому что она тяжелая, потому что местами не совсем понятно, что перебор действительно полный, потому что просто скучно ее читать. Двести страниц скучных вычислений. Человек ее прочитать не в силах.

Вообще говоря, все верят, что эта статья содержит доказательство этой теоремы. Но с другой стороны, никто до сих пор не проверил это честно, в частности, эта статья не опубликована ни в одном рецензируемом журнале, т. е. никакой уважающий себя математик не готов поставить подпись под утверждением, что «да, все верно, и гипотеза Кеплера доказана».

И это не единственная ситуация, и в других областях математики такое тоже встречается. Совсем недавно я напоролся на список нерешенных проблем в теории множеств, в теории моделей, в разных областях. И вот к одной гипотезе там комментарии такие: она якобы опровергнута в статье вот такой-то, но никто в это не верит.

Вот такая ситуация. Человек доказал утверждение, но передать это другому, рассказать это другому он не в силах.

Самый страшный пример - это, конечно, классификация конечных простых групп. Я не буду формулировать точно, что это такое, что такое группы, что такое конечные группы, если захотите - узнаете сами. Конечные группы все в некотором смысле собираются из простых блоков, которые называются простыми группами, а те уже нельзя разобрать на более мелкие блоки. Этих конечных простых групп бесконечно много. Полный их список выглядит так: это семнадцать бесконечных серий, к которым еще в конце добавлены 26 отдельных групп, которые построены каким-то отдельным способом и ни в какую серию не входят. Утверждается, что этот список содержит все конечные простые группы. Задача страшно нужная для математики. Поэтому в 70-е годы, когда появились некоторые особенные идеи и надежды на ее решение, на задачу накинулись несколько сот математиков из разных стран, из разных институтов, каждый брался за свой кусочек. Были и, так сказать, архитекторы этого проекта, которые примерно представляли, как все это вместе потом будет собрано в единое доказательство. Понятно, что люди торопились, конкурировали. В результате, кусочки, которые они делали - это в совокупности около 10000 журнальных страниц, и это только то, что опубликовано. А есть еще и статьи, которые существовали или в виде препринтов, или в виде машинописных копий. Я сам одну такую статью читал в свое время, она так никогда и не была опубликована, хотя включает в себя заметный кусочек этого полного доказательства. И вот эти 10000 страниц разбросаны в разных журналах, написаны разными людьми, с разной степенью понятности, и обычному математику, не связанному с этим и не являющемуся одним из архитекторов этой теории, мало того что невозможно прочитать все 10000 страниц, так еще и очень трудно понять само устройство доказательства. К тому же с тех пор некоторые из этих архитекторов просто умерли.

Объявили, что классификация завершена, хоть доказательство и существует лишь в виде текста, который никто прочитать не может, и это привело к следующей неприятности. Новые математики с меньшей охотой стали идти в теорию конечных групп. Все меньше и меньше людей этим занимается. И вполне может случиться, что через 50 лет уже вообще на Земле не найдется человека, который будет способен что-то понять в этом доказательстве. Будут ходить легенды: наши великие предки умели доказывать, что все конечные простые группы перечислены вот в этом списке, и что других нет, но сейчас это знание утеряно. Вполне реалистичная ситуация. Но, к счастью, не один я считаю эту ситуацию реалистичной, поэтому с ней борются, и я слышал, что даже организовали специальный проект «Философские и математические проблемы, связанные с доказательством классификации конечных простых групп». Есть люди, которые пытаются это доказательство привести к читаемому виду, и, может быть, когда-нибудь это действительно получится. Есть люди, которые пытаются разобраться, что же делать со всеми этими трудностями. Человечество помнит об этой задаче, и, значит, оно с ней, в конце концов справится. Но тем не менее вполне может быть, что будут появляться другие такие же сложные теоремы, которые могут быть доказаны, но доказательство которых никто не способен прочитать, никто не способен никому рассказать.

Четвертая теорема

Ну и теперь четвертая теорема, о которой я немного расскажу, может быть даже самая страшная - «ежели даже и сможет рассказать, то никто не заинтересуется». Некий осколок от этой проблемы уже прозвучал. Людям перестало интересно заниматься конечными группами. Все меньше и меньше людей этим занимаются, и масса знаний, которая сохранилась в виде текстов, уже никому не нужна, ее никто не умеет читать. Это тоже беда, которая грозит многим областям математики.

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

Как человечество со всеми этими проблемами будет справляться - я не знаю, но посмотреть будет интересно.

Вот, собственно, и все.

На следующий вечер портье Гильберт столкнулся с гораздо более трудной проблемой. Как и накануне, отель был переполнен, когда прибыл бесконечно длинный лимузин, из которого высадилось бесконечно много новых гостей. Но Гильберта это нисколько не смутило, и он только радостно потирал руки при мысли о бесконечно многих счетах, которые оплатят вновь прибывшие. Всех, кто уже обосновался в отеле, Гильберт попросил переселиться, соблюдая следующее правило: обитателя первого номера - во второй номер, обитателя второго номера-в четвертый номер, и т. д., то есть каждого постояльца Гильберт попросил перейти в новый номер с вдвое большим «адресом». Все, кто жил в отеле до прибытия новых гостей, остался в отеле, но при этом освободилось бесконечно много номеров (все те, «адреса» которых нечетны), в которых находчивый портье расселил новых гостей. Этот пример показывает, что удвоенная бесконечность также равна бесконечности.

Возможно, отель Гильберта наведет кого-нибудь на мысль, что все бесконечности одинаково велики, равны друг другу, и что любые различные бесконечности можно втиснуть в номера одного и того же бесконечного отеля, как это делал находчивый портье. Но в действительности одни бесконечности больше других. Например, любая попытка найти в пару каждому рациональному числу иррациональное число так, чтобы ни одно иррациональное число не осталось без своей рациональной пары, непременно заканчивается неудачей. И действительно, можно доказать, что бесконечное множество иррациональных чисел больше бесконечного множества рациональных чисел. Математикам пришлось создать целую систему обозначений и названий с бесконечной шкалой бесконечностей, и манипулирование с этими понятиями - одна из наиболее острых проблем нашего времени.

Хотя бесконечность количества простых чисел навсегда разрушила надежды на скорое доказательство Великой теоремы Ферма, такой большой запас простых чисел пригодился, например, в таких областях как шпионаж или исследование жизни насекомых. Прежде чем мы вернемся к повествованию о поиске доказательства Великой теоремы Ферма, уместно немного отвлечься и познакомиться с тем, как правильно и неправильно используются простые числа.

* * *

Теория простых чисел - одна из немногих областей чистой математики, которые нашли непосредственное приложение в реальном мире, а именно в криптографии. Криптография занимается кодированием секретных посланий с таким расчетом, чтобы декодировать их мог только получатель, а перехватчик расшифровать бы их не мог. Процесс кодирования требует использования ключа к шифру, и по традиции для дешифровки необходимо снабдить получателя этим ключом. При такой процедуре ключ - самое слабое звено в цепи обеспечения безопасности. Во-первых, получатель и отправитель должны условиться о деталях ключа, и обмен информацией на этом этапе сопряжен с определенным риском. Если противнику удастся перехватить ключ при обмене информацией, то он сможет дешифровывать все последующие послания. Во-вторых, для поддержания безопасности ключи необходимо регулярно менять, и при каждой замене ключа существует риск перехвата нового ключа противником.

Проблема ключа вращается вокруг того факта, что применение ключа в одну сторону приводит к шифровке послания, а применение того же ключа в обратную сторону дешифрует послание - дешифровка производится столь же легко, как и шифровка. Но из опыта нам известно, что ныне существуют многие ситуации, когда дешифровка гораздо сложнее, чем шифровка: приготовить яичницу-болтунью несравненно легче, чем вернуть яичницу-болтунью в исходное состояние, разделив белки и желтки.

В 70-е годы XX века Уитфилд Диффи и Мартин Хеллман занялись поиском математического процесса, который было бы легко выполнить в одну сторону, но невероятно трудно - в противоположную сторону. Такой процесс дал бы идеальный ключ. Например, у меня мог бы быть мой собственный ключ из двух частей, и его шифровальную часть я мог бы опубликовать в общедоступном месте. После этого любой желающий мог бы посылать мне зашифрованные послания, но дешифровальная часть ключа была бы известна только мне. И хотя шифровальная часть ключа была бы доступна всем, к дешифровальной части она не имела бы никакого отношения.

В 1977 году Рональд Ривест, Ади Шамир и Леонард Адлеман - группа математиков и специалистов по компьютерам из Массачусеттского технологического института - выяснили, что простые числа являются идеальным базисом для процесса легкой шифровки и трудной дешифровки. Чтобы изготовить мой собственный персональный ключ, я мог бы взять два огромных простых числа, каждое из которых содержит до 80 знаков, и, умножив одно число на другое, получить еще большее составное число. Все, что требуется для кодирования посланий, - это знать большое составное число, тогда как для дешифровки послания необходимо знать два исходных простых числа, которые мы перемножили, т. е. простые множители составного числа. Я могу позволить себе опубликовать большое составное число - шифровальную половину ключа, и сохранить в тайне два простых множителя - дешифровальную половину ключа. Очень важно, что хотя любому известно большое составное число, разложить его на два простых множителя чрезвычайно трудно.

Рассмотрим более простой пример. Предположим, что я выбрал и сообщил всем желающим составное число 589, позволяющее каждому посылать мне шифрованные послания. Два простых множителя числа 589 я сохранил бы в тайне, поэтому расшифровать послания никто, кроме меня, не может. Если бы кому-нибудь удалось найти два простых множителя числа 589, то такой человек также смог бы дешифровывать адресованные мне послания. Но сколь ни мало число 589, найти его простые множители не так-то просто. В данном случае на настольном компьютере в несколько минут можно было бы обнаружить, что простые множители числа 589 равны 31 и 19 (31·19 = 589), поэтому мой ключ не мог бы гарантировать безопасность переписки особенно долго.

Но если бы составное число, которое я опубликовал, содержало более сотни знаков, это делало бы поиск простых множителей практически неразрешимой задачей. Даже если для разложения огромного составного числа (шифровального ключа) на два простых множителя (дешифровального ключа) использовать самые мощные компьютеры, которые только существуют в мире, то и тогда, чтобы найти эти множители, понадобилось бы несколько лет. Следовательно, чтобы сорвать коварные планы иностранных шпионов, мне необходимо всего лишь ежегодно менять ключ. Раз в год я довожу до всеобщего сведения свое новое гигантское составное число, и тогда всякий, кто пожелает попытать счастья и расшифровать мои послания, будет вынужден приступать заново к разложению опубликованного числа на два простых множителя.

* * *

Простые числа встречаются и в мире живой природы. У периодических цикад, известных как Magicicada septendecim, самый длинный жизненный цикл из всех насекомых. Их жизнь начинается под землей, где личинки терпеливо сосут соки из корней деревьев. И лишь через 17 лет ожидания взрослые цикады появляются из-под земли, собираются в огромные рои и на какое-то время заполоняют все вокруг. За несколько недель они спариваются, откладывают яйца, а затем умирают.

Вопрос, который не давал биологам покоя, - почему жизненный цикл у цикад такой длинный? Имеет ли какое-нибудь значение для жизненного цикла то, что продолжительность его выражается простым числом лет? Другой вид - Magicicada tredecim - роится через каждые 13 лет. Это наводит на мысль, что продолжительность жизненного цикла, выражающаяся простым числом лет, дает виду определенные эволюционные преимущества.

Месье Леблан

К началу XIX века за Великой теоремой Ферма установилась устойчивая репутация самой трудной проблемы в теории чисел. После прорыва, осуществленного Эйлером, не было ни малейшего продвижения, пока сенсационное заявление одной юной француженки не вдохнуло новые надежды. Поиски доказательства Великой теоремы Ферма возобновились с новой силой. Софи Жермен выпало жить в эпоху шовинизма и предрассудков, и для того, чтобы иметь возможность заниматься математикой, ей пришлось принять псевдоним, работать в ужасных условиях и творить в интеллектуальной изоляции.

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

В более поздние времена сторонники и последователи Сократа и Платона продолжали приглашать женщин в свои школы, но только в IV веке н. э. женщина-математик основала свою собственную влиятельную школу. Ипатия, дочь профессора математики Александрийской академии, прославилась на весь известный тогда мир своими диспутами и умением решать различные задачи. Математики, на протяжении долгих месяцев ломавшие головы над решением какой-нибудь задачи, обращались к Ипатии с просьбой о помощи, и та редко разочаровывала своих поклонников. Математика и процесс логического доказательства целиком захватили ее, и на вопрос, почему она не выходит замуж, Ипатия отвечала, что обручена с Истиной. Именно безграничная вера Ипатии в человеческий разум стала причиной ее смерти, когда Кирилл, патриарх Александрийский, начал преследовать философов, естествоиспытателей и математиков, которых он называл еретиками. Историк Эдвард Гиббон оставил яркое описание событий, происшедших после того, как Кирилл организовал заговор против Ипатии и натравил на нее толпу.

«В тот роковой день, в священный сезон Лента, Ипатию вытащили из колесницы, на которой она ехала, раздели донага, поволокли к церкви и бесчеловечно разрубили ее на части руками Петра Чтеца и толпы диких и безжалостных фанатиков; ее плоть содрали с костей острыми устричными раковинами, а ее трепещущие конечности были сожжены на костре».

После смерти Ипатии в математике наступил период застоя. Вторая женщина, заставившая говорить о себе как о математике, появилась только после Возрождения. Мария Аньези родилась в Милане в 1718 году. Как и Ипатия, она была дочерью математика. Аньези была признана одним из лучших математиков Европы. Особую известность ей принесли труды, посвященные касательным к кривым. В Италии кривые назывались «versiera» (от латинского «поворачивать»), но это же слово считалось сокращением слова «avversiera» - «жена дьявола». Кривые, исследованные Аньези (versiera Agnesi) были неправильно переведены на английский язык как «ведьма Аньези», и со временем Марию Аньези стали величать так же.

Хотя математики по всей Европе признавали математический талант Аньези, многие академические учреждения, в частности Французская Академия, отказались предоставить ей пост, позволяющий заниматься исследованиями. Политика недопущения женщин на академические посты продолжалась и в XX веке, когда Эмми Нётер, о которой Эйнштейн отзывался как о «наиболее значительном творческом математическом гении из числа появившихся с тех пор, как началось высшее образование для женщин», отказали в предоставлении права чтения лекций в Гёттингенском университете. Большинство профессоров рассуждало так: «Как можно допустить, чтобы женщина стала приват-доцентом? Ведь если она станет приват-доцентом, то со временем может стать профессором и членом университетского сената… Что подумают наши солдаты, когда вернутся в университет и узнают, что должны будут учиться у ног женщины?» Давид Гильберт, друг и наставник Эмми Нётер, возразил на это так: «Господа! Я не понимаю, почему пол кандидата препятствует принятию ее в качестве приват-доцента. В конце концов университетский сенат - не мужские бани».

Позднее у Эдмунда Ландау, коллеги Нётер, спросили, действительно ли Нётер великая женщина-математик, на что он ответил: «Я могу поклясться, что она великий математик, но в том, что она женщина, я поклясться не могу».

Помимо того, что Эмми Нётер так же, как и женщины-математики прошлых веков, страдала от дискриминации, она имела с ними еще много общего: например, была дочерью математика. Вообще, многие математики происходили из математических семейств, и это породило лишенные всякого основания слухи об особом математическом гене, но среди женщин-математиков процент выходцев из математических семей особенно велик. Объяснение заключается, по-видимому, в том, что даже самые одаренные женщины не решились бы изучать математику или не получили бы поддержку своим намерениям, если бы их семья не была бы причастна науке. Подобно Ипатии, Аньези и большинству других женщин-математиков, Нётер не была замужем. Столь массовое безбрачие среди женщин-математиков объясняется тем, что выбор женщиной профессии математика встречал неодобрительное отношение со стороны общества, и лишь немногие мужчины осмеливались предложить руку и сердце женщинам с такой «сомнительной» репутацией. Исключением из общего правила стала великая женщина-математик из России Софья Васильевна Ковалевская. Она вступила в фиктивный брак с палеонтологом Владимиром Онуфриевичем Ковалевским. Для обоих брак был спасением, позволив им вырваться из-под опеки семей и сосредоточиться на научных исследованиях. Что же касается Ковалевской, то путешествовать в одиночку ей было гораздо удобнее под видом респектабельной замужней дамы.

Из всех европейских стран наиболее непримиримую позицию по отношению к образованным женщинам занимала Франция, провозгласившая, что математика - неподходящее занятие для женщин и лежит за пределами их умственных способностей! И хотя салоны Парижа доминировали в математическом мире XVIII и XIX веков, только одной женщине удалось вырваться из пут французского общественного мнения и утвердить за собой репутацию крупного специалиста по теории чисел. Софи Жермен революционизировала поиски Доказательства Великой теоремы Ферма и внесла вклад, значительно превосходящий все, что сделали ее предшественники-мужчины.

Софи Жермен родилась 1 апреля 1776 года в семье торговца Амбруаза Франсуа Жермен. Помимо увлечения математикой на ее жизнь глубокое влияние оказали бури и невзгоды Великой французской революции. В тот самый год, когда она открыла для себя свою любовь к числам, народ взял штурмом Бастилию, а на то время, когда она занималась изучением математического анализа, пала тень царства террора. Хотя отец Софи был вполне состоятельным человеком, Жермены не принадлежали к аристократии.

Девушек, стоявших на той же ступени социальной лестницы, что и Софи, не особенно поощряли к изучению математики, тем не менее предполагалось, что они должны обладать достаточным знанием этого предмета, чтобы иметь возможность поддержать светский разговор, если он коснется какого-нибудь математического вопроса. Для этого была написана серия учебников, призванных ознакомить их с последними достижениями математики и естествознания. Так, перу Франческо Альгаротти принадлежал учебник «Философия сэра Исаака Ньютона, объясненная для пользы дам». Поскольку Альгаротти был убежден в том, что дам могут интересовать только романы, открытия Ньютона он попытался изложить в виде диалога маркизы, флиртующей с собеседником. Например, собеседник излагает маркизе закон всемирного тяготения, в ответ на что маркиза высказывает собственную интерпретацию этого фундаментального закона физики: «Я не могу отделаться от мысли, что… то же соотношение, обратная пропорциональность квадрату расстояния… наблюдается и в любви. Например, если влюбленные не видятся восемь дней, то любовь становится в шестьдесят четыре раза слабее, чем в день разлуки».

Неудивительно, что интерес Софи Жермен к науке возник не под влиянием книг такого галантного жанра. Событие, изменившее всю ее жизнь, произошло в тот день, когда она, перебирая книги в отцовской библиотеке, случайно наткнулась на «Историю математики» Жана Этьена Монтуклы. Ее внимание привлекла глава, в которой Монтукла рассказывает о жизни Архимеда. Перечень открытий Архимеда в изложении Монтуклы, несомненно, вызывал интерес, но особенно воображение Софи захватил эпизод, в котором речь шла о смерти Архимеда.

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

Жермен рассудила, что если геометрическая задача может настолько захватить кого-то, что это привело к его смерти, то математика должна быть самым удивительным предметом в мире. Софи немедленно принялась за самостоятельное изучение основ теории чисел и математического анализа, и вскоре засиживалась допоздна, читая труды Эйлера и Ньютона. Внезапный интерес к столь «неженскому» предмету, как математика, встревожил родителей Софи. Друг семьи граф Гульельмо Либри-Каруччи далла Соммайя рассказывал, что отец Софи отобрал у дочери свечи, одежду и унес жаровню, обогревавшую ее комнату, чтобы помешать ей заниматься математикой. Несколькими годами позднее в Британии отец молодой девушки-математика Мэри Сомервилл также отнял у дочери свечи, заявив: «Этому нужно положить конец, если мы не хотим увидеть Мэри в смирительной рубашке».

Но в ответ Софи Жермен завела тайное хранилище для свечей и спасалась от холода, кутаясь в простыни. По сообщению Либри-Каруччи, ночи зимой бывали такими холодными, что чернила замерзали в чернильнице, но Софи продолжала заниматься математикой, невзирая ни на что. Некоторые из знавших ее в юности утверждали, что она была застенчивой и неуклюжей, но решимости ей было не занимать, и в конце концов родители уступили и дали Софи благословение на занятия математикой. Жермен никогда не была замужем, и на протяжении всей ее карьеры исследования Софи финансировал отец. Долгие годы Жермен проводила свои исследования в полном одиночестве, потому что в семье не было математиков, которые могли бы познакомить ее с новейшими идеями, а учителя Софи отказывались признать ее всерьез.

Жермен обретала все большую уверенность в своих силах и перешла от решения задач в учебных заданиях к изучению еще неисследованных областей математики. Но самое важное для нашего повествования заключается в том, что Софи заинтересовалась теорией чисел и, естественно, не могла не услышать о Великой теореме Ферма. Несколько лет Жермен проработала над ее доказательством и, наконец, достигла такого этапа, когда ей показалось, что она смогла продвинуться к желанной цели. Возникла насущная необходимость обсудить полученные результаты с коллегой, специалистом по теории чисел, и Жермен решилась обратиться к самому большому специалисту по теории чисел - немецкому математику Карлу Фридриху Гауссу.

По всеобщему признанию Гаусс - самый блестящий из когда-либо живших на свете математиков. Э.Т. Белл называл Ферма «князем любителей», а Гаусса - «князем математиков». Впервые Жермен по достоинству оценила талант Гаусса, встретив его шедевр «Арифметические исследования» - наиболее важный и необычайно широкий по охвату проблем трактат из написанных со времен «Начал» Евклида. Труды Гаусса оказали влияние на все разделы математики, но, как ни странно, он никогда ничего не опубликовал о Великой теореме Ферма. В одном письме Гаусс высказал даже пренебрежительное отношение к проблеме Ферма. Друг Гаусса, немецкий астроном Генрих Ольберс, написал ему письмо, настоятельно советуя принять участие в конкурсе на соискание премии Парижской Академии за решение проблемы Ферма: «Мне кажется, дорогой Гаусс, что Вам следовало бы озаботиться этим». Двумя неделями позже Гаусс ответил: «Весьма обязан за вести относительно Парижской премии. Но признаюсь, что Великая теорема Ферма как некое отдельное предложение представляет для меня весьма малый интерес, поскольку я мог бы привести множество таких предложений, которые невозможно ни доказать, ни опровергнуть». Гаусс имел право придерживаться своего мнения, однако Ферма ясно заявил, что доказательство существовало, и даже предпринятые впоследствии неудачные попытки найти доказательство породили новые и оригинальные методы, такие, как доказательство методом бесконечного спуска и использование мнимых чисел. Возможно, Гаусс также пытался найти доказательство и потерпел неудачу, а его ответ Ольберсу - всего лишь вариант заявления «зелен виноград». Тем не менее, успех, достигнутый Жермен, о котором Гаусс узнал из ее писем, произвел на него столь сильное впечатление, что Гаусс на время забыл о своем пренебрежительном отношении к Великой теореме Ферма.

Семьюдесятью пятью годами ранее Эйлер опубликовал найденное им доказательство для n =3, и с тех пор все математики тщетно пытались доказать Великую теорему Ферма в других частных случаях. Но Жермен избрала новую стратегию и в письмах к Гауссу изложила так называемый общий подход к проблеме Ферма. Иначе говоря, ее непосредственной целью было не доказательство отдельного случая - Жермен вознамерилась сказать нечто о многих частных случаях сразу. В письмах к Гауссу она изложила общий ход вычислений, сосредоточенных на простых числах p частного типа: таких, что числа 2p +1 - также простые. В составленный Жермен перечень таких простых чисел входит число 5, поскольку 11 = 2·5 + 1 - также простое, но число 13 в него не входит, так как 27 = 2·13 + 1 не простое.

В частности, Жермен с помощью изящного рассуждения, доказала, что если уравнение x n + y n = z n имеет решения для таких простых n , что 2n +1 также простое число, то либо x, y , либо z делится n .

В 1825 году метод Софи Жермен был успешно применен Густавом Леженом Дирихле и Адриеном Мари Лежандром. Этих ученых разделяло целое поколение. Лежандр был семидесятилетним старцем, пережившим политические бури Великой французской революции. За отказ поддержать правительственного кандидата в Национальный Институт он был лишен пенсии, и к тому времени, когда он внес свою лепту в доказательство Великой теоремы Ферма, Лежандр испытывал сильнейшую нужду. Дирихле же был молодым и исполненным честолюбивых замыслов специалистом по теории чисел, которому едва исполнилось двадцать лет. И Лежандру, и Дирихле независимо друг от друга удалось доказать Великую теорему Ферма при n =5, причем оба основывали свои доказательства на рассуждениях Софи Жермен и именно ей были обязаны своим успехом.

Еще один прорыв осуществил четырнадцатью годами спустя француз Габриель Ламе. Он внес некоторые остроумные усовершенствования в метод Жермен и доказал Великую теорему Ферма при простом значении n =7. Жермен показала специалистам по теории чисел, как исключить целую группу случаев с простыми значениями n , и теперь объединенными усилиями ее коллеги продолжали доказывать теорему для одного простого значения n за другим. Работа Жермен над Великой теоремой Ферма стала ее величайшим достижением в математике, хотя и не сразу оцененным по достоинству. Когда Жермен впервые написала Гауссу, ей не было еще и тридцати лет, и хотя ее имя приобрело известность в Париже, она опасалась, что великий математик не воспримет письмо от женщины всерьез. Чтобы защитить себя, Жермен снова укрылась за псевдонимом, подписав письмо именем месье Леблана.

Софи не скрывала своего благоговения перед Гауссом. Вот фраза из ее письма: «К сожалению, глубина моего интеллекта уступает ненасытности моего аппетита, и я сознаю все безрассудство своего поступка, когда беру на себя смелость побеспокоить гениального человека, не имея ни малейшего права на его внимание, кроме восхищения, которое неизбежно охватывает всех его читателей». Гаусс, не подозревая о том, кто в действительности его корреспондент, попытался успокоить «месье Леблана». В ответном письме Гаусса говорилось: «Я восхищен тем, что арифметика нашла в Вас столь способного друга».

Результаты, полученные Жермен, могли бы навсегда остаться ошибочно приписанными месье Леблану, если бы не император Наполеон. В 1806 году Наполеон захватил Пруссию, и французская армия штурмовала одну германскую столицу за другой. Жермен стала опасаться, как бы судьбу Архимеда не разделил ее второй великий герой - Гаусс. Софи написала своему другу - генералу Жозефу Мари Пернети, командовавшему наступавшими войсками. В письме она просила генерала обеспечить Гауссу безопасность. Генерал предпринял соответствующие меры, позаботился о немецком математике и объяснил ему, что тот обязан своей жизнью мадемуазель Жермен. Гаусс выразил свою признательность, но был удивлен, так как никогда не слышал о Софи Жермен.

Игра была проиграна. В следующем же письме Гауссу Жермен неохотно открыла свое подлинное имя. Ничуть не рассердившись за обман, Гаусс с восторгом ответил ей: «Как описать Вам тот восторг и то изумление, которые охватили меня при виде того, как мой высокочтимый корреспондент месье Леблан претерпел метаморфозу, превратившись в замечательную особу, подающую столь блестящий пример, что мне трудно в это поверить. Вкус к абстрактным наукам вообще, и прежде всего ко всем таинствам чисел, встречается крайне редко, и это не удивительно: прельстительные чары этой тонкой науки открываются только тем, кто имеет смелость глубоко проникнуть в нее. Но когда представительница того пола, который в соответствии с нашими обычаями и предрассудками, должен встретиться с бесконечно большими трудностями, чем мужчины, при ознакомлении с тернистыми исследованиями, умудряется успешно преодолеть все эти препятствия и проникнуть в их самые темные части, то, несомненно, она обладает благородным мужеством, совершенно необыкновенными талантами и высшей одаренностью. Ничто не смогло бы убедить меня столь лестным и несомненным образом в том, что привлекательные стороны этой науки, обогатившей мою жизнь таким количеством радостей, не являются плодом фантазии, как та преданность, которой Вы почтили ее».

Переписка с Карлом Гауссом, ставшая для Софи Жермен источником вдохновения в работе, внезапно оборвалась в 1808 году. Гаусс был назначен профессором астрономии в Гёттингенском университете, его интересы переместились от теории чисел к более прикладной математике, и он перестал отвечать на письма Жермен. Лишившись поддержки такого наставника, Жермен потеряла уверенность в своих силах и через год оставила занятия чистой математикой. Хотя ей не удалось продвинуться дальше в доказательстве Великой теоремы Ферма, она занялась весьма плодотворной деятельностью в области физики - научной дисциплины, в которой она снова могла бы занять выдающееся положение, если бы не предрассудки истеблишмента. Наивысшим достижением Софи Жермен в физике стал «Мемуар о колебаниях упругих пластин» - блестящая, полная новых идей работа, заложившая основы современной теории упругости. За эту работу и работы по Великой теореме Ферма она была удостоена медали Института Франции и стала первой женщиной, которая посещала лекции в Академии Наук, не будучи женой члена Академии. К концу жизни Софи Жермен восстановила отношения с Карлом Гауссом, убедившим Гёттингенский университет присудить ей почетную ученую степень. К сожалению, Софи Жермен умерла от рака груди прежде, чем университет смог оказать ей заслуженную почесть.

«Учитывая все сказанное, можно сказать, что Софи Жермен, по-видимому, обладала наиболее глубоким умом среди женщин, которых когда-либо производила Франция. Может показаться странным, но когда пришел чиновник, чтобы выдать свидетельство о смерти этой знаменитой коллеги и сотрудницы самых знаменитых членов Французской Академии Наук, в графе «род занятий» он обозначил ее как «одинокая женщина без профессии», а не «математик». Но это еще не все. При строительстве Эйфелевой башни инженеры уделяли особое внимание упругости используемых материалов, и на этом гигантском сооружении были начертаны имена семидесяти двух ученых, внесших особенно большой вклад в развитие теории упругости. Но тщетно мы стали бы искать в этом списке имя гениальной дочери Франции, чьи исследования во многом способствовали становлению теории упругости металлов - Софи Жермен. Была ли она исключена из этого списка по той же причине, по которой Мария Аньези не была удостоена членства в Французской Академии, - потому, что была женщиной? По-видимому, дело обстояло именно так. Но если это действительно так, то тем больший позор для тех, кто ответствен за такую вопиющую неблагодарность по отношению к человеку, имевшему столь большие заслуги перед наукой, - человеку, обеспечившему себе достойное место в зале славы». (А.Ж. Мозанс, 1913.)

Запечатанные конверты

После прогресса, достигнутого благодаря работам Софи Жермен, Французская Академия Наук установила серию премий, включая золотую медаль и 3000 франков, тому математику, который сумеет наконец разгадать тайну Великой теоремы Ферма. Того, кто сумеет доказать теорему, ждала не только заслуженная слава, но и значительное материальное вознаграждение. Салоны Парижа полнились слухами относительно того, какую стратегию избрал тот или иной претендент и как скоро объявят результаты конкурса. Наконец 1 марта 1847 года, Академия собралась на самое драматическое из своих заседаний.

В протоколах заседания подробно описывается, как Габриель Ламе, семью годами раньше доказавший Великую теорему Ферма для n =7, взошел на трибуну перед самыми знаменитыми математиками XIX века и заявил, что находится на пороге доказательства Великой теоремы Ферма для общего случая. Ламе признал, что его доказательство еще не полно, но он обрисовал в общих чертах свой метод и не без удовольствия сообщил, что через несколько недель опубликует полное доказательство в журнале, издаваемом Академией.

Аудитория замерла от восторга, но едва Ламе покинул трибуну как слова попросил еще один из лучших парижских математиков Огюстен Луи Коши. Обращаясь к членам Академии, Коши сообщил, что уже давно работает над доказательством Великой теоремы Ферма, исходя примерно из тех же идей, что и Ламе, и также вскоре намеревается опубликовать полное доказательство.

И Коши, и Ламе сознавали, что решающее значение имеет время. Тому, кто сумеет первым представить полное доказательство, достанется самая престижная и ценная награда в математике. Хотя ни Ламе, ни Коши не располагали полным доказательством, оба соперника страстно желали подкрепить свои заявления, и три недели спустя оба представили в Академию запечатанные конверты. В то время так было принято. Это позволяло математикам отстаивать свои приоритет, не раскрывая детали своей работы. Если впоследствии возникал спор относительности оригинальности идей, то в запечатанном конверте хранились убедительные подтверждения, необходимые для установления приоритета.

В апреле, когда Коши и Ламе наконец опубликовали некоторые детали своих доказательств в Трудах Академии, напряжение усилилось. Все математическое сообщество отчаянно жаждало ознакомиться с полным доказательством, причем многие математики втайне надеялись, что состязание выиграет Ламе, а не Коши. Судя по всем отзывам, Коши был самодовольным существом и религиозным фанатиком. К тому же он был весьма непопулярен среди своих коллег. В Академии его терпели только за блестящий ум.

Наконец, 24 мая было сделано заявление, которое положило конец всем домыслам. К Академии обратился не Коши и не Ламе, а Жозеф Лиувилль. Он поверг достопочтенную аудиторию в шок, зачитав письмо от немецкого математика Эрнста Куммера. Куммер был признанным специалистом по теории чисел, но горячий патриотизм, питаемый искренней ненавистью к Наполеону, на протяжении многих лет не позволял ему отдаться своему истинному призванию. Когда Куммер был еще ребенком, французская армия вторглась в его родной город Сорау, принеся с собой эпидемию тифа. Отец Куммера был городским врачом и через несколько недель болезнь унесла его. Потрясенный происшедшим, Куммер поклялся сделать все, что в его силах, чтобы избавить родину от нового вражеского вторжения, - и по окончании университета направил свой интеллект на решение проблемы построения траекторий пушечных ядер. Позднее он преподавал в Берлинском военном училище законы баллистики.

Параллельно с военной карьерой Куммер активно занимался исследованиями в области чистой математики и был полностью осведомлен о происходящем в Французской Академии. Куммер внимательно прочитал публикации в Трудах Академии и проанализировал те немногие детали, которые рискнули раскрыть Коши и Ламе. Ему стало ясно, что оба француза движутся в сторону одного и того же логического тупика, - и свои соображения он изложил в письме к Лиувиллю.

По мнению Куммера, основная проблема заключалась в том, что доказательства Коши и Ламе опирались на использование свойства целых чисел, известного под названием единственности разложения на простые множители. Это свойство означает, что существует только одна возможная комбинация простых чисел, произведение которых дает данное целое число. Например, единственная комбинация простых чисел, произведение которых дает число 18, имеет вид

18 = 2·3·3 .

Аналогично, числа 35, 180 и 106260 могут быть единственным образом разложены на простые числа, и их разложения имеют вид

35 = 5·7, 180 = 2·2·3·3·5, 106260 = 2·2·3·5·7·11·23 .

Единственность факторизации была обнаружена в IV веке до н. э. Евклидом, который в книге IX своих «Начал» доказал, что это верно для всех натуральных чисел. Единственность разложения на простые множители для всех натуральных чисел - жизненно важный элемент доказательств многих различных теорем и ныне называется основной теоремой арифметики.

На первый взгляд не должно быть никаких причин, по которым Коши и Ламе не могли бы использовать единственность разложения на множители в своих рассуждениях, как это делали сотни математиков до них. Однако, оба представленных Академии доказательства использовали мнимые числа. Куммер обратил внимание Лиувилля на то, что, хотя теорема о единственности разложения на множители выполняется для целых чисел, она не обязательно должна выполняться, если используются мнимые числа. По мнению Куммера, это была роковая ошибка.

Например, если мы ограничимся целыми числами, то число 12 допускает единственное разложение 2·2·3. Но стоит нам допустить в доказательстве мнимые числа, как число 12 можно разложить на множители и так:

12 = (1 + v–11)·(1 + v–11) .

Здесь 1 + v–11 - комплексное число, представляющее собой комбинацию действительного и мнимого числа. Хотя умножение комплексных чисел производится по более сложным правилам, чем умножение действительных чисел, существование комплексных чисел порождает дополнительные способы разложения числа 12 на множители. Приведем еще один способ разложения числа 12:

12 = (2 + v–8)·(2 + v–8) .

Следовательно, при использовании в доказательстве мнимых чисел речь идет не о единственности разложения, а о выборе одного из вариантов разложения на множители.

Таким образом, утрата единственности разложения на множители нанесла тяжелый урон доказательствам Коши и Ламе, но не уничтожила их полностью. Предполагалось, что доказательства должны продемонстрировать несуществование решений в целых числах у уравнения x n + y n = z n , где n - любое целое число, бoльшее 2. Как мы уже упоминали в этой главе, в действительности Великую теорему Ферма достаточно доказать только для простых значений n . Куммер показал, что, используя дополнительные ухищрения, можно восстановить единственность разложения на множители при некоторых значениях n . Например, проблему единственности разложения можно обойти для всех простых чисел, не превышающих n = 31 (включая само значение n = 31). Но при n = 37 избавиться от трудностей не так просто. Среди других, прочих чисел, меньших 100, особенно трудно доказать Великую теорему Ферма при n = 59 и n = 67. Это так называемые нерегулярные простые числа, разбросанные среди остальных чисел, стали камнем преткновения на пути к полному доказательству.

Куммер отметил, что не существует известных математических методов, которые позволили бы единым махом рассмотреть все нерегулярные простые числа. Но он полагал, что, тщательно подгоняя существующие методы к каждому нерегулярному простому числу в отдельности, удастся справиться с ними «по одиночке». Разработка таких выполненных по индивидуальному заказу методов было бы делом медленным и чрезвычайно трудным, и, что еще хуже, множество нерегулярных простых чисел было бесконечным. Рассмотрение нерегулярных простых чисел по одному силами всего мирового математического сообщества растянулось бы до конца веков.

Письмо Куммера произвело на Ламе ошеломляющее действие. Упустить из виду предположение о единственности факторизации! В лучшем случае такое можно было бы назвать чрезмерным оптимизмом, в худшем - непростительной глупостью. Ламе сознавал, что если бы он не стремился держать подробности своей работы в тайне, то смог бы обнаружить пробел гораздо раньше. В письме к своему коллеге Дирихле в Берлин он признавался: «Если бы только Вы были в Париже, или я был в Берлине, все это никогда бы не произошло». Если Ламе испытывал чувство унижения, то Коши отказывался признать поражение. По его мнению, по сравнению с доказательством Ламе, его собственное доказательство в меньшей степени опиралось на единственность разложения на множители, и до тех пор, пока проведенный Куммером анализ не будет полностью проверен, существует возможность, что в рассуждения немецкого математика где-то вкралась ошибка. В течение нескольких недель Коши продолжал публиковать статью за статьей о доказательстве Великой теоремы Ферма, но к исходу лета замолчал и он.

Куммер показал, что полное доказательство Великой теоремы Ферма лежало за пределами возможностей существовавших математических подходов. Это был блестящий образец логики и в то же время чудовищный удар по целому поколению математиков, питавших надежду, что именно им удастся решить самую трудную в мире математическую проблему.

Резюме подвел Коши, который в 1857 году писал в заключительном отчете, представленном Академии, по поводу премии, назначенной за доказательство Великой теоремы Ферма: «Отчет о конкурсе на премию по математическим наукам. Конкурс был назначен на 1853 год и затем продлен до 1856 года. Секретарю были представлены одиннадцать мемуаров. Ни в одном из них поставленный вопрос решен не был. Таким образом, несмотря на многократную постановку, вопрос остается там, где его оставил г-н Куммер. Однако математические науки вознаграждены трудами, предпринятыми геометрами в их стремлении решить вопрос, особенно г-на Куммера, и члены Комиссии считают, что Академия приняла бы достаточное и полезное решение, если бы, изъяв вопрос из конкурса, присудила бы медаль г-ну Куммеру за его прекрасные исследования по комплексным числам, состоящим из корней из единицы и целых чисел».

* * *

Более двух столетий любая попытка открыть заново доказательство Великой теоремы Ферма заканчивалась неудачей. В юношеские годы Эндрю Уайлс изучил труды Эйлера, Жермен, Коши, Ламе и, наконец, Куммера. Уайлс надеялся, что ему удастся извлечь уроки из ошибок, допущенных великими предшественниками, но к тому времени, когда он стал старшекурсником Оксфордского университета, на его пути встала та же каменная стена, перед которой остановился Куммер.

Некоторые из современников Уайлса начали подозревать, что проблема Ферма может оказаться неразрешимой. Не исключено, что Ферма заблуждался, и поэтому причина, по которой никому не удалось восстановить доказательство Ферма, заключается просто в том, что такого доказательства вообще не существовало. Уайлса вдохновляло то, что в прошлом, после упорных усилий на протяжении столетий, для некоторых значений n доказательство Великой теоремы Ферма все же было обнаружено. И в некоторых из этих случаев удачные идеи, позволившие решить проблему, не опирались на новые достижения математики; наоборот, это были доказательства, которые могли быть давно быть обнаружены.

Одним из примеров задачи, упорно не поддававшейся решению на протяжении десятилетий, может служить гипотеза о точках. В ней речь идет о нескольких точках, каждая из которых соединена с другими точками прямыми, как показано на рис. 13. Гипотеза утверждает, что невозможно нарисовать диаграмму такого рода так, чтобы на каждой прямой лежали по крайней мере три точки (диаграмму, на которой все точки лежат на одной и той же прямой, мы исключаем из рассмотрения). Экспериментируя с несколькими диаграммами, мы можем убедиться в том, что гипотеза о точках, по-видимому, верна. На рис. 13а пять точек связаны шестью прямыми. На четырех из этих линий не наберется по три точки, и поэтому ясно, что такое расположение точек не удовлетворяет требованию задачи, согласно которому каждой прямой принадлежит по три точки.

а ) б )

Рис. 13. На этих диаграммах каждая точка связана с каждой из остальных точек прямыми. Можно ли построить такую диаграмму, на которой каждая прямая проходит по крайней мере через три точки?

Добавив одну точку и одну проходящую через нее прямую, мы снизили число прямых, на которых не лежат по три точки, до трех. Но дальнейшее приведение диаграммы к условиям гипотезы (такая перестройка диаграммы, в результате которой на каждой прямой оказалось бы по три точки), по-видимому, невозможна. Разумеется, это не доказывает, что такой диаграммы не существует.

Поколения математиков пытались найти доказательство, казалось бы, нехитрой гипотезы о точках - и потерпели неудачу. Эта гипотеза вызывает еще большее раздражение потому, что когда решение в конце концов было найдено, выяснилось, что для него необходимы лишь минимальные познания в математике и один неординарный поворот в рассуждениях. Ход доказательства намечен в Приложении 6.

Вполне возможно, что все методы, необходимые для доказательства Великой теоремы Ферма, уже имелись в распоряжении математиков, и что единственным недостающим ингредиентом был какой-то остроумный ход. Уайлс не собирался сдаваться: детская мечта о доказательстве Великой теоремы Ферма превратилась в глубокое и серьезное увлечение. Ознакомившись со всем, что можно было узнать о математике XIX века, Уайлс решил взять на вооружение методы XX века.

Примечания:

Вспомнилась тут фраза Титчмарша: «Я недавно встретил человека, который сказал мне, что не верит даже в существование минус единицы, так как из этого следует существование квадратного корня из неё».:) - E.G.A.

Приведу иллюстрацию с вселением нового клиента в отель Гильберта. Она позаимствована из книги «Proofs from THE BOOK», выпущенной издательством Springer в 1998 году и переизданной в 2001 году. Авторы: Martin Aigner и Gunter M. Ziegler. Мелкая цитата из предисловия авторов к этой книге: "Paul Erdos liked to talk about The Book, in which God maintains the perfect proofs for mathematical theorems, following the dictum of G. H. Hardy that there is no permanent place for ugly mathematics. Erdos also said that you need not believe in God but, as mathematician, you should believe in The Book. We have no definition or characterization of what constitutes a proof from The Book: all we offer here is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations. We also hope that our readers will enjoy this despite the imperfections of our exposition. The selection is to a great extent influenced by Paul Erdos himself." Вот главу "Множества, функции и гипотеза континуума" эта иллюстрация и открывает. - E.G.A.

Хм… Я где-то читал, что он поплатился жизнью, когда крикнул: «Осторожно! Не наступи на мои чертежи!», но римский солдат, к которому был обращен этот возглас, не обратил внимания, что перед ним безоружный старик. :(А в упомянутой мною раньше книге «Proofs from THE BOOK» главу "Теория чисел" предваряет рисунок, на котором никакого копья нет. Видать, художник тоже не знал подробностей смерти Архимеда. - E.G.A.

Часто, беседуя со старшеклассниками об исследовательских работах по математике, слышу следующее: "Что можно нового открыть в математике?" А действительно: может быть все великие открытия сделаны, а теоремы доказаны?

8 августа 1900 года на международном математическом конгрессе в Париже математик Дэвид Гилберт (David Hilbert) изложил список проблем, которые, как он полагал, предстояло решить в ХХ веке. В списке было 23 пункта. Двадцать один из них на данный момент решены. Последней решенной проблемой из списка Гилберта была знаменитая теорема Ферма, с которой ученые не могли справиться в течение 358 лет. В 1994 году свое решение предложил британец Эндрю Уайлз. Оно и оказалось верным.

По примеру Гилберта в конце прошлого века многие математики пытались сформулировать подобные стратегические задачи на ХХI век. Один из таких списков приобрел широкую известность благодаря бостонскому миллиардеру Лэндону Клэю (Landon T. Clay). В 1998 году на его средства в Кембридже (Массачусетс, США) был основан Математический институт Клэя (Clay Mathematics Institute) и установлены премии за решение ряда важнейших проблем современной математики. 24 мая 2000 года эксперты института выбрали семь проблем - по числу миллионов долларов, выделенных на премии. Список получил название Millennium Prize Problems:

1. Проблема Кука (сформулирована в 1971 году)

Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей. Это говорит о том, что решение какой-либо задачи часто занимает больше времени, чем проверка правильности решения.

Стивен Кук сформулировал проблему: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки. Эта проблема также является одной из нерешенных задач из области логики и информатики. Ее решение могло бы революционным образом изменить основы криптографии, используемой при передаче и хранении данных.

2. Гипотеза Римана (сформулирована в 1859 году)

Некоторые целые числа не могут быть выражены как произведение двух меньших целых чисел, например 2, 3, 5, 7 и так далее. Такие числа называются простыми и играют важную роль в чистой математике и ее приложениях. Распределение простых чисел среди ряда всех натуральных чисел не подчиняется никакой закономерности. Однако немецкий математик Риман высказал предположение, касающееся свойств последовательности простых чисел. Если гипотеза Римана будет доказана, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.

3. Гипотеза Берча и Свиннертон-Дайера (сформулирована в 1960 году)

Связана с описанием множества решений некоторых алгебраических уравнений от нескольких переменных с целыми коэффициентами. Примером подобного уравнения является выражение x2 + y2 = z2. Эвклид дал полное описание решений этого уравнения, но для более сложных уравнений поиск решений становится чрезвычайно трудным.

4. Гипотеза Ходжа (сформулирована в 1941 году)

В ХХ веке математики открыли мощный метод исследования формы сложных объектов. Основная идея заключается в том, чтобы использовать вместо самого объекта простые "кирпичики", которые склеиваются между собой и образуют его подобие. Гипотеза Ходжа связана с некоторыми предположениями относительно свойств таких "кирпичиков" и объектов.

5. Уравнения Навье - Стокса (сформулированы в 1822 году)

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

6. Проблема Пуанкаре (сформулирована в 1904 году)

Если натянуть резиновую ленту на яблоко, то можно, медленно перемещая ленту без отрыва от поверхности, сжать ее до точки. С другой стороны, если ту же самую резиновую ленту соответствующим образом натянуть вокруг бублика, то никаким способом невозможно сжать ленту в точку, не разрывая ленту или не ломая бублик. Говорят, что поверхность яблока односвязна, а поверхность бублика - нет. Доказать, что односвязна только сфера, оказалось настолько трудно, что математики ищут правильный ответ до сих пор.

7. Уравнения Янга - Миллса (сформулированы в 1954 году)

Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения. Тем самым они нашли путь к объединению теорий электромагнитного, слабого и сильного взаимодействий. Из уравнений Янга - Миллса следовало существование частиц, которые действительно наблюдались в лабораториях во всем мире, поэтому теория Янга - Миллса принята большинством физиков несмотря на то, что в рамках этой теории до сих пор не удается предсказывать массы элементарных частиц.

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