Новый Мир ( № 11 2007)

В сравнительно редких случаях ферматисту удавалось опубликовать свой труд. (Это сейчас за счёт автора можно опубликовать что угодно, а в совет­ское время даже ксероксы находились под строжайшим контролем, что уж говорить об издательствах и типографиях.) В частности, это удалось Виктолию Будкину. В 1975 году расположенное в Ярославле Верхне-Волжское книжное издательство выпустило пятитысячным тиражом его брошюру «Методика познания „истины”. Доказательство великой теоремы Ферма». То, что написано на её странице 45, весьма типично для самоосознания ферматиста: «Итак, сменилось 13 поколений людей, а Великая теорема Ферма осталась ещё не доказанной. Только в настоящей работе впервые приводится полное доказательство теоремы в общем виде».

Казалось бы, после того как доказательство теоремы Ферма было не только найдено (в сентябре st1:metricconverter productid="1994 г" w:st="on" 1994 г /st1:metricconverter .), но и опубликовано (в st1:metricconverter productid="1995 г" w:st="on" 1995 г /st1:metricconverter .) и признано мировой математической общественностью, с ферматизмом как с явлением будет покончено. Не тут-то было — ряды ферматистов хотя и поредели, но не иссякли. Сведения о том, что Великая теорема доказана, дошли не до всех: ведь, повторяю, ферматисты не являются математиками (хотя имеющие техническое образование часто считают себя таковыми). А многие из тех, до кого и дошло, продолжали искать какое-нибудь простое доказательство. В Рос­сии ферматизм дал неожиданную вспышку в августе 2005 года. К «Новой газете» я питал уважение и — до того августа — доверие и не думал, что когда-либо выступлю её оппонентом; но приходится. Номер 61 газеты от 22 августа 2005 года открывался крупным и чуть ли не цветным заголовком «ЧЕЛОВЕЧЕСТВО МОЖЕТ РАССЛАБИТЬСЯ?»; сообщалось, что «омский академик Александр Ильин предложил простое доказательство знаменитой теоремы Ферма». Заместителю главного редактора газеты О. Н. Хлебникову я пытался объяснить накануне, то есть 21 августа, что если доктор технических наук Александр Иванович Ильин и является академиком, то академиком одной из десятков тех академий, кои, как грибы, возникли у нас в постсовет­ское время (одних только академий энергоинформационных наук две: Международная и Сибирская) — но никак не членом Российской академии наук (РАН); попытки мои успеха не имели; Олег Никитович отвечал, что он знает точно: А. И. Ильин — член РАН. Более того, через неделю, в № 63 от 29 августа 2005 года, та же газе­та сообщала, что «академики Новиков и Никитин решение теоремы Ферма уже видели и ошибок в нем не нашли». Надо ли объяснять читателю, что г-да Новиков и Никитин (как, впрочем, и А. И. Ильин) не являлись не только членами РАН, но и математиками? Некоторое время сенсация сверкала на экранах телевизоров и в различных газетах, не говоря уже об Интернете. Потом как-то тихо всё сошло на нет. Ферматизм тоже часть человеческой культуры — но ведь не материальной же, а значит, духовной.

В качестве завершения темы снова вернусь в 1950-е годы. Посетителя офиса на Большой Калужской мне довелось увидеть ещё один раз. Это произошло на третьем этаже дома 9 по Моховой улице, в канцелярии механико-математического факультета Московского университета, где я тогда учился. Всё с той же скрипкой в авоське он вошёл в канцелярию, попросил лист бумаги и, примостившись у стола, стал писать. Не в силах сдержать любопытства, я заглянул ему через плечо. Каллиграфическим почерком выводились буквы: «...бывшего студента <...> Императорского университета прошение...» (какого именно университета — не помню). Затем он попросил указать ему специалиста по теории чисел. В качестве такового ему был назван заведующий кафедрой теории чисел член-корреспондент Гельфонд. В это время по коридору шёл член-корреспондент Гельфанд, к теории чисел отношения не имеющий. Услышав его фамилию, бывший студент Императорского университета бросился к нему навстречу. Всем было известно, что Гельфанд — математик великий, но непредсказуемый и легко может нахамить. Я не стал дожидаться столкновения двух тел и в страхе убежал.

