Интеллектуальные развлечения. Интересные иллюзии, логические игры и загадки.

Добро пожаловать В МИР ЗАГАДОК, ОПТИЧЕСКИХ
ИЛЛЮЗИЙ И ИНТЕЛЛЕКТУАЛЬНЫХ РАЗВЛЕЧЕНИЙ
Стоит ли доверять всему, что вы видите? Можно ли увидеть то, что никто не видел? Правда ли, что неподвижные предметы могут двигаться? Почему взрослые и дети видят один и тот же предмет по разному? На этом сайте вы найдете ответы на эти и многие другие вопросы.

Log-in.ru© - мир необычных и интеллектуальных развлечений. Интересные оптические иллюзии, обманы зрения, логические флеш-игры.

Привет! Хочешь стать одним из нас? Определись…    
Если ты уже один из нас, то вход тут.

 

 

Амнезия?   Я новичок 
Это факт...

Интересно

Уильям Старк умер в 29 лет, когда попробовал питаться только сыром честер.

Еще   [X]

 0 

Апология математики, или О математике как части духовной культуры (Успенский В.А.)

Успенский Владимир Андреевич - доктор физико-математических наук, профессор, заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова.

Автор филологических и культурологических статей, опубликованных в журналах «Новое литературное обозрение», «Неприкосновенный запас» и других изданиях. Постоянный автор «Нового мира».



С книгой «Апология математики, или О математике как части духовной культуры» также читают:

Предпросмотр книги «Апология математики, или О математике как части духовной культуры»

Успенский Владимир Андреевич
Апология математики, или О математике как части духовной культуры

Успенский Владимир Андреевич

Апология математики, или О математике как части духовной культуры


Успенский Владимир Андреевич - доктор физико-математических наук, профессор, заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова. Родился в 1930 году. Автор филологических и культурологических статей, опубликованных в журналах “Новое литературное обозрение”, “Неприкосновенный запас” и других изданиях. Постоянный автор “Нового мира”.

Мира восторг беспредельный
Сердцу певучему дан.
А. Блок, “Роза и Крест”.

Наука умеет много гитик.
К люч к карточному фокусу

.

Глава 1. Ватсон против Холмса

