т на вопрос, как оно есть в реальном мире, помогает понять, как оно может быть — что не менее важно: ведь как оно есть мы вряд ли когда-нибудь узнаем до конца. (В главе 9 мы вернёмся к этой теме.) И эту помощь, которую оказывает математика в познании мира, также следует вписать в перечень её приложений.
Как говорил один из самых крупных математиков XX века Джон фон Нейман (1903–1957): «В конечном счёте, современная математика находит применение. А ведь заранее не ясно, что так должно быть».
Нередко утверждают, что математику следует рассматривать как часть физики, поскольку она описывает внешний физический мир. Но с тем же успехом её можно считать частью психологии, поскольку изучаемые в ней абстракции суть явления нашего мышления и тем самым должны проходить по ведомству психологии. Взять, например, такое основное (и, может быть, самое главное) понятие математики, как понятие натурального числа, то есть числа, являющегося одновременно и целым, и положительным (иногда к натуральным числам причисляют ещё и число ноль, к чему есть серьёзные основания!). Ведь показать, скажем, число пять невозможно, можно только предъявить пять пальцев или пять иных предметов. Уже здесь не такая уж малая степень абстракции. Ещё более высокая степень абстракции в числе пять септиллионов: ясно, что предъявить столько предметов невозможно. И уж совсем высокая (и одновременно глубокая) абстракция заключена в понятии натурального числа вообще и натурального ряда как совокупности всех натуральных чисел. Здесь поле, только начатое распахиваться психологией. Упоминавшийся уже Лузин, который был не только математиком, но и философом (и даже его избрание в 1929 году в Академию наук СССР произошло «по кафедре философии»), так высказывался на эту тему: «По-видимому, натуральный ряд чисел не представляет из себя абсолютно объективного образования. По-видимому, он представляет собой функцию головы того математика, который в данном случае говорит о натуральном ряде».
Тем не менее два математика на разных континентах приходят к одним и тем же выводам о свойствах натурального ряда чисел, хотя никто из них не может наблюдать числа внешним зрением, а лишь зрением внутренним — внутри собственной мысли. В этом труднообъяснимом единстве взглядов на идеальные сущности некоторые усматривают доказательство существования Бога.
Итак, мы отстаиваем два тезиса. Первый, что математика — вне зависимости от её практического использования — принадлежит духовной культуре. Второй, что отдельные фрагменты математики входят в общеобязательную часть этой культуры.
Что же касается вопроса, что именно из математики, причем из математики неприкладной, должно входить в общеобязательный культурный минимум, то однозначный ответ на этот вопрос вряд ли уместен. Каждый должен определять этот минимум для себя. Задача общества — предоставить своему члену ту информацию о математических понятиях, идеях и методах, откуда этот субъективный минимум можно было бы выбирать. Вообще, знание есть дело добровольное, и насилие тут неуместно. На ум приходит замечательное высказывание, принадлежащее Сухарто (второму президенту Индонезии — не путать с первым её президентом, Сукарно): «В наше время чрезвычайно трудно заставить кого-либо сделать что-либо добровольно». Иногда, тем не менее, в дальнейшем изложении будут встречаться рекомендации о включении в математический минимум тех или иных знаний; эти рекомендации не предлагаются как нечто категорическое и даются лишь в качестве возможных примеров и материала для дальнейшего обсуждения. Школьная программа по математике — слишком болезненная тема, чтобы её здесь затрагивать (хотя эта тема не может не волновать, поскольку касается миллионов наших детей). Ограничусь мнением, что хорошо бы в этой программе устранить перекос в вычислительную сторону математики и уделить больше внимания стороне качественной, не связанной непосредственно с вычислениями.
Замечу в заключение, что математика входит в мировую культуру и своим этическим аспектом. Наличие такового у математики может показаться странным. Он, однако, есть. Математика не допускает лжи. Она требует, чтобы утверждения не просто провозглашались, но и доказывались. Она учит задавать вопросы и не бояться непонимания ответов. Она по природе демократична: её демократизм обусловлен характером математических истин. Их непреложность не зависит от того, кто их провозглашает, академик или школьник. Приведу такой пример. Некий третьекурсник механико-математического факультета МГУ осмелился опровергнуть одно из утверждений лектора, лектором же был не кто иной, как сам Колмогоров. После чего третьекурсник был немедленно приглашён Колмогоровым посетить его дачу, где и был произведён в ученики.
Данный текст писался не для математиков, а скорее для гуманитариев. Поэтому при его составлении в ряде случаев приходилось выбирать между понятностью и точностью. Предпочтение отдавалось понятности. (Достигнуть абсолютной точности всё равно невозможно. Невозможно, впрочем, достигнуть и абсолютной понятности — как и вообще чего-либо абсолютного.) За неточность прошу прощения у математиков, а всякому, любезно указавшему на непонятное место, приношу искреннюю благодарность.
Глава 2. Теорема Пифагора и теорема Ферма
В кажущемся противоречии с настойчивым подчёркиванием, что в данном очерке нас интересует именно непрактический, неприкладной аспект математики, мы предполагаем весьма и весьма поучительным включение в «джентльменский набор» математических представлений знание того, почему треугольник со сторонами 3, 4, 5 назывется египетским. А всё дело в том, что древнеегипетские строители пирамид нуждались в способе построения прямого угла. Вот требуемый способ. Верёвка разбивается на 12 равных частей, границы между соседними частями помечаются, а концы веревки соединяются. Затем верёвка натягивается тремя людьми так, чтобы она образовала треугольник, а расстояния между соседними натягивателями составляли бы, соответственно, 3 части, 4 части и 5 частей. В таком случае треугольник окажется прямоугольным, в коем стороны 3 и 4 будут катетами, а сторона 5 — гипотенузой, так что угол между сторонами 3 и 4 будет прямым. Боюсь, что большинство читателей в ответ на вопрос «Почему треугольник окажется прямоугольным?» сошлётся на теорему Пифагора: ведь три в квадрате плюс четыре в квадрате равно пяти в квадрате. Однако теорема Пифагора утверждает, что если треугольник прямоугольный, то в этом случае сумма квадратов двух его сторон равна квадрату третьей. Здесь же используется теорема, обратная к теореме Пифагора: если сумма квадратов двух сторон треугольника равна квадрату третьей, то в этом случае треугольник прямоугольный. (Не уверен, что эта обратная теорема занимает должное место в школьной программе.)
Кажущееся противоречие, упомянутое в начале абзаца, заключается в том, что, обещав говорить о неутилитарном аспекте математики, мы сразу же перешли к её практическому применению. Оно потому названо кажущимся, что описанное применение обратной теоремы Пифагора принадлежит далёкому прошлому. Сейчас едва ли кто-либо строит прямой угол указанным способом: этот способ переместился из мира практики в мир идей — как и вообще многие воспоминания о материальной культуре прошлого вошли в духовную культуру настоящего.
Изложенная только что тема содержит в себе три подтемы: прямой угол, треугольник и равенство 32 + 42 = 52. В каждой из этих подтем можно усмотреть некие элементы, относящиеся к тому, что автор этих строк понимает под общечеловеческой культурой. Приведём примеры таких элементов.
Сперва о понятии прямого угла. Это понятие может быть использовано для интеллектуального обогащения. Поставим такую задачу: объяснить, какой угол называется прямым, но объяснить не на визуальных примерах, а вербально — например, по телефону. Вот решение. Надо попросить собеседника мысленно взять две жерди, соединить их крест-накрест и заметить, что в точке соединения сходятся четыре угла; если все эти углы окажутся равными друг другу, то каждый из них и называют прямым. Какая же тут духовная культура, если речь идёт о жердях! — возмутится критически настроенный читатель. Но суть здесь, конечно же, не в жердях, а в опыте вербального определения одних понятий через другие. Такой опыт поучителен и полезен, а возможно, что и необходим. Математика вообще представляет собою удобный полигон для оттачивания искусства объяснения. Адресата объяснений следует при этом представлять себе тем внимающим афинскому софисту любопытным скифом, о котором писал Пушкин в послании «К вельможе». Объяснение признаётся успешным, если есть ощущение, что любопытный скиф его поймёт.
Теперь — пример из жизни треугольников. Речь пойдёт о триангуляции. Триангуляция — это сеть примыкающих друг к другу, наподобие паркетин, треугольников различной формы; при этом существенно, что примыкание происходит целыми сторонами, так что вершина одного треугольника не может лежать внутри стороны другого. Триангуляции сыграли важнейшую роль в определении расстояний на земной поверхности, а тем самым и в определении фигуры Земли.
Потребность в измерении больших, в сотни километров, расстояний — как по суше, так и по морю — появилась ещё в древние времена. Капитаны судов, как известно из детских книг, меряют расстояния числом выкуренных трубок. Близок к этому метод, применявшийся во II веке до н. э. знаменитым древнегреческим философом, математиком и астрономом Посидонием, учителем Цицерона: морские расстояния Посидоний измерял длительностью плавания (с учётом, разумеется, скорости судна). Но ещё раньше, в III веке до н. э., другой знаменитый древний грек, заведующий Александрийской библиотекой математик и астроном Эратосфен, измерял сухопутные расстояния по скорости и времени движения торговых караванов. Можно предполагать, что именно так Эратосфен измерил расстояние между Александрией и Сиеной, которая сейчас называется Асуаном (если смотреть по современной карте, получается примерно 850 км). Это расстояние было для него чрезвычайно важным. Дело в том, что Эратосфен считал эти два египетских города лежащими на одном и том же меридиане; хотя это в действительности не совсем так, но близко к истине. Найденное расстояние он принял за длину дуги меридиана. Соединив эту длину с наблюдением полуденных высот Солнца над горизонтом в Александрии и Сиене, он, далее, путём изящных геометрических рассуждений, вычислил длину всего меридиана, а тем самым и величину радиуса земного шара.