Евклид. Геометрия

«Но надо исследовать теоретически, как полагается беспредельное в цельном. Ясно, что если имеется неограниченная прямая, то неограниченна и плоскость, содержащая ее, причем на деле, поскольку задача предложена. [...] Остается считать, что беспредельное существует лишь в воображении, но беспредельное не мыслится воображением. Ведь мыслить — значит придавать мыслимому форму и предел [...] Так что беспредельное относится не к мышлению, но к неопределенному для мысли; и, будучи немыслимым, несоразмерным природе и непостижимым для мысли, оно и называется беспредельным. [...] Воображение порождает его в силу своей нераздельной способности непостижимого порождения и представляет беспредельное по его немыслимости. [...] Так что когда мы полагаем в воображении данную неограниченную прямую, подобно всем прочим геометрическим фигурам, [...] не удивительно ли, как эта линия может быть беспредельной на деле и как она, будучи неопределенной, связана с определенными понятиями? С другой стороны, разум, из которого исходят рассуждения и доказательства, не пользуется беспредельным в науках, [...] беспредельное берется не ради беспредельного, но ради определенного. Ведь если данная точка не лежит на продолжении ограниченной прямой и не отстоит от этой прямой так, что никакая часть прямой не лежит под точкой, у нас не будет никакой потребности в беспредельном. В этом случае пользуются ограниченным, как не подлежащим проверке и бесспорным».

В этом тексте сделан большой шаг вперед по сравнению с предыдущими рассуждениями о бесконечном. Однако лишь благодаря исследованиям немецких ученых Рихарда Дедекинда (1831-1916) и особенно Георга Кантора (1845-1918) — всего через 50 лет после того, как Лобачевский и Бойяи расправились с пятым постулатом, — актуальная бесконечность стала частью математики. Так был положен конец философско-научной традиции, длившейся более 2000 лет.

ГЛАВА 4 Метод танграма в «Началах»

Одним из важнейших достижений китайской геометрии было изобретение танграма, позволяющего составлять различные фигуры с одинаковой площадью. Древнегреческие математики развили и обобщили эту технику, придав ей огромный дедуктивный потенциал. В частности, метод танграма позволил Евклиду доказать одну из основополагающих теорем древнегреческой геометрии, знаменитую теорему Пифагора, и решить задачи тысячелетней давности, унаследованные от месопотамских мыслителей.

Классический китайский тантрам — это элементарный геометрический метод, который основывается на следующем фундаментальном постулате.

Две фигуры, состоящие из равных частей, равны между собой.

В Китае этот метод был известен с незапамятных времен и назывался qi qiao ban — «семь дощечек мастерства». В Европу танграм попал как игра-головоломка и в таком виде распространился по всему миру. Изначально семь составляющих его частей сложены так, что образуют квадрат (см. рисунок 1 на следующей странице). Площади фигур, составленных из всех этих частей, равны площади квадрата (рисунок 2). Эта особенность позволяет, помимо прочего, показать значение диагонали квадрата. Итак, из данного квадрата можно сложить еще два с равной площадью (рисунок 3). Таким образом, мы видим, что при помощи диагонали квадрата справа можно построить еще один (как данный первоначально) с площадью, вдвое большей. Мы использовали термин «показать», поскольку в этом случае речь идет о простом наблюдении фигур без использования каких-либо логико-дедуктивных методов.