Josep Carrera - Трехмерный мир. Евклид. Геометрия
«Начала» Евклида. Латинская копия XII века.
Тем не менее в случае с икосаэдром и додекаэдром не все так просто — именно поэтому Гипсикл отвел значительную часть книги XIV построениям этих фигур. Но самое необычное построение предложил Лука Пачоли (1445-1517) в сочинении «О божественной пропорции» (1494). Этот трактат известен не только тем, что в нем крайнее и среднее соотношение получило одно из самых ярких названий, но и благодаря своему научному содержанию, а также великолепным рисункам полиэдров работы самого Леонардо да Винчи. Шедевр Пачоли «Сумма арифметики, геометрии, учения о пропорциях и отношениях», в котором автор хотел рационализировать бухгалтерские методы того времени, стал завершением математики XIII и XIV веков и открыл новую эру в алгебре.
В 1507 году Пачоли сделал точный перевод «Начал» на латынь. Как видно на рисунке, он вставил один в другой три равных золотых прямоугольника перпендикулярно друг другу по срединной параллели. Затем ему оставалось только соединить ближайшие друг к другу вершины. Чтобы построить додекаэдр, итальянец соединил центры граней икосаэдра. Великолепный пример ясности рассуждений!
ГЛАВА 5
Теория отношений и метод исчерпывания
Одним из важнейших достижений Академии была разработка теории отношений, приписываемая великому древнегреческому математику Евдоксу Книдскому.
Благодаря ей Евклид смог сделать шаг вперед по сравнению с прямыми и окружностями и заняться изучением объемов. Еще одной знаменательной находкой классической математики был метод исчерпывания, с помощью которого Евклид решил задачу, унаследованную еще от Древнего Египта и связанную с расчетом объема пирамиды.
Как мы уже говорили, V книга «Начал» не зависит от предыдущих, хотя после установления теории отношений между величинами они становятся необходимы для применения общей теории геометрии. Этот метод практически единогласно приписывается Евдоксу Книдскому.
ПОНЯТИЕ ВЕЛИЧИНЫ
Первая проблема — похожая на заключенную в понятии прямой, но более сложная — кроется в самом термине «величина». Евклид использовал его, нигде не объясняя его значения. Любопытно, что Архимед, напротив, избегал этого термина и говорил только о «прямых, поверхностях и телах». Отсутствие определения величины вызвало серьезные философские споры, оказавшие влияние и на математику. Главный вопрос, вокруг которого развернулась дискуссия, звучал так: можно ли разделять величины до бесконечности? Самый заметный вклад в его решение внес Зенон Элейский со своими апориями, или парадоксами.
Зенон предложил собственную формулировку вопроса о величинах, в которой рассматривал время и пространство: они делимы до бесконечности или же состоят из неделимых мгновений и промежутков? Для древнегреческой философии того времени обе гипотезы были неприемлемы. Первая подразумевает, что мы должны принять актуальную бесконечность, которую, как мы уже знаем, Аристотель отверг окончательно и бесповоротно в IV веке до н. э., а во второй кроется парадокс: каким образом, соединяя «мгновения» или «неделимые промежутки», которые не содержат в себе ни времени, ни пространства, то есть нулевые, мы получаем некий временной или пространственный промежуток, отличный от нуля? Зенон пошел еще дальше и сформулировал четыре парадокса, о которых рассказывается в «Физике» Аристотеля. Два из них вытекают из гипотезы о том, что время дискретно и состоит из частей, не содержащих времени, а два других — из представления, согласно которому и время, и расстояние можно дробить до бесконечности. Рассмотрим два парадокса — по одному каждого типа.
Я постоянно встречаю людей, которые сомневаются, обычно без всякой на то причины, в своих математических способностях. В первую очередь надо выяснить, понимают ли они что-нибудь в геометрии. Не важно, что они не любят или что для них сложны другие области математики.
Джон Литлвуд
АПОРИЯ «СТРЕЛА»
Вспомним стрелу, выпущенную Улиссом, чтобы доказать, что он и есть муж Пенелопы и готов защитить ее от разгула женихов. За мгновение своего полета стрела не двигается, потому что если бы она двигалась, то ей потребовалось бы полмгновенья, чтобы пройти половину этого отрезка. Но этой половины не существует, поскольку мы предполагаем, что мгновенье — это минимальная временная единица. Значит, на самом деле стрела не двигается. Но если она не двигается «ни в один миг своего полета», то как она попала из лука в грудь Антиноя — первого жениха, убитого Улиссом? Можно было бы ответить, что за мгновение стрела передвигается на невидимое расстояние, то есть расстояние без расстояния. Но это вернуло бы нас к исходной точке: как можно получить расстояние, складывая «невидимые расстояния» (то есть нулевые)?
ЗЕНОН ЭЛЕЙСКИЙ
Зенон родился в Элее, современной Кампании, в 490 году до н.э. Он был учеником Парменида (ок. 540-475 до н. э.) и вместе с ним в середине V века до н. э. переехал в Афины, где, по свидетельству Платона, познакомился с тогда еще молодым Сократом. Зенон умер в 430 году до н. э., пытаясь освободить свою родину от поработившего ее тирана. Легенда гласит, что он отрезал себе язык, чтобы не выдать имена других заговорщиков.
От его сочинения «О природе», в котором он отстаивает тезисы Парменида, до нас дошло пять фрагментов. Благодаря комментариям Симпликия (490- 560) к аристотелевской «Физике» они считаются подлинными. В этом тексте, чтобы доказать свои гипотезы и опровергнуть теории противника, тезисы доводятся до абсурда (что-то вроде апагогии применительно к философии) методом рассуждений (logoi). Благодаря своим апориям Зенон может считаться отцом парадоксальных рассуждений: он никогда не доказывал тезисы своего учителя напрямую, а тонко запутывал противника, приводя его к неприемлемым выводам. В его философии существует только одно бытие, единое и неподвижное. Множественность и движение ведут к концептуальному несоответствию. Благодаря Аристотелю мы знаем четыре апории: о стреле, черепахе, движении и стадионе.
АПОРИЯ «АХИЛЛЕС И ЧЕРЕПАХА»
Ахиллес, более быстрый, чем черепаха, никогда ее не догонит, если она в момент движения находится на некотором расстоянии впереди. Ахиллес начинает движение из точки А, чтобы догнать черепаху, находящуюся в точке 5 (см. рисунок). Как бы быстро ни бежал Ахиллес — если только его скорость не бесконечна, что недопустимо,— когда он достигнет точки В, черепаха, как бы медленно она ни ползла, уже будет в точке B1. Поскольку мы предполагаем, что пространство дискретно и его можно делить бесконечно, то между двумя точками B и B1 всегда будет некоторое расстояние. Пока Ахиллес преодолевает отрезок BB1, черепаха дойдет до точки B2, и так до бесконечности. За конечный промежуток времени Ахиллес никогда не догонит черепаху.
Необходимо было преодолеть эту двойственность, чтобы дать геометрии твердые основы. Геометрические величины — линии, поверхности и тела — являются делимыми до бесконечности или состоят из атомов? Евклид в «Началах» и Архимед в «О шаре и цилиндрах» утверждают, что...
«...величины делимы до бесконечности и, следовательно, не содержат атомов».
Ахиллес и черепаха.
Таким образом, делая выбор из двух одинаково приемлемых (или неприемлемых) положений, мыслители преодолевают сложности, возникающие из-за отсутствия четкого определения величины. Вполне вероятно, что в геометрии важнее не что такое величина, а как с ней работать. Однако отсутствие концептуальной ясности в какой бы то ни было области может привести к парадоксальным ситуациям, которые невозможно предвидеть в самом начале. Как трактуются величины в «Началах»? Нарушает ли это понятие строгий порядок изложения геометрической теории?
ЕДИНИЦА ИЗМЕРЕНИЯ
Если вместо UV мы выберем единицей измерения
U1V1 = k x UV = UV + ...(k раз) + UV, то
AB = m/k x U1V1 и CD = n/k x U1V1.
Другими словами, k х АВ = m х U1V1, k x CD = n x U1V1, и они относятся друг к другу как m/n, поскольку, по предложению 3 книги V,
АВ/CD = (k x AB)/(k x CD) = (m x U1V1)/(n x U1V1) = m/n.
Если мы говорим об отношении между величинами, необязательно использовать отдельную единицу измерения для каждого типа величины.
НЕСОИЗМЕРИМЫЕ ВЕЛИЧИНЫ
Уже в пифагорейской школе обозначился кризис, позже названный некоторыми историками первым кризисом устоев математики. Ранее считалось, что два отрезка всегда соизмеримы. Если даны два отрезка АВ и CD, всегда можно найти общий для них обоих (с точки зрения их размера) отрезок UV] другими словами, всегда существует отрезок UV, который точно измеряет эти два отрезка. Следовательно, АВ = m х UV, a CD = n х UV. Мы также можем сказать, что между АВ и CD есть отношение, которое выражается как m/n, или m : n. Понятие отношения имеет огромное значение, поскольку позволяет обойтись без конкретного мерного отрезка UV. Не важно, какую меру длины мы используем — метры, сантиметры или километры, — отношение двух длин не меняется в зависимости от изменения единицы их измерения. Но не всегда мы можем выразить это отношение в виде чисел: не все можно свести к числовым вычислениям (с натуральными числами, то есть положительными и целыми). Если взять теорему Пифагора, можно вычислить диагональ АС квадрата с произвольной стороной АВ (см. рисунок 1). Поскольку АС = АВ,
