В погоне за красотой
Шрифт:
А пока же еще раз подчеркнем, что требование независимости аксиом сильнее, жестче, чем требование непротиворечивости.
Аксиомы могут быть непротиворечивы, но из непротиворечивости еще не ясно, не есть ли какая-нибудь из них следствие остальных, не теорема ли она. И естественно, предлагая любую систему геометрических аксиом, математик обязан доказать их независимость! Здесь мы временно оборвем все наши рассуждения. И время и случай вернуться к ним у нас будут. И могу поручиться, мы не упустим случая и не потеряем время.
Хотя все, что написано чуть раньше, довольно просто,
А строгая постановка проблемы независимости аксиом, или строгое введение Основных Понятий, вообще была недоступна не только грекам, но и математикам всех эпох и народов вплоть до XIX столетия.
И аксиоматика и доказательства Евклида на деле — довольно пестрая смесь интуиции и логических пробелов, если… оценить с нынешних позиций.
Но, с другой стороны, Евклид так резко и значительно продвинулся на пути к строгой логике, что все остальные учебники, все прочие «начала», имевшие хождение в древности, бесповоротно и окончательно померкли перед «Началами».
И если, вспоминая Гомера, греки полагали лишним называть его имя, а говорили просто — «поэт», то Евклида называли «творец «Начал».
Все предшественники его на дедуктивном пути построения геометрии были забыты.
Были «Начала», и был их творец — Евклид.
И хотя тринадцать книг, написанных Евклидом, содержали, как полагают, в основном чужие результаты, и потому иногда дебатируют — можно ли причислять его к величайшим математикам, — величайшим педагогом он был бесспорно. Добавим еще, что, как видно, был он исключительно увлекающимся своим делом и разносторонним ученым, ибо, помимо «Начал», он написал: «Начала музыки», «Оптику», «Клатоптрику», «Данные», «Феномены» (это работа по астрономии), «Гармонические правила»; затем работы, дошедшие до нас и исчезнувшие: «Поризмы» (в трех книгах), «Конические сечения» (в четырех книгах), «Перспектива» (в двух книгах), «Места на поверхности», «О делении» и «О ложных представлениях».
Список весьма достойный.
Большинство книг, правда, неоригинальны по содержанию, но работа проделана колоссальная. Кстати, книгу «Данные» исключительно ценил сам Ньютон, а это довольно солидная рекомендация. Сам он, по-видимому, существенно продвинул сложнейший, интереснейший раздел греческой геометрии — учение о конических сечениях. Но не включил эти результаты в «Начала», поскольку существовало мнение, что эта область недостойна «чистой математики, цель которой — приблизить человека к божеству».
Почему именно теория конических сечений не приближала к божеству, установил все тот же Платон. Дело в том, что использование в геометрии каких-либо инструментов, кроме циркуля и линейки, или — что эквивалентно — использование геометрических мест точек, помимо окружности и прямой (а такие геометрические места требовались при изучении конических сечений), он полагал ересью. И со всей страстью он предавал анафеме великолепного геометра Менехма (своего друга, между прочим), который показал, что решение пресловутой задачи об удвоении куба, так же как трисекции угла, довольно просто найти, если использовать новые геометрические инструменты.
Платон утверждал, что все это «губит и разрушает благо геометрии, так как при этом она уходит от бестелесных и умопостигаемых вещей к чувственным и пользуется телами, нуждающимися в применении орудий пошлого ремесла».
Очевидно, такая отповедь устрашила беднягу Евклида, а его работа «О конических сечениях» бесследно исчезла для нас.
В «Началах» ему как будто принадлежит нечто в учении о правильных многогранниках. В XIII книге доказывается, что существует всего пять различных типов таких тел. Это блестящий, неожиданный, знаменитый… короче — классический результат.
Вообще-то в «Началах» рассказывается не только о геометрии. В них есть и элементы теории чисел и геометрическая теория иррациональных величин. Три последние книги посвящены стереометрии. И каждому разделу предшествуют аксиомы и постулаты.
Собственно, планиметрии отведено шесть первых книг. И самая первая начинается с аксиом и постулатов.
Историки математики до сих пор не могут окончательно договориться, как именно Евклид различал аксиомы и постулаты.
В общем у Евклида аксиомы (он сам называет их «общие достояния нашего ума») — истины, относящиеся к любым (а не только к геометрическим) объектам. Например, если А равно С и В равно C, то А равно В. Здесь А и В могут быть числа, отрезки, веса тел, треугольники…
Постулаты же — чисто геометрические аксиомы. Например, первый постулат Евклида: «От каждой точки ко всякой другой точке можно провести прямую линию».
Есть у Евклида и Основные Понятия.
Приводить всю его систему аксиом вряд ли стоит, потому что — мы уже раз десять говорили это — она совершенно неудовлетворительна. Собственно, аксиом планиметрии у Евклида шесть, и мы их опустим. Но постулаты процитируем. Вот первые четыре.
«Нужно потребовать:
I. Чтобы от каждой точки ко всякой другой точке можно было провести прямую линию.
II. Чтобы каждую ограниченную прямую можно было продолжить неограниченно.
III. Чтобы из любого центра можно было описать окружность любым радиусом.
IV. Чтобы все прямые углы были равны между собой».
Не будем пока подчеркивать плохое в этих постулатах. Простим на время Евклиду и «Началам» все «первобытные недостатки» их, как выразился однажды Николай Иванович Лобачевский. Сейчас нам важно, что все четыре постулата очень элементарны по содержанию. Евклид постулирует здесь абсолютно естественные, понятные, неотъемлемые от нашего сознания, нашей интуиции истины. Все хорошо. И…