Глава 3. Проблемы нерешённые и проблемы нерешимые

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

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

Две проблемы о совершенных числах . Число 6 делится на 1, на 2, на 3 и на 6 — эти числа 1, 2, 3, 6 суть делители числа 6. Если из списка делителей числа 6 мы удалим само это число, а остальные сложим, получим 6. Действительно, 1 + 2 + 3 = 6. Тем же свойством обладает число 28. Eго делителями служат числа 1, 2, 4, 7, 14, 28. Если их все, кроме 28, сложить, получим как раз 28: действительно, 1 + 2 + 4 + 7 + 14 = 28. В VI веке до н. э. это редкое свойство чисел вызывало мистический восторг у Пифагора и его учеников: по их мнению, оно свидетельствовало об особом совершенстве числа, обладающего таким свойством. А потому каждое число, совпадающее с суммой своих делителей, отличных от самого этого числа, получило титул совершенного . Первые четыре совершенных числа (6, 28, 496 и 8128) были известны уже во II веке н. э. А в сентябре 2006 года было обнаружено сорок четвёртое совершенное число; оно колоссально, в его десятичной записи около двадцати миллионов знаков. Все найденные совершенные числа оказались чётными. И вот две простые по формулировке, но не решённые до сих пор проблемы. Существуют ли нечётные совершенные числа? Конечна или бесконечна совокупность всех совершенных чисел? Эквивалентная формулировка второй проблемы: существует ли наибольшее совершенное число?

Две проблемы о простых числах . Напомним (мы говорим «напомним», потому что теоретически это должно быть известно из средней школы), что простым называется такое число, которое, во-первых, больше единицы, а во-вторых, не имеет других делителей, кроме единицы и самого себя. Ещё в III веке до н. э. в «Началах» Евклида было установлено, что среди простых чисел нет наибольшего, их ряд 2, 3, 5, 7, 11, 13, 17, 19 и т. д. никогда не кончается; иными словами, совокупность простых чисел бесконечна. Предложение 20 девятой книги «Начал» гласит, что простых чисел больше, чем в любом предъявленном списке таковых; доказательство же этого предложения состоит в описании способа, позволяющего для любого списка простых чисел указать простое число, в этом списке не содержащееся. Отметим, что Евклид нигде не говорит о совокупности простых чисел в целом — само представление о бесконечных совокупностях как об особых сущностях появилось значительно позже. Когда-то изучение простых чисел рассматривалось как чистая игра ума; оказалось, что они играют решающую роль во многих практических задачах криптографии.

Среди нерешённых проблем, связанных с простыми числами, приведём две: проблему Гольдбаха — Эйлера и проблему близнецов .

Первая была поставлена в 1742 году великим Леонардом Эйлером в его переписке с Христианом Гольдбахом. Основная деятельность обоих протекала в России; в 1764 году Гольдбах был похоронен в Москве, а Эйлер в 1783 году — в Петербурге.

Кто есть Эйлер, один из самых великих математиков за всю историю человечества, и в чём заключается его величие — всё это легко узнать, если заглянуть, как встарь, в энциклопедический словарь. Сведения же о том, что собой представляет Гольдбах, словари дают скупо; такие сведения следует искать в специальной литературе или же в Интернете; некоторые из фактов заслуживают того, чтобы здесь их изложить. Хотя математические статьи, опубликованные Гольдбахом в научных журналах, и не оставили сколько-нибудь заметного следа в математике, он был признанным членом математического сообщества своего времени. Он был лично знаком или состоял в переписке с рядом выдающихся умов, в том числе с Лейбницем и с Эйлером; переписка с Эйлером продолжалась 35 лет и прекратилась лишь со смертью Гольдбаха. Один из историков науки (кстати, правнук Эйлера и непременный секретарь Петербургской академии наук) писал: «Его [Гольдбаха] переписка показывает, что если он не прославился ни в одной специальности, то это следует приписать большой универсальности его познаний. То мы видим его обсуждающим <…> кропотливые вопросы классической и восточной филологии; то он пускается в нескончаемые археологические споры <…>». В сво­их письмах Гольдбах предстаёт как человек, наделённый и интуицией, и способностью чувствовать новое. Проблема Гольдбаха — Эйлера, например, возникла как реакция Эйлера на некое предположение, сообщённое ему Гольдбахом (предположение состояло в том, что всякое целое число, большее, чем 2, разлагается в сумму трёх слагаемых, каждое из коих есть либо простое число, либо единица). В России, куда он приехал в 1725 году в тридцатипятилетнем возрасте, Гольдбах сделал головокружительную карьеру. Он сразу получил место секретаря, а также историографа организуемой во исполнение замысла Петра I Императорской академии наук; именно он вёл (на латин­ском языке) первые протоколы Академии. С 1737 по 1740 год он был одним из двух лиц, осуществлявших административное управление Академией (другим был Шумахер; обоим по этому случаю был присвоен ранг коллежского советника). В конце 1727 года он был назначен наставником двенадцатилетнего императора Петра II. Рассказывают, что руководство по обучению царских детей, составленное Гольдбахом в 1760 году, применялось на практике в течение ста последующих лет. В 1742 году Гольдбах сделался ответственным работником министерства иностранных дел (как сказали бы теперь), стал получать награды, земли и чины и к 1760 году дослужился до чина тайного советника. Чин этот довольно точно отражал его обязанности, поскольку Гольдбах состоял в должности криптографа. Эйлеру тоже захотелось чина. Однако Екатерина II, благосклонно встретившая пожелания Эйлера относительно жалованья, казённой квартиры и обеспечения его трёх сыновей позициями и доходами, весьма дипломатично отказала: «Я дала бы, когда он хочет, чин, если бы не опасалась, что этот чин сравняет его с множеством людей, которые не стоят г. Эйлера. Поистине его известность лучше чина для оказания ему должного уважения».

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

Непосредственное наблюдение подсказывает, что всякое чётное число, большее двух, удаётся представить в виде суммы двух слагаемых, каждое из которых является простым числом: 4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5, 10 = 5 + 5, 12 = 5 + 7, ..., 24 = 5 + 19, ..., 38 = 7 + 31 и т. д. Однако проверке может быть подвергнуто лишь ограниченное количество чётных чисел, а всего их бесконечно много. Имеющиеся свидетельства, полученные от просмотра конечного (пусть гигантского) количества примеров, не могут гарантировать, что когда-нибудь в будущем не появится астрономически большого чётного числа, для которого разложение на два простых слагаемых невозможно. А ведь современные компьютеры позволяют строить и использовать для важных практических целей числа с сотнями десятичных знаков. Вот и встаёт вопрос: всякое ли чётное число, большее двух, можно представить как сумму двух простых слагаемых? Проблема отыскания ответа на это вопрос и есть проблема Гольдбаха — Эйлера.

Теперь о проблеме близнецов. Заметим, что встречаются очень близко расположенные друг к другу простые числа, а именно такие, расстояние между которыми равно 2. Пример: 41 и 43. Такие числа называются близнецами . Начнём последовательно выписывать пары близнецов: (3, 5); (5, 7); (11, 13); (17, 19); и. т. д. Спрашивается, закончится ли когда-нибудь этот ряд пар? Наступит ли момент, когда будет выписана последняя пара и список близнецов окажется исчерпанным, или же ряд близнецовых пар продолжается не­ограниченно и их совокупность бесконечна (как бесконечна совокупность простых чисел)? Проблема отыскания ответа на этот вопрос и есть проблема близнецов.

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

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