"Человек отличается от свиньи, в частности, тем, что ему иногда хочется поднять голову и посмотреть на звёзды”. Это изречение принадлежит Виктору Амбарцумяну (в 1961 - 1964 гг. президенту Международного астрономического союза). А почти за двести лет до того на ту же тему высказался Иммануил Кант. Кант поставил звёздное небо, по силе производимого впечатления, на один уровень с пребывающим внутри человека, и прежде всего внутри самого Канта, нравственным законом. Эти высказывания объявляют усеянное звёздами небо частью общечеловеческой духовной культуры и, более того, такой её частью, которая для всякого человека должна быть обязательной. Трудно представить человека, не впечатлявшегося видами неба. (Впрочем, воспоминания переносят меня в осень 1947 года, на лекцию по астрономии для студентов первого курса механико-математического факультета МГУ. Лекцию читает профессор Куликов. Он делает нам назидание. “В прошлом веке профессор Киевского университета Митрофан Хандриков, - говорит профессор Куликов, - на экзамене спросил студента, каков видимый размер Луны во время полнолуния, и получил ответ, что тот не может этого знать, поскольку никогда не видал Луны”.)
Хотя приведённые выше высказывания о роли звёздного неба в духовной культуре человека и не содержат прямого заявления о включении в эту культуру сведений об устройстве небесного свода, косвенно такое включение происходит. Неотъемлемой частью цивилизации является то или иное представление об указанном устройстве - хотя бы признаваемое в наши дни совершенно фантастическим, как, например, такое: “А Земля - это только лишь плесень в перевёрнутой неба корзине; звёзды - это свет другого мира, к нам просвечивающий сквозь дно корзины, сквозь бесчисленные маленькие дыры, не затёртые небесной глиной”. Человек, вовсе не имеющий представлений об устройстве мироздания, признаётся окружающими выпадающим из культуры. Вспомним изумление доктора Ватсона, обнаружившего вскоре после вселения в знаменитый дом 221b по Бейкер-стрит, что Холмс не знал, что Земля вертится вокруг Солнца. И даже считал знать это совершенно излишним. “Ну хорошо, пусть, как вы говорите, мы вращаемся вокруг Солнца, - возражал Холмс. - А если бы я узнал, что мы вращаемся вокруг Луны, много бы это помогло мне или моей работе?” Вот здесь очень важный момент. Холмс признаёт нужным знать только то, что может быть использовано в практических целях. Ватсон считает - и, очевидно, исходит из того, что читатели его записок разделяют эту его точку зрения, - что некоторые знания являются обязательными независимо от их практического применения. При всём уважении к великому сыщику, согласимся с доктором.
Итак, есть определённый объём непрактических знаний, обязательный для всякого культурного человека (несмотря на известное дурновкусие выражения “культурный человек”, в целях ясности изложения приходится его употреблять). Мы полагаем, что в этот объём входят и некоторые из тех математических представлений, которые не связаны с утилитарным использованием математики. Указанные представления состоят не только из фактов, но и из понятий и методов оперирования с этими понятиями.
Роль математики в современной материальной культуре, а также роль её элементарных разделов в повседневном быту достаточно известны, и об этом можно позволить себе не говорить. В этом очерке мы собираемся говорить о математике как о части культуры духовной.
Математические идеи могут вызывать эмоции, сравнимые с эмоциями, возникающими при чтении литературных произведений, слушании музыки, созерцании архитектуры. К сожалению, закостеневшие способы преподавания математики редко позволяют ощутить её эстетическую сторону, доступную, хотя бы частично, отнюдь не только математикам. Математиками же эта сторона ощущается с полной ясностью. Вот что писал выдающийся математик, учитель великого Колмогорова, Николай Николаевич Лузин (1883 - 1950): “Математики изумляются гармонии чисел и геометрических форм. Они приходят в трепет, когда новое открытие открывает им неожиданные перспективы. И та радость, которую они переживают, разве это не есть радость эстетического порядка, хотя обычные чувства зрения и слуха здесь не участвуют. ‹…› Математик изучает свою науку вовсе не потому, что она полезна. Он изучает её потому, что она прекрасна. ‹…› Я говорю о красоте более глубокой, [чем та, которая поражает наши чувства,] проистекающей из гармонии и согласованности воедино всех частей, которую один лишь чистый интеллект и сможет оценить. Именно эта гармония и даёт основу тем красочным видимостям, в которых купаются наши чувства. ‹…› Нужно ли ещё прибавлять, что в развитии этого чувства интеллектуальной красоты лежит залог всякого прогресса?”
Являясь (через Колмогорова) научным внуком Лузина, автор настоящего очерка с сочувствием относится к формуле “математика для математики”, образованной по аналогии с известным слоганом “искусство для искусства”. Однако всё не так просто. Следует огорчить любителей чистого разума и утешить сторонников практической пользы. Опыт развития математики убеждает, что самые, казалось бы, оторванные от практики её разделы рано или поздно находят важные применения. Всю первую половину XX века математическая логика рассматривалась как наука, занятая исключительно проблемами логического обоснования математики, как своего рода философский анклав в математике; в СССР она находилась под подозрением со стороны борцов со всевозможными “измами”, и первая кафедра математической логики была открыта лишь в 1959 году. Сегодня математическая логика переплетена с теоретической информатикой (Theoretica Computer Science) и служит для последней фундаментом. Теория чисел, одна из древнейших математических теорий, долгое время считалась чем-то вроде игры в бисер. Оказалось, что без этой теории немыслима современная криптография, как и другие важные направления, объединённые названием “защита информации”. Специалисты по теоретической физике интересуются новейшими разработками алгебраической геометрии и даже такой абстрактной области, как теория категорий.
Применение математики в физике не ограничивается числовыми формулами и уравнениями. Её, математики, абстрактные конструкции позволяют лучше понять природу тех физических явлений, изучение которых находится на передовом крае науки. Поясним сказанное с помощью исторической аналогии. Когда-то считали, что Земля плоская. Ничего другого в то время просто не могло прийти в голову. Затем пришли к мысли о её шарообразности. Вряд ли сама эта мысль была бы возможна, не обладай человеческое сознание уже готовым представлением о шаре. Точно так же долгое время считалось очевидным, что окружающее нас физическое пространство есть самое обычное трёхмерное евклидово пространство из школьного курса геометрии. В этом были уверены все, включая тех, кто не знал учёной терминологии и потому не пользовался термином “евклидово пространство” (вспомним мольеровского Журдена, не знавшего, что говорит прозой). И действительно, а как же может быть иначе? Первые сомнения возникли в XIX веке независимо в Германии у Гаусса и в России у Лобачевского. Они первыми осознали не только существование неевклидовой геометрии как математического объекта, но и возможность неевклидового строения нашего мира (мы коснёмся этой темы в главе 8). Лобачевского тогда никто не понял, кроме Гаусса, сам же Гаусс, предчувствуя непонимание, ни с кем не делился своим прозрением. Теория относительности подтвердила указанную неевклидовость, предсказав прогибание пространства под воздействием массивных тел, что, в свою очередь, было подтверждено наблюдаемым искривлением луча света вблизи таких тел. Некоторые свойства пространства и времени оказались парадоксальными, другие остаются неизвестными. Вместе с тем познание этих свойств может оказаться жизненно важным для человечества. Математика предлагает уже готовые модели, позволяющие лучше понять эти свойства, в особенности же свойства парадоксальные, противоречащие повседневному опыту. Более точно, в математике построены такие структуры, которые обладают требуемыми свойствами.
Здесь мы прикоснулись к важной философской, а именно гносеологической, теме. Только что упомянутое представление о шаре, столь необходимое для осознания фигуры Земли, находило поддержку в повседневном опыте - а именно в наблюдении шарообразных предметов, как природных (яблок, тыкв, ягод, катимых скарабеями навозных шариков и т. п.), так и искусственных (например, пушечных ядер). И когда потребовалось узнать фигуру Земли, оставалось лишь воспользоваться названным представлением. Иначе обстоит дело с попытками познания строения Вселенной. Повседневный опыт не даёт требуемых геометрических форм. Оказалось, однако, что хотя такими формами и не обладают предметы, доступные непосредственному созерцанию, эти формы представлены в уже обнаруженных структурах математики. Поскольку эти математические структуры точно описаны, нетрудно, при желании, понять, как в них реализуются свойства мироздания - даже те, которые кажутся парадоксальными. А тогда остаётся допустить, что геометрия реального мира хотя бы отчасти выглядит так, как геометрия этих структур. Таким образом, математика, не давая ответ на вопрос, как оно есть в реальном мире, помогает понять, как оно может быть - что не менее важно: ведь как оно есть мы вряд ли когда-нибудь узнаем до конца. (В главе 9 мы вернёмся к этой теме.) И эту помощь, которую оказывает математика в познании мира, также следует вписать в перечень её приложений.
Как говорил один из самых крупных математиков XX века Джон фон Нёйман (1903 - 1957): “В конечном счёте, современная математика находит применение. А ведь заранее не ясно, что так должно быть”.
Нередко утверждают, что математику следует рассматривать как часть физики, поскольку она описывает внешний физический мир. Но с тем же успехом её можно считать частью психологии, поскольку изучаемые в ней абстракции суть явления нашего мышления и тем самым должны проходить по ведомству психологии. Взять, например, такое основное (и, может быть, самое главное) понятие математики, как понятие натурального числа, то есть числа, являющегося одновременно и целым, и положительным (иногда к натуральным числам причисляют ещё и число ноль, к чему есть серьёзные основания!). Ведь показать, скажем, число пять невозможно, можно только предъявить пять пальцев или пять иных предметов. Уже здесь не такая уж малая степень абстракции. Ещё более высокая степень абстракции в числе пять септиллионов: ясно, что предъявить столько предметов невозможно. И уж совсем высокая (и одновременно глубокая) абстракция заключена в понятии натурального числа вообще и натурального ряда как совокупности всех натуральных чисел. Здесь поле, только начатое распахиваться психологией. Упоминавшийся уже Лузин, который был не только математиком, но и философом (и даже его избрание в 1929 году в Академию наук СССР произошло “по кафедре философии”), так высказывался на эту тему: “По-видимому, натуральный ряд чисел не представляет из себя абсолютно объективного образования. По-видимому, он представляет собой функцию головы того математика, который в данном случае говорит о натуральном ряде”.
Тем не менее два математика на разных континентах приходят к одним и тем же выводам о свойствах натурального ряда чисел, хотя никто из них не может наблюдать числа внешним зрением, а лишь зрением внутренним - внутри собственной мысли. В этом труднообъяснимом единстве взглядов на идеальные сущности некоторые усматривают доказательство существования Бога.
Итак, мы отстаиваем два тезиса. Первый, что математика - вне зависимости от её практического использования - принадлежит духовной культуре. Второй, что отдельные фрагменты математики входят в общеобязательную часть этой культуры.
Что же касается вопроса, чтбо именно из математики, причем из математики неприкладной, должно входить в общеобязательный культурный минимум, то однозначный ответ на этот вопрос вряд ли уместен. Каждый должен определять этот минимум для себя. Задача общества - предоставить своему члену ту информацию о математических понятиях, идеях и методах, откуда этот субъективный минимум можно было бы выбирать. Вообще, знание есть дело добровольное, и насилие тут неуместно. На ум приходит замечательное высказывание, принадлежащее Сухарто (второму президенту Индонезии - не путать с первым её президентом, Сукарно): “В наше время чрезвычайно трудно заставить кого-либо сделать что-либо добровольно”. Иногда, тем не менее, в дальнейшем изложении будут встречаться рекомендации о включении в математический минимум тех или иных знаний; эти рекомендации не предлагаются как нечто категорическое и даются лишь в качестве возможных примеров и материала для дальнейшего обсуждения. Школьная программа по математике - слишком болезненная тема, чтобы её здесь затрагивать (хотя эта тема не может не волновать, поскольку касается миллионов наших детей). Ограничусь мнением, что хорошо бы в этой программе устранить перекос в вычислительную сторону математики и уделить больше внимания стороне качественной, не связанной непосредственно с вычислениями.
Замечу в заключение, что математика входит в мировую культуру и своим этическим аспектом. Наличие такового у математики может показаться странным. Он, однако, есть. Математика не допускает лжи. Она требует, чтобы утверждения не просто провозглашались, но и доказывались. Она учит задавать вопросы и не бояться непонимания ответов. Она по природе демократична: её демократизм обусловлен характером математических истин. Их непреложность не зависит от того, кто их провозглашает, академик или школьник. Приведу такой пример. Некий третьекурсник механико-математического факультета МГУ осмелился опровергнуть одно из утверждений лектора, лектором же был не кто иной, как сам Колмогоров. После чего третьекурсник был немедленно приглашён Колмогоровым посетить его дачу, где и был произведён в ученики.
Данный текст писался не для математиков, а скорее для гуманитариев. Поэтому при его составлении в ряде случаев приходилось выбирать между понятностью и точностью. Предпочтение отдавалось понятности. (Достигнуть абсолютной точности всё равно невозможно. Невозможно, впрочем, достигнуть и абсолютной понятности - как и вообще чего-либо абсолютного.) За неточность прошу прощения у математиков, а всякому, любезно указавшему на непонятное место, приношу искреннюю благодарность.

