Josep Carrera - Трехмерный мир. Евклид. Геометрия
Теперь обратимся к непрямому доказательству. Переформулируем предложение 20 следующим образом:
Ряд простых чисел бесконечен.
Если принять за истину обратное, то ряд простых чисел а, b, ..., m ограничен и содержит в себе их все. Но если мы повторим предыдущее доказательство, то получим число, отличное от а, b, ..., m, значит, последовательность не включает в себя все числа.
Однако Евклид не мог совершенно избежать использования актуальной бесконечности. Например, он пишет:
Книга I, определение 23. Параллельные суть прямые, которые, находясь в одной плоскости и будучи продолжены в обе стороны неограниченно, ни с той, ни с другой стороны не встречаются.
РИС. 6
РИС. 7
В этом утверждении прямо говорится о неограниченности, то есть подразумевается актуальная бесконечность. В той же первой книге это слово встречается еще в двух предложениях: в формулировке и в доказательстве.
Книга I, предложение 12. К данной неограниченной прямой из заданной точки, на ней не находящейся, можно провести перпендикулярную прямую (см. рисунок 6).
Книга I, предложение 22. Из трех прямых, которые равны трем данным, можно составить треугольник (см. рисунок 7).
Что заставляет Евклида бросать вызов аристотелевскому ограничению на использование бесконечности в действительности? Ответ прост. Он хочет, чтобы его утверждения были действительны в общем смысле, то есть не зависели от конкретного рисунка. В первом случае прямая, к которой мы хотим провести перпендикуляр, должна быть достаточно длинной, чтобы гарантировать, что исходная точка этого перпендикуляра будет над ней независимо от конкретной точки на рисунке. Во втором случае три стороны треугольника должны находиться на и над прямой, которая, соответственно, должна быть настолько длинной, чтобы вмещать их независимо от длин сторон, а для этого она должна быть бесконечной. Значит, в некотором смысле ограничение, установленное Аристотелем, отнимает что-то у математиков. Девять веков спустя Прокл в комментарии к первой книге «Начал» выразил свое мнение по этому поводу, анализируя предложение 12:
«Но надо исследовать теоретически, как полагается беспредельное в цельном. Ясно, что если имеется неограниченная прямая, то неограниченна и плоскость, содержащая ее, причем на деле, поскольку задача предложена. [...] Остается считать, что беспредельное существует лишь в воображении, но беспредельное не мыслится воображением. Ведь мыслить — значит придавать мыслимому форму и предел [...] Так что беспредельное относится не к мышлению, но к неопределенному для мысли; и, будучи немыслимым, несоразмерным природе и непостижимым для мысли, оно и называется беспредельным. [...] Воображение порождает его в силу своей нераздельной способности непостижимого порождения и представляет беспредельное по его немыслимости. [...] Так что когда мы полагаем в воображении данную неограниченную прямую, подобно всем прочим геометрическим фигурам, [...] не удивительно ли, как эта линия может быть беспредельной на деле и как она, будучи неопределенной, связана с определенными понятиями? С другой стороны, разум, из которого исходят рассуждения и доказательства, не пользуется беспредельным в науках, [...] беспредельное берется не ради беспредельного, но ради определенного. Ведь если данная точка не лежит на продолжении ограниченной прямой и не отстоит от этой прямой так, что никакая часть прямой не лежит под точкой, у нас не будет никакой потребности в беспредельном. В этом случае пользуются ограниченным, как не подлежащим проверке и бесспорным».
В этом тексте сделан большой шаг вперед по сравнению с предыдущими рассуждениями о бесконечном. Однако лишь благодаря исследованиям немецких ученых Рихарда Дедекинда (1831-1916) и особенно Георга Кантора (1845-1918) — всего через 50 лет после того, как Лобачевский и Бойяи расправились с пятым постулатом, — актуальная бесконечность стала частью математики. Так был положен конец философско-научной традиции, длившейся более 2000 лет.
ГЛАВА 4
Метод танграма в «Началах»
Одним из важнейших достижений китайской геометрии было изобретение танграма, позволяющего составлять различные фигуры с одинаковой площадью. Древнегреческие математики развили и обобщили эту технику, придав ей огромный дедуктивный потенциал. В частности, метод танграма позволил Евклиду доказать одну из основополагающих теорем древнегреческой геометрии, знаменитую теорему Пифагора, и решить задачи тысячелетней давности, унаследованные от месопотамских мыслителей.
Классический китайский тантрам — это элементарный геометрический метод, который основывается на следующем фундаментальном постулате.
Две фигуры, состоящие из равных частей, равны между собой.
В Китае этот метод был известен с незапамятных времен и назывался qi qiao ban — «семь дощечек мастерства». В Европу танграм попал как игра-головоломка и в таком виде распространился по всему миру. Изначально семь составляющих его частей сложены так, что образуют квадрат (см. рисунок 1 на следующей странице). Площади фигур, составленных из всех этих частей, равны площади квадрата (рисунок 2). Эта особенность позволяет, помимо прочего, показать значение диагонали квадрата. Итак, из данного квадрата можно сложить еще два с равной площадью (рисунок 3). Таким образом, мы видим, что при помощи диагонали квадрата справа можно построить еще один (как данный первоначально) с площадью, вдвое большей. Мы использовали термин «показать», поскольку в этом случае речь идет о простом наблюдении фигур без использования каких-либо логико-дедуктивных методов.
Такой вид рассуждения тесно связан с диалогом Платона о воспоминании «Менон», где Сократ показывает: раб знает то, о чем он не знает, что знает. Рассуждение Сократа строится по принципу следующего: возьмем квадрат (со сплошным контуром, см. рисунок 4). Повторив его четыре раза, мы получим квадрат с пунктирными сторонами, как видно на том же рисунке. Затем проведем диагональ и на ней построим еще один квадрат. Получаем наклонный квадрат с пунктирными сторонами. Очевидно, что площадь этого квадрата равна сумме площадей двух квадратов, равных данному.
РИС. 1
РИС. 2
Танграм работает по такому же принципу, только используются прямоугольные равнобедренные треугольники, построенные на диагонали квадрата, в который части танграма сложены изначально. Евклид использовал в своей геометрии (точнее, в геометрии, основанной на его постулате о параллелях) обобщенный метод танграма: для деления отрезка таким образом, чтобы его части образовывали прямоугольник с площадью, большей, меньшей или равной площади данного квадрата; для геометрического решения месопотамской задачи, применяемой в решении уравнений второго порядка; для построения квадратуры многоугольников — то есть квадрата с площадью, равной площади данного многоугольника; наконец, для определения золотого сечения — операции, заключающейся в разделении отрезка на две части так, чтобы меньшая относилась к большей так, как большая относится к целому.
Евклид располагал базовым инструментом — параллелизмом, с помощью которого смог доказать следующие результаты.
Книга I, предложение 29. Накрест лежащие углы равны между собой.
Книга I, предложение 32. Сумма трех внутренних углов треугольника равна сумме двух прямых углов.
Книга I, предложение 34. Противоположные стороны и углы параллелограммов равны между собой.
РИС.З
РИС. 4
Предложения 29 и 34 позволяют применить обобщенный метод танграма, то есть использовать тантрам, не ограничиваясь изначально заданными фигурами, на которые он разделен. Для этого нужны теоремы, устанавливающие равенство их площадей.
Книга I, предложения 35 и 36. Параллелограммы, находящиеся на одном и том же основании и между одними и теми же параллельными прямыми, равны между собой.
Книга I, предложение 37. Треугольники, находящиеся на одном и том же основании и между одними и теми же прямыми, равны между собой.
РИС. 5
Рисунок 5 иллюстрирует предложения 35 и 26 первой книги.
Евклид говорит, что параллелограммы ВС и IH обладают одинаковой площадью. Сегодня это утверждение кажется нам очевидным. У фигур одинаковое основание и одинаковая высота, а площадь получается путем умножения этих двух величин (хотя это тоже требует доказательства). Однако древнегреческая геометрия оперирует размерами, у которых вследствие несоизмеримости нет длины. Из-за этого один или оба отрезка не могут быть измерены (этот вопрос мы рассмотрим подробнее в главе 5). Следовательно, необходимо найти способ доказать равенство этих двух площадей. Евклид использовал общее понятие 1. Если бы ему удалось доказать, что площади параллелограммов ВС и AJ с общим основанием равны и что площадь второго равна площади параллелограмма IH с которым у него одинаковое основание, то и параллелограммы ВС и IH были бы равны.
