Апология математики - Владимир Успенский

У нас здесь нет возможности излагать теории Дедекинда и Мерэ — Кантора. Отметим лишь, что строительным материалом для математического понятия действительного числа служат рациональные числа, каковые, в свою очередь, строятся на основе целых чисел. Это обстоятельство дало возможность выдающемуся немецкому математику Леопольду Кбонекеру (1823–1891) произнести в 1886 году знаменитую фразу «Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk» («Бог создал целые числа, всё остальное есть дело рук человеческих»). Возможно, более точным переводом немецкого слова «ganzen» было бы здесь русское слово «натуральные» — потому что не вызывает сомнений, что Кронекер имел в виду не все целые, а именно натуральные числа (из которых уже путём сознательной человеческой деятельности строятся отрицательные целые числа). Согласие с божественным происхождением натуральных чисел ещё не означает торжества креационизма. Потому что ничто не мешает считать, что натуральные числа появились в процессе исторической эволюции, оставляя при этом в стороне вопрос, управляется ли эволюция Господом Богом или происходит сама по себе. Став на эту точку зрения, приходим к выводу, что натуральные числа родились в процессах пересчитывания предметов, а также (и, надо полагать, позже) в процессах определения количества предметов. Это разные процессы, и они, с философской точки зрения, приводят к различным (хотя и соотнесённым друг с другом) системам натуральных чисел. Не знаю, как другие языки, но русский язык демонстрирует это различие достаточно наглядно. Пересчёт мы начинаем обычно со слова «раз», а наименьшее возможное количество чего-нибудь есть ноль. Таким образом, наименьшее количественное число есть число ноль, а наименьшее считательное число есть число раз (один, единица). Некоторые поэтому начинают натуральный ряд, то есть ряд натуральных чисел, с нуля, другие же — с единицы.

Упоминавшийся уже Дедекинд называл числа свободными творениями человеческого духа (а книга Дедекинда, в которой была провозглашена эта формула, сама имела примечательное название: «Was sind und was sollen die Zahlen» — «Что такое числа и каково их назначение»). Для понимания сущности чисел важно помнить, что число есть понятие абстрактное. Никакое число, даже число, скажем, два, нельзя ни увидеть, ни услышать. Увидеть можно два стола или двух слонов, а услышать можно слово «два» — но это совсем другое дело. Полезно отметить, что абстрактность понятий не есть отличительная (и потому многих пугающая) черта математики. Если вдуматься, то, скажем, такие физические понятия, как электрон, протон и т. п., весьма абстрактны. На память приходит вопрос, заданный на знаменитом семинаре Гельфанда, действовавшем на механико-математическом факультете Московского университета, одним из участников семинара: «Какой реальный математический смысл имеет эта физическая абстракция?»

Вернёмся, однако, к проблемам, не имеющим решения.

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

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

Геометрия требует чертежа, и античные математики делали такие чертежи. Самым удобным и дешёвым способом было чертить на песке. Архимед, величайший учёный древности (да и не только древности!), был убит римским солдатом в 212 году до н. э., во время Второй пунической войны, на Сицилии, в своих родных Сиракузах. По преданию, солдат застал его на песчаном пляже и, взбешённый его словами «Не трогай мои чертежи!», зарубил мечом. Основными элементами чертежей служили прямые линии и окружности. Для их вычерчивания имелись специальные инструменты. Таких инструментов было два: линейка, позволяющая проводить прямые, и циркуль, позволяющий проводить окружности. Под термином циркуль условимся понимать любое устройство, пригодное для заданной цели. Скорее всего, древнейший циркуль состоял из двух палок, соединенных верёвкой; одна палка («игла») втыкалась в песок в центре намеченной окружности, верёвка натягивалась, и второй палкой («писалом», «чертилом», «стилом») чертилась окружность с радиусом, равным длине верёвки. Задача на построение состояла в том, чтобы построить, то есть начертить, геометрическую фигуру с требуемыми свойствами. Вот простейший пример такой задачи: для заданного отрезка требуется построить его середину. Решение: для каждого из концов отрезка проводим окружность с центром в этом конце и с радиусом, равным длине отрезка; далее проводим прямую через те две точки, в которых наши окружности пересеклись; эта прямая пересечёт заданный отрезок в его середине. А вот формулировка задачи о квадратуре круга: для заданного круга требуется построить квадрат, равновеликий (то есть равный по площади) этому кругу. Неразрешимость квадратуры круга доказал в 1882 году немецкий математик Фердинанд Линдеман. Рассказывают, что он завершил доказательство 12 апреля, в день своего тридцатилетия, и, спрошенный друзьями, отчего это он сияет так, словно решил проблему квадратуры круга, отвечал, что так оно и есть. Жена Линдемана была недовольна, что муж удовлетворен той славой, которую заслуженно принесла ему задача о квадратуре круга, и заставляла его доказывать Великую теорему Ферма. Он страдал, но вынужден был подчиняться. Он скончался в 1939 году и, пока был в силах, занимался Проблемой Ферма. Результатом были слабые публикации на эту тему.

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

Каждая задача на построение предполагает наличие некоторой исходной геометрической фигуры и состоит в требовании указать способ, позволяющий построить новую фигуру, связанную с исходной указанными в задаче соотношениями. Так, в задаче о середине отрезка исходной фигурой был отрезок, а новой фигурой — точка, являющаяся его серединой; в задаче о квадратуре круга исходная фигура — круг, а новая — квадрат, имеющий ту же площадь. Вот ещё пример: по данной стороне построить правильный треугольник (то есть такой треугольник, у которого одинаковы все стороны и все углы). Исходной фигурой здесь служит отрезок, а новой фигурой — треугольник, у которого все стороны конгруэнтны этому отрезку. Надеемся, что читатель легко решит эту задачу. Можно построить и правильный семнадцатиугольник, но это уже не столь просто. А вот аналогичная задача о построении правильного семиугольника не имеет решения — это в конце XVIII века доказал один из величайших математиков всех времён Карл Фридрих Гаусс (1777–1855). До Гаусса существование таких задач на построение, решить которые невозможно, было лишь правдоподобной гипотезой. Он же указал способ построения правильного 17-угольника. Вот ещё пример весьма известной и древней задачи на построение: задача о трисекции угла. В ней требуется для каждого угла построить другой угол, составляющий треть исходного. Для некоторых углов специального вида — например, для прямого угла — построение трети не составляет труда. Однако в середине XIX века про некоторые углы было доказано, что, оперируя линейкой и циркулем, построить их невозможно. Оказалось, в частности, что невозможно построить углы в 10 и 20 градусов и, следовательно, осуществить трисекцию углов в 30 и 60 градусов. Тем самым была установлена неразрешимость задачи о трисекции угла.