Глава 2. Теорема Пифагора и теорема Ферма

В кажущемся противоречии с настойчивым подчёркиванием, что в данном очерке нас интересует именно непрактический, неприкладной аспект математики, мы предполагаем весьма и весьма поучительным включение в «джентльменский набор» математических представлений знание того, почему треугольник со сторонами 3, 4, 5 назывется египетским . А всё дело в том, что древнеегипетские строители пирамид нуждались в способе построения прямого угла. Вот требуемый способ. Верёвка разбивается на 12 равных частей, границы между соседними частями помечаются, а концы веревки соединяются. Затем верёвка натягивается тремя людьми так, чтобы она образовала треугольник, а расстояния между соседними натягивателями составляли бы, соответственно, 3 части, 4 части и 5 частей. В таком случае треугольник окажется прямоугольным, в коем стороны 3 и 4 будут катетами, а сторона 5 - гипотенузой, так что угол между сторонами 3 и 4 будет прямым. Боюсь, что большинство читателей в ответ на вопрос «Почему треугольник окажется прямоугольным?» сошлётся на теорему Пифагора: ведь три в квадрате плюс четыре в квадрате равно пяти в квадрате. Однако теорема Пифагора утверждает, что если треугольник прямоугольный, то в этом случае сумма квадратов двух его сторон равна квадрату третьей. Здесь же используется теорема, обратная к теореме Пифагора: если сумма квадратов двух сторон треугольника равна квадрату третьей, то в этом случае треугольник прямоугольный. (Не уверен, что эта обратная теорема занимает должное место в школьной программе.)
Кажущееся противоречие, упомянутое в начале абзаца, заключается в том, что, обещав говорить о неутилитарном аспекте математики, мы сразу же перешли к её практическому применению. Оно потому названо кажущимся, что описанное применение обратной теоремы Пифагора принадлежит далёкому прошлому. Сейчас едва ли кто-либо строит прямой угол указанным способом: этот способ переместился из мира практики в мир идей - как и вообще многие воспоминания о материальной культуре прошлого вошли в духовную культуру настоящего.
Изложенная только что тема содержит в себе три подтемы: прямой угол, треугольник и равенство 32 + 42 = 52. В каждой из этих подтем можно усмотреть некие элементы, относящиеся к тому, чтбо автор этих строк понимает под общечеловеческой культурой. Приведём примеры таких элементов.
Сперва о понятии прямого угла. Это понятие может быть использовано для интеллектуального обогащения. Поставим такую задачу: объяснить, какой угол называется прямым, но объяснить не на визуальных примерах, а вербально - например, по телефону. Вот решение. Надо попросить собеседника мысленно взять две жерди, соединить их крест-накрест и заметить, что в точке соединения сходятся четыре угла; если все эти углы окажутся равными друг другу, то каждый из них и называют прямым. Какая же тут духовная культура, если речь идёт о жердях! - возмутится критически настроенный читатель. Но суть здесь, конечно же, не в жердях, а в опыте вербального определения одних понятий через другие. Такой опыт поучителен и полезен, а возможно, что и необходим. Математика вообще представляет собою удобный полигон для оттачивания искусства объяснения. Адресата объяснений следует при этом представлять себе тем внимающим афинскому софисту любопытным скифом, о котором писал Пушкин в послании «К вельможе». Объяснение признаётся успешным, если есть ощущение, что любопытный скиф его поймёт.
Теперь - пример из жизни треугольников. Речь пойдёт о триангуляции. Триангуляция - это сеть примыкающих друг к другу, наподобие паркетин, треугольников различной формы; при этом существенно, что примыкание происходит целыми сторонами, так что вершина одного треугольника не может лежать внутри стороны другого. Триангуляции сыграли важнейшую роль в определении расстояний на земной поверхности, а тем самым и в определении фигуры Земли.
Потребность в измерении больших, в сотни километров, расстояний - как по суше, так и по морю - появилась ещё в древние времена. Капитаны судов, как известно из детских книг, меряют расстояния числом выкуренных трубок. Близок к этому метод, применявшийся во II веке до н. э. знаменитым древнегреческим философом, математиком и астрономом Посидонием, учителем Цицерона: морские расстояния Посидоний измерял длительностью плавания (с учётом, разумеется, скорости судна). Но ещё раньше, в III веке до н. э., другой знаменитый древний грек, заведующий Александрийской библиотекой математик и астроном Эратосфен, измерял сухопутные расстояния по скорости и времени движения торговых караванов. Можно предполагать, что именно так Эратосфен измерил расстояние между Александрией и Сиеной, которая сейчас называется Асуаном (если смотреть по современной карте, получается примерно 850 км). Это расстояние было для него чрезвычайно важным. Дело в том, что Эратосфен считал эти два египетских города лежащими на одном и том же меридиане; хотя это в действительности не совсем так, но близко к истине. Найденное расстояние он принял за длину дуги меридиана. Соединив эту длину с наблюдением полуденных высот Солнца над горизонтом в Александрии и Сиене, он, далее, путём изящных геометрических рассуждений, вычислил длину всего меридиана, а тем самым и величину радиуса земного шара.
Ещё в XVI веке расстояние (примерно стокилометровое) между Парижем и Амьеном определялось при помощи счёта оборотов колеса экипажа. Очевидна приблизительность результатов подобных измерений. Но уже в следующем столетии голландский математик, оптик и астроном Снеллиус изобрёл излагаемый ниже метод триангуляции и с его помощью в течение 1615 - 1617 годов измерил дугу меридиана, имеющую угловой размер в один градус и одиннадцать с половиной минут.
Посмотрим, как триангуляция позволяет определять расстояния. Сперва триангулируется полоса земной поверхности, включающая в себя оба пункта, расстояние между которыми хотят найти. Затем выбирается один из треугольников триангуляции; будем называть его начальным. Далее выбирается одна из сторон начального треугольника. Она объявляется базой, и ее длина тщательно измеряется. В вершинах начального треугольника строятся вышки - с таким расчётом, чтобы каждая была видна из других вышек. Поднявшись на вышку, расположенную в одной из вершин базы, измеряют угол, под которым видны две другие вышки. После этого поднимаются на вышку, расположенную в другой вершине базы, и делают то же самое. Так, в результате непосредственного измерения, возникают сведения о длине одной из сторон начального треугольника (а именно о длине базы) и о величине прилегающих к ней углов. По формулам тригонометрии вычисляются длины двух других сторон этого треугольника. Каждую из них можно принять за новую базу, причём измерять её длину уже не требуется. Применяя ту же процедуру, можно теперь узнать величины сторон и углов любого из треугольников, примыкающих к начальному. И так далее. Важно осознать, что непосредственное измерение какого-либо расстояния проводится только один раз, а дальше уже измеряются только углы между направлениями на вышки, что несравненно легче и может быть сделано с высокой точностью. По завершении процесса оказываются установленными величины всех участвующих в триангуляции отрезков и углов. А это, в свою очередь, позволяет находить любые расстояния в пределах участка поверхности, покрытого триангуляцией. Именно так в XIX веке была найдена длина дуги меридиана от Северного Ледовитого океана до Дуная. Триангуляция содержала 258 треугольников, длина дуги оказалась равной 2800 км. Чтобы подавить неточности, при измерениях неизбежные, а при вычислениях возможные, десять баз были подвергнуты непосредственному измерению на местности.
Формулы тригонометрии, упомянутые выше, входят в школьную программу. Подавляющему большинству после школы они никогда не понадобятся, разве что на вступительных экзаменах, и их можно спокойно забыть. Знать - и не только знать, но и осознавать, понимать надо следующее (и именно это входит в обязательный, на наш взгляд, интеллектуальный багаж): треугольник однозначно определяется заданием любой его стороны и прилегающими к ней углами, и этот очевидный факт может быть использован и реально используется для измерения расстояний методом триангуляции. Если всё же кому-нибудь когда-нибудь и понадобятся формулы тригонометрии, их легко можно будет найти в справочниках. Учат ли в наших школах пользоваться справочниками? А ведь это умение несравненно полезнее, чем помнить формулы наизусть.
Наконец, о равенстве 32 + 42 = 52. Если положительные числа a, b, c обладают тем свойством, что a 2+ b 2= c 2, то, по обратной теореме Пифагора, они представляют собою длины сторон некоторого прямоугольного треугольника; если они к тому же суть числа целые, их называют пифагоровыми . Вот ещё пример пифагоровой тройки: 5, 12, 13. Возникает естественный вопрос, а что будет, если в соотношении, определяющем пифагоровы числа, заменить возведение в квадрат на возведение в куб, в четвёртую, пятую и так далее степень? Можно ли привести пример таких целых положительных чисел a, b, c, чтобы выполнялось равенство a 3+ b 3= c 3, или равенство a 4+ b 4= c 4, или a 5+ b 5= c 5 и т. п.? Любую тройку целых положительных чисел, для которых выполняется одно из указанных равенств, условимся называть тройкой Ферма .
Только что сформулированным вопросом заинтересовался великий французский математик середины XVII века Пьер Ферма (вообще-то он занимался математикой, а заодно и оптикой, как хобби: служебные его обязанности состояли в заведовании отделом петиций тулузского парламента). Поиски требуемых примеров ни к чему не привели, и Ферма пришёл к убеждению, что их не существует. Утверждение о несуществовании троек Ферма принято называть Великой теоремой Ферма . Строго говоря, его следовало бы называть Великой гипотезой Ферма , поскольку автор утверждения не оставил нам его доказательства. Всё, что Ферма оставил потомкам на эту тему, - это две латинские фразы, написанные им около 1637 года на полях изданной в 1621 году в Париже на двух языках, греческом и латинском, «Арифметики» древнегреческого математика Диофанта. Указанное издание обладало широкими полями, и когда у Ферма появлялись те или иные мысли по ходу чтения, он записывал их на этих полях. И вот какие две фразы он, в частности, написал - приводим эти фразы в переводе: «Невозможно для куба быть записанным в виде суммы двух кубов, или для четвёртой степени быть записанной в виде суммы двух четвёртых степеней, или вообще для любого числа, которое есть степень больше двух, быть записанным в виде суммы двух таких же степеней. Я нашёл поистине удивительное доказательство этого предложения, но оно не уместится на полях [hanc marginis exiguitas non caperet; буквально: скудость поля его не вмещает]».
Своих математических открытий Ферма никогда не публиковал, часть их (да и то без доказательств) сообщалась им в частной переписке, а часть стала известной только после его смерти в 1665 году. К числу последних принадлежит и Великая теорема: в 1670 году старший сын Пьера переиздал в Тулузе Диофантову «Арифметику», включив в издание и 48 примечаний, сделанных его отцом на полях. Лишь в 1994 г. Эндрю Уайлз при участии своего ученика Ричарда Тэйлора доказал наконец Великую теорему - и притом доказал с использованием всей мощи современной математики, так что если сам Ферма и владел доказательством (что более чем сомнительно), то заведомо не таким. А до того Великая теорема оставалась Великой гипотезой.
Задача доказать гипотезу Ферма составила содержание Проблемы Ферма . Простота формулировки проблемы, доступной школьнику младших классов, делала её привлекательной для широких кругов любителей. Привлекательность усиливалась давностью постановки и ореолом некоей таинственности, сопутствующей постановке. А тут ещё в 1908 году была объявлена премия в сто тысяч германских марок за решение Проблемы Ферма. Вскоре мировая война обесценила премию, но было уже поздно: слух о премии привлёк к Проблеме Ферма ещё больше «старателей». Возникла особая разновидность людей, называемых ферматистами . Ферматисты - это люди, не имеющие специального математического образования, фанатично убеждённые в том, что они решили Проблему Ферма, и настойчиво ищущие признания. Признания они, естественно, не получили, но, завалив своими рукописями математические кафедры ряда крупных западных университетов, заставили эти кафедры занять оборонительную позицию: университеты стали возвращать авторам любые доказательства Великой теоремы Ферма, прилагая при этом стандартное письмо с указанием, что доказательство будет рассмотрено только после получения денежного залога. А известный гётттингенский профессор Эдмунд Ландау (избранный в 1932 году иностранным почётным членом Академии наук СССР) даже изобрёл специальный бланк, который он поручал заполнять своим аспирантам: «Дорогой сэр (мадам)! Мы получили Ваше доказательство Великой теоремы Ферма. Первая ошибка находится на странице…, строка…»
Одного из ферматистов мне довелось увидеть в мои студенческие годы. Сейчас я об этом расскажу. (Недоброжелательно настроенный читатель возразит, что рассказ о ферматисте не имеет отношения к заявленной теме - о месте математики в общечеловеческой духовной культуре; на наш взгляд - имеет.) Дело происходит в 1950 году или около того в Москве. Я нахожусь в одной из редакций, расположенных на Большой Калужской улице (сейчас это начало Ленинского проспекта). В редакцию входит другой посетитель и просит разрешения позвонить по телефону; в те годы вход в офисы ещё не охранялся ни охранниками, ни кодовыми замками. Посетитель живописен: худ, длинноволос и держит в руках сетчатую авоську, в которой лежит скрипка. Как мне потом расскажут знающие люди, он зарабатывал на жизнь, играя на этой скрипке на палубе речных теплоходов. На моих глазах, а также ушах, он делает два звонка. Первый звонок: «Это Московский университет? Попросите, пожалуйста, к телефону ректора. Ах, ректор занят и не может подойти? Дело в том, что я посылал на его имя ценное письмо с решением проблемы Ферма и хотел бы узнать результат. Ну хорошо, я позвоню позже». Второй звонок: «Это Академия наук? Попросите, пожалуйста, к телефону президента. Ах, президент занят и не может подойти? Дело в том, что я посылал на его имя ценное письмо с решением проблемы Ферма и хотел бы узнать результат. Ну хорошо, я позвоню позже». Позвонив, он вежливо благодарит и удаляется.
Но отнюдь не все советские ферматисты были столь травоядны. Часто, не найдя поддержки, они писали жалобу в так называемый «директивный орган», то есть в ЦК КПСС. В жалобе указывалось, что имеется возможность показать Западу кузькину мать и в очередной раз продемонстрировать всему миру приоритет советской науки, предъявив решение знаменитой проблемы, а нехорошие люди чинят этому препятствия. К жалобе прилагалась рукопись. А иной раз рукопись и не сопровождалась жалобой, а сразу посылалась в ЦК. В обоих вариантах ЦК переправлял рукопись тому же ректору Московского университета или тому же президенту Академии наук. А далее она, украшенная грозными резолюциями, спускалась вниз, на кафедру или в отдел. Теперь уже отмахнуться было невозможно и приходилось разбираться в заведомо ложном доказательстве, отыскивая в нём ошибку. Когда-то я прикинул, сколько времени профессиональные математики вынуждены тратить на переписку с ферматистами (переписку бесплодную, поскольку истинного ферматиста переубедить невозможно), - прикинул и ужаснулся.
В сравнительно редких случаях ферматисту удавалось опубликовать свой труд. (Это сейчас за счёт автора можно опубликовать что угодно, а в советское время даже ксероксы находились под строжайшим контролем, что уж говорить об издательствах и типографиях.) В частности, это удалось Виктолию Будкину. В 1975 году расположенное в Ярославле Верхне-Волжское книжное издательство выпустило пятитысячным тиражом его брошюру «Методика познания „истины”. Доказательство великой теоремы Ферма». То, что написано на её странице 45, весьма типично для самоосознания ферматиста: «Итак, сменилось 13 поколений людей, а Великая теорема Ферма осталась ещё не доказанной. Только в настоящей работе впервые приводится полное доказательство теоремы в общем виде».
Казалось бы, после того как доказательство теоремы Ферма было не только найдено (в сентябре 1994 г.), но и опубликовано (в 1995 г.) и признано мировой математической общественностью, с ферматизмом как с явлением будет покончено. Не тут-то было - ряды ферматистов хотя и поредели, но не иссякли. Сведения о том, что Великая теорема доказана, дошли не до всех: ведь, повторяю, ферматисты не являются математиками (хотя имеющие техническое образование часто считают себя таковыми). А многие из тех, до кого и дошло, продолжали искать какое-нибудь простое доказательство. В России ферматизм дал неожиданную вспышку в августе 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); и. т. д. Спрашивается, закончится ли когда-нибудь этот ряд пар? Наступит ли момент, когда будет выписана последняя пара и список близнецов окажется исчерпанным, или же ряд близнецовых пар продолжается неограниченно и их совокупность бесконечна (как бесконечна совокупность простых чисел)? Проблема отыскания ответа на этот вопрос и есть проблема близнецов.
Осознание того, что есть простые по формулировке вопросы, столетиями ждущие ответа, представляется поучительным. Не менее поучительно осознание того, что есть и проблемы другого типа, не ждущие решения по причине того, что решения не существует в принципе.
Принято считать, что первой по времени проблемой, относительно которой доказано принципиальное отсутствие решения, была приписываемая школе Пифагора проблема нахождения общей меры двух отрезков. Осторожные выражения «принято считать» и «приписываемая» означают, что как о бесспорных датировках, так и о бесспорном авторстве идей, относящихся к столь глубокой древности, говорить затруднительно. Мы всё же будем придерживаться традиционной версии, к тому же она достаточно правдоподобна.
Пифагор и пифагорейцы, с их мистическим отношением к числам, считали натуральные числа мерилом всех вещей, выразителями мирового порядка и основой материального бытия. Их занимала мысль об универсальной единице измерения длин. То есть о таком едином отрезке, который в каждом другом отрезке укладывался бы целое число раз. Прежде всего они пришли к пониманию, что такого единого отрезка не существует. Это сейчас его отсутствие кажется очевидным, тогда же осознание этого факта было подлинным открытием. Но оставался вопрос, существует ли подобный измеряющий отрезок не для всех отрезков сразу, а свой для каждых двух отрезков. Для ясности сформулируем проблему более развёрнуто. Представим себе два каких-то отрезка. Их общей мерой называется такой отрезок, который в каждом из них укладывается целое число раз. Скажем, если второй из наших двух отрезков составляет треть первого, то этот второй отрезок и будет общей мерой: действительно, в первом отрезке он укладывается три раза, а во втором - один. Отрезок, составляющий одну шестую нашего первого отрезка, будет укладываться в нём шесть раз, а во втором два раза, так что он также будет их общей мерой. Легко предъявить пару отрезков, для которых их общая мера будет укладываться в первом отрезке шесть раз, а во втором - пять; другая общая мера тех же отрезков будет укладываться в первом из них восемнадцать, а в другом пятнадцать раз. Теперь спросим себя, для любых ли двух отрезков существует их общая мера. Ответ неочевиден. В школе Пифагора был получен следующий поразительный результат: если взять какой-либо квадрат, а в нём его сторону и его диагональ, то окажется, что эта сторона и эта диагональ не имеют общей меры! Говорят, что диагональ квадрата и его сторона несоизмеримы . А соизмеримыми как раз и называются такие два отрезка, которые имеют общую меру.
Сегодня трудно себе представить силу эмоционального потрясения, испытанного, по дошедшим до нас из глубины веков сведениям, пифагорейцами, когда они обнаружили, что бывают несоизмеримые отрезки. Рассказывают, что они принесли в благодарственную жертву богам около сотни быков (и с тех пор, как выразился кто-то, скоты всегда ревут, когда открывается новая истина). Рассказывают также, что пифагорейцы поклялись никому не сообщать о своём открытии. (Современная аналогия: по распространённому мнению, в наши дни велено скрывать от публики свидетельства о летающих тарелках. Я относил это мнение к числу предрассудков - и был неправ: в марте 2007 года было объявлено, что Франция рассекречивает собиравшиеся десятилетиями данные о неопознанных летающих объектах.) По одной из легенд - возможно, придуманной самими пифагорейцами в острастку другим нарушителям, - нашёлся преступивший клятву, и он был убит.
Оценивая открытие несоизмеримых отрезков с современных позиций, по прошествии двух с половиной тысяч лет, можно усмотреть два имеющих общекультурное значение аспекта этого открытия.
Первый общекультурный аспект открытия несоизмеримости заключается в том, что впервые было доказательно установлено отсутствие чего-то - в данном конкретном случае общей меры стороны и диагонали одного и того же квадрата. Произошёл один из самых принципиальных поворотов в интеллектуальном развитии человечества. В самом деле, доказать, что что-то существует, можно, предъявив это «что-то». Например, если бы гипотеза Ферма оказалась неверна, то для её опровержения достаточно было бы предъявить тройку Ферма. Но как доказать, что чего-то нет? Если искомое «что-то» заведомо содержится в известной и ограниченной совокупности, то, вообще говоря, можно перебрать все элементы этой совокупности и убедиться, что ни один из них нам не подходит. Но что делать, если искать наше «что-то» надлежит в совокупности необозримой? А именно эта ситуация и имеет место при поиске общей меры: ведь искать её приходится в необозримой совокупности всех мыслимых отрезков. Остаётся единственный способ: доказывать отсутствие не путём непосредственного наблюдения, а путём логического рассуждения. Такой способ и был применён пифагорейцами.
Сегодня трудно сказать, как именно рассуждали в школе Пифагора, доказывая несоизмеримость стороны квадрата и его диагонали. От старых времён дошло до нас чисто геометрическое, и притом чрезвычайно изящное, доказательство отсутствия общей меры, но является ли оно тем самым первоначальным доказательством - это неизвестно. Сейчас наиболее популярно сведбение вопроса к вопросу из теории чисел. Именно используя прямую и обратную теоремы Пифагора, легко обнаружить, что несоизмеримость стороны и диагонали квадрата равносильна невозможности решить в целых числах уравнение 2x 2= y 2. (Мы говорим здесь лишь о положительных целых числах; разумеется, нулевые значения икса и игрека дают решение.) Боюсь, что в нашей средней школе эту равносильность не разъясняют, а очень надо бы: на этом примере демонстрируется и соотношение между прямой и обратной теоремами, и то, как одна невозможность перетекает в другую. Доказательство же указанной равносильности происходит очень просто и состоит, как и доказательство любой равносильности, из двух частей. В первой части доказывается, что если бы диагональ и сторона квадрата были соизмеримы, то существовали бы такие целые числа x и y , что 2x 2 = y 2. Во второй части доказывается обратное утверждение: если бы такие числа существовали, то и диагональ оказалась бы соизмерима со стороной. В первой части используется прямая теорема Пифагора: если диагональ и сторона соизмеримы, то их общая мера укладывается в стороне какое-то число x раз, а в диагонали какое-то число y раз; тогда по теореме Пифагора 2x 2 = y 2. Во второй части используется обратная теорема Пифагора: если найдутся такие целые числа x и y , что 2x 2 = y 2, то по этой обратной теореме треугольник с длинами сторон x , x и y будет прямоугольным и его можно достроить до квадрата со стороной длины x и диагональю длины y . Таким образом, великое пифагорейское открытие было не только замечательным само по себе, но и проложило дорогу к установлению отсутствия решений у уравнений. Обнаружить, что какое-то уравнение не имеет решения (в целых числах, как в нашем примере, или в действительных числах, как уравнение x 2 = -1), подчас бывает не менее важно, чем его решить&heip;

комментариев нет  

Отпишись
Ваш лимит — 2000 букв

Включите отображение картинок в браузере  →