Античная наука - [30]

Примерно около середины V в. до н. э. было обнаружено существование несоизмеримых отрезков, т. е. таких, отношение которых друг к другу не может быть выражено не только целым числом, но и любым отношением целых чисел. К их числу принадлежат, например, сторона квадрата и его диагональ. Имеются основания предполагать, что автором открытия был пифагореец Гиппас из Метапонта; с его именем связаны легенды, на которых мы не будем останавливаться. Мы не знаем, каким путем Гиппас пришел к своему открытию; по этому поводу исследователями античной математики выдвигались различные гипотезы.

Открытие несоизмеримости явилось поворотным пунктом в истории греческой математики; по своему значению для того времени оно может быть сопоставлено с открытием неевклидовых геометрий в XIX в. Оно означало крах ранних пифагорейских представлений о том, что соотношения любых величин могут быть выражены через отношения целых чисел. О том резонансе, который вызвало это открытие в образованных кругах греческого общества, свидетельствует ряд мест в сочинениях Платона и Аристотеля, где обсуждаются вопросы несоизмеримости. Вслед за простейшими случаями несоизмеримостей начали изучаться более сложные. Пифагореец Феодор из Кирены (вторая половина V в. до н. э.) показал, что стороны квадратов с площадями 3, 5, 6, 7,..., 17 несоизмеримы со стороной единичного квадрата. А ученик Феодора Теэтет, бывший современником и другом Платона, дал первое общее учение об иррациональных величинах (невыразимых как говорили греки).• Прежде всего он показал, что если площадь квадрата выражается целым числом Ν, которое не является второй степенью другого целого числа, то его сторона всегда будет несоизмерима со стороной единичного квадрата. Далее Теэтет распространил доказательство иррациональности на числа типа ³√N(где N не есть третья степень другого целого числа) √N+√M и M+√N (так называемые «биноминали»), √N-√M и √N-M («апотомы») и √√N√M («медиаль»). Изложение результатов Теэтета содержится в X книге «Начал» Евклида.

Обнаружение несоизмеримых отрезков и тем самым открытие иррациональных («невыразимых») величин поставило греческих математиков перед проблемой первостепенной важности. Каков мог быть выход из трудного положения, в котором оказалась математика в результате этого открытия? Одним из возможных был путь, по которому пошла математика Нового времени,— путь обобщения понятия числа и включения в него более широкого класса математических величин — как рациональных, так и иррациональных. При этом греки могли бы начать разработку чисто аналитических методов решения математических задач. Но они к этому еще не были подготовлены (заметим, кстати, что в греческой математике того времени отсутствовало как понятие нуля, так и понятие отрицательных величин). Поэтому греки избрали другой путь — путь геометризации математики. В результате возникла геометрическая алгебра, позволявшая на основе использования наглядных геометрических образов решать чисто алгебраические задачи; о ее характере мы можем судить по II книге Евклида и по произведениям Архимеда и Аполлония. Эта дисциплина, бывшая типичным детищем эллинского духа, начала закладываться во второй половине V в. до н. э.; она основывалась на античной планиметрии, представлявшей собой геометрию циркуля и линейки, и была приспособлена для решения квадратных уравнений и некоторых других классов алгебраических задач. Но ее возможности были ограничены, и в дальнейшем греческая геометрическая алгебра оказалась тормозом, препятствовавшим свободному развитию математической мысли в древности.

В процессе создания геометрической алгебры греческие математики разработали теорию пропорций, - приспособив ее для оперирования с несоизмеримыми отрезками. При этом было сформулировано новое определение пропорциональности, которое оказалось в равной степени применимым как для рациональных, так и для иррациональных величин. Теорией пропорций занимались Гиппас Meтапонтский, Гиппократ Хиосский, Архит Тарентский и другие математики V и начала IV вв. до н. э. Свое завершение теория пропорций нашла в общей теории отношений, разработанной величайшим математиком IV вв. до н. э. Евдоксом Книдским, о котором речь в следующей главе.

Что касается чистой геометрии, то к началу IV в. до н. э. было в основном завершено, логическое построение планиметрии, включавшей в себя теорию параллельных, определение сумм углов треугольника и площадей многоугольников, теорему Пифагора, теорию, дуг и хорд в круге построения правильных многоугольников и вычисление площади круга. Первое систематическое изложение геометрии было дано Гиппократом Хиосским. Из достижений самого Гиппократа широкую известность получила так называемая «теорема о луночках», изложение которой можно найти в любом курсе истории математики.

Наряду с планиметрией в V и до н. э. начала развиваться и стереометрия. Если ранним пифагорейцам были известны только три правильных многогранника — тетраэдр, куб и додекаэдр, то в дальнейшем к ним прибавились еще два — октаэдр и икосаэдр. А в IV в. до н. э. Теэтет уже дал общую теорию правильных многогранников. Выше уже было сказано о том, что Демокриту приписывалось открытие формул для объемов конуса и пирамиды. Следует также отметить, что в связи с развитием театральной техники возникла потребность в разработке теории перспективы. Автором первого сочинения (может быть, просто инструкции?) по этому вопросу источники называют художника Агафарха, вслед за которым о теории перспективы будто бы писали Анаксагор и Демокрит.