Трехмерный мир. Евклид. Геометрия
Шрифт:
Фрагмент папируса с рисунком, иллюстрирующим предложение 5 книги II Евклида, найденный при раскопках Оксиринха (Пемжде), древнего города в 160 км от Каира.
Изложение в рисунках первого предложения книги I. Оливье Бирн(1810- 1890).
АРИСТОТЕЛЬ
Для доказательства того, что не существует ни одного числа, которое в квадрате было бы равно двум, философ использовал метод доведения до абсурда.
Нет причин для существования числа, квадрат которого был бы равен 2.
На современном языке это означает, что квадратный корень из числа 2 — иррациональное число. Аристотель сначала принимает истинным противоположный постулат о том, что это число рациональное, и приходит к заключению: в таком случае «четное число одновременно есть также и нечетное», а это невозможно. Запишем его рассуждения в современном виде.
Предположим (дополнительная гипотеза), что
2 = m^2/n^2
где m и n — два числа разной четности. Следовательно, 2n^2 = m^2. Тогда, если m — четное число (то есть m = 2m'), то n — нечетное. Следовательно, 2n^2 = 4m'^2. То есть n^2 = 2m'^2, и n — четное.
Теперь рассмотрим еще один пример, который показывает, что, используя метод доведения до абсурда, Евклид прибегал к идеальным математическим объектам. Как мы уже сказали, при доказательстве необходимо установить, что построенные математические объекты правильны. Тем не менее метод доведения до абсурда предполагает, что в начале допускается существование неких математических объектов, как если бы они были реальными. Потом доказывается, что эта предпосылка ошибочна, то есть требуется построение объектов, которые не могут быть построены.
Эту проблему можно решить, приняв тот факт, что процесс построения происходит только в идеальной области фигур. Например, представим себе круг и прямую: они пересекаются или в двух точках, или в одной (в случае с касательной), или вообще не пересекаются. Если они пересекаются в двух точках, то эти точки существуют в идеальной геометрии, или, иначе говоря, в геометрической методологии. Например:
РИС. 1
Книга I, предложение 6. Если у треугольника два угла равны, то и противоположные им стороны равны.
Евклид рассматривает фигуру на рисунке 1 (треугольник АВС с равными углами СВА и АСВ, у которого при этом противоположные стороны АВ и АС неравны; например, одна, АВ, длиннее АС).
Но такого треугольника не существует. Это иллюстрация дополнительного постулата, который оказывается ложным.
Рисунок 2 проясняет ход рассуждений Евклида. Мы и включаем его в эту главу, поскольку на его примере видны трудности использования ошибочных фигур. Они используются, чтобы облегчить понимание доказательства, но этой цели труднее достичь, когда фигуры заведомо невозможны.
РИС. 2
В таких доказательствах нет простоты, характерной для анализа, но в них видна глубина знаний геометрии и логико-дедуктивного метода, присущего синтезу. Необходимо упомянуть, что эта доказательная техника пришлась по нраву не всем древнегреческим геометрам, поэтому в различных комментариях к «Началам» встречаются и другие доказательства, приведенные, чтобы избежать ее. Яркий тому пример — Герои Александрийский.
Так или иначе, структура «Начал» была достаточно солидной, чтобы затмить все предшествующие им трактаты. Возможно, именно в разработке этой структуры и заключается главное наследие Евклида. Теперь мы перейдем к изучению содержания: рассмотрим книгу I и метод танграма, роль бесконечности, значение и происхождение постулата о параллельных, природу и значение иррациональных величин, а также метод исчерпывания, построение Платоновых тел и, наконец, величайший вклад в науку Пифагора — арифметику.
ГЛАВА 3
Книга I и геометрия Вселенной
При изучении первой книги «Начал» мы сталкиваемся с фундаментальными вопросами евклидовой геометрии. Некоторые из них сугубо технического толка, а другие, более интересные, затрагивают отношение геометрии к проблеме бесконечности или соотнесение абстрактных геометрических фигур с окружающей действительностью. Благодаря вопросу, вытекающему из знаменитого постулата о параллельных прямых, мы проделаем путешествие во времени сквозь два тысячелетия, вплоть до неевклидовой геометрии, совершившей революцию в науке XIX века.
Первая книга — единственная из всех томов «Начал», которая содержит и общие понятия, и постулаты. В первых трех, как мы уже сказали, упоминаются приемлемые инструменты для построения геометрических объектов, и, следовательно, они имеют большое значение для решения задач. Оставшиеся два важны для определения природы евклидовой геометрии. Книга I ставит и другие вопросы: движение, искривление, бесконечность, метод танграма (о нем мы поговорим в главе 4) и так далее. Рассмотрим, каким образом четвертый постулат «Начал» связан с движением в геометрии. Согласно ему все прямые углы равны между собой.
В определении 10 из книги I читаем:
Когда прямая, восставленная на другой прямой, образует рядом углы, равные между собой, то каждый из равных углов есть прямой.
Если оба угла равны, они являются прямыми (рисунок 1). Возникает вопрос: равна ли эта пара углов другой паре, то есть равны ли все прямые углы, а не только парные? Четвертый постулат дает положительный ответ.
В конкретном случае прямых углов Евклид предполагает некую однородность плоскости. Таким образом, этот постулат включает в себя движение фигур, что предусматривает также общее понятие 5, но мы не можем прибегать к общему понятию для решения чисто геометрической задачи. В евклидовой геометрии нет ни одного постулата, в котором говорилось бы, что две наложенные друг на друга фигуры равны. Другими словами, общее понятие 5 должно быть постулатом, как мы уже говорили в главе 2. Несмотря на это Евклид не смог избежать понятия движения, хотя использовал его в редких случаях, например в пространственной геометрии, когда создавал конус и шар путем вращения прямоугольного треугольника вокруг одного из его катетов и круга вокруг его диаметра. Он также использовал это понятие в предложениях 4 и 8 первой книги для установления признаков равенства треугольников по стороне, углу и стороне и по трем сторонам. Однако в критерии равенства по углу, стороне и углу удается избежать движения. Рассмотрим первый случай.