Теорема Пифагора у Евклида имеет только то содержание, которое устанавливается его доказательством: квадрат, построенный на гипотенузе прямоугольного треугольника, может быть разложен на части, равновеликие квадратам, построенным на его катетах; связанное с этим алгебраическое соотношение численных значений гипотенузы и катетов ему совершенно чуждо. Но мало того, что Евклид не пользуется числовыми соотношениями, — он устанавливает геометрические соотношения, эквивалентные основным алгебраическим тождествам, установленным гораздо позже; этому посвящена почти половина второй книги «Начал».
Эпоха великих геометров (второй Александрийский период). Наиболее характерной чертой второй Александрийской эпохи является то, что она принесла с собой метрику, которой геометрии Евклида не доставало. Ту задачу, которую Евклид, может быть, сознательно обходил, — измерение, — Архимед поставил во главу угла. Это не случайно, а связано с тем прикладным направлением, которым проникнуто все творчество Архимеда, жившего в эпоху (III в. до н. э.), когда борьба между отдельными греческими государствами за независимость и за гегемонию достигла величайшего напряжения; старость же его протекла в годы, когда началась решительная борьба Эллады за самое ее существование. Легенды связывают всю защиту Сиракуз с именем Архимеда, который изобретал все новые и новые метательные орудия, отражавшие суда осаждавших. Сколько в этом правды, судить трудно. Но Плутарх свидетельствует, что деятельность инженера-практика Архимеда никогда не прельщала, он и не написал по этому предмету ни одного сочинения. В III в. до н. э. прикладные задачи стояли уже перед эллинскими учеными во весь рост. Заслуга Архимеда заключалась не в том, что он построил значительное число катапульт, а в том, что он установил теоретические основы, на которых в конечном счете и по сей день покоится машиностроение, — он фактически создал основы механики. Механика требовала вычисления масс, а следовательно, площадей и объемов, а также Центров тяжести; механика настоятельно требовала метрической геометрии; на этом и сосредоточено внимание Архимеда в геометрии. Трудности несоизмеримых отношений он преодолевает в том порядке, который по настоящее время остается по существу единственным средством не только практического вычисления, но и теоретического построения учения об иррациональных величинах, — путем составления последовательных приближений. Но на этом-то пути и было необходимо исключительное искусство, ибо тяжеловесная система счисления представляла самое слабое место греческой математики. Архимед пытался найти радикальные средства для преодоления трудностей счисления — этому посвящена его книга «Исчисление песка». К цели это не кривело. Это сочинение представляет собой лишнее свидетельство исключительного остроумия Архимеда, но не дает хороших средств для практического счета. Наиболее важным было приближенное вычисление квадратных корней, необходимое для приближенного же вычисления длины окружности; этому посвящено особое, небольшое сочинение, по существу заключающее приближенное вычисление периметров правильных 96-угольников, вписанного в окружность и описанного около нее.
Таким образом, творения Архимеда существенно отличаются от геометрии Евклида и по материалу и по методу; это — огромный шаг вперед, это — новая эпоха. В изложении этих достижений, однако, выдержана система Евклида: аксиомы и постулаты в начале каждого сочинения, тонко продуманная цепь умозаключений, претендующая на совершенство сети силлогизмов. Но, как и система Евклида, геометрия Архимеда постоянно отдает щедрую дань интуиции, причем только рядом с геометрической интуицией здесь появляется интуиция механическая.
Сочинения, посвященные истолкованию «Начал» появились рано. Первым комментатором Евклида был, по-видимому, еще Гемин Родосский, живший во II в. до н. э. занимались этим позднее Герои и Папп, а также Теон и другие, но их комментарии до нас либо вовсе не дошли, либо сохранились только в отрывках в передаче Прокла, который писал уже в V в. н. э. Комментарии Прокла сделались вскоре классическим произведением, с которым долго никто не конкурировал в деле истолкования «Начал». К тому же Прокл жил уже в эпоху полного упадка греческой науки, и на его долю выпало лишь подвести общий итог деятельности его великих предшественников. Значение комментаторов Евклида заключается главным образом, в том, что они выяснили слабые места его логической схемы. Не сделав еще ничего для существенного улучшения этой схемы, они указали те пути, по которым проникают в систему Евклида рассуждения, нарушающие выдержанную нить логических выводов. Немало было высказано насмешливых замечаний по поводу комментаторов Евклида: говорили, что они переливали из пустого в порожнее, делали ясное неясным. В этих упреках, конечно, много правды. Комментирование элементарного сочинения не требует больших знаний, и потому было написано много легкомысленных и бессодержательных сочинений по поводу «Начал» Евклида и по вопросу об основаниях геометрии вообще. Но никак нельзя отрицать того, что комментаторы Евклида, тщательно изучавшие «Начала» и глубоко их продумавшие, указали множество темных пунктов этого сочинения и отметили целый ряд свойств пространственных образов, которые должны лечь в основу логической системы геометрии.
3. Геометрия новых веков
. Прокл был уже, по-видимому, последним представителем греческой геометрии. Римляне не внесли в геометрию ничего существенного. Гибель античной культуры, как известно, привела к глубокому упадку научной мысли, продолжавшемуся около 1000 лет, до эпохи Возрождения. Это не значит, однако, что математика в этот период совершенно заглохла. Посредниками между эллинской и новой европейской наукой явились арабы. Когда несколько улегся ярый религиозный фанатизм, царивший в эпоху арабских завоеваний, в условиях быстро развивавшейся торговли, мореплавания и городского строительства стала развертываться и арабская наука, в которой математика играла очень важную роль. Евклид был впервые переведен на арабский язык, по-видимому, в IX в. За этим последовал перевод сочинений других греческих геометров, многие из которых только с этих переводах до нас и дошли. Однако математические интересы арабов были сосредоточены не столько на геометрии, сколько на арифметике и алгебре, на искусстве счета в широком смысле этого слова. Арабы усовершенствовали систему счисления и основы алгебры, заимствованные от индусов; но в области геометрии они не имели значительных достижений.
Интерес к счету перешел и к европейским математикам раннего Возрождения. Медленно — с начала XIII в. (Леонард Пизанский) и до конца XV в. (Лука Пачоли) — в борьбе абацистов с алгорифмиками устанавливается современная система счисления, а в следующем, XVI в. начинает выкристаллизовываться и современная алгебра. Система символических обозначений современной алгебры ведет свое начало от Виеты, которому принадлежат и первые приложения алгебры к геометрии. Записав квадратные уравнения в общей форме и рассматривая неизвестную как отрезок, а коэффициенты уравнения как данные отрезки или отношения данных отрезков, Виета дает общие методы построения неизвестного отрезка с помощью циркуля и линейки. Он показывает далее, что решение таких же задач 3-й и 4-й степени всегда может быть приведено к построению двух средних пропорциональных. Во всем этом как будто нет ничего нового; по существу все это было известно Евклиду, Герону, Проклу. Но новая, более общая схема дает возможность объединить цикл разрозненных задач, интересовавших греческих геометров, установить общую их характеристику, рационально классифицировать их по характеру уравнения, к которому приводит алгебраический метод решения задачи. Все эти приемы в дальнейшем своем развитии составили небольшую дисциплину, известную в настоящее время под названием «Приложения алгебры к геометрии». Характерным для нее является сведение решения геометрической задачи к определенному алгебраическому уравнению или к определенной системе алгебраических уравнений. В этих применениях нет какого-либо специального, для геометрии придуманного замысла. Это — прием, проходящий через приложения алгебры во всех дисциплинах, где она применяется для разыскания неизвестных величин: задания выражаются определенной системой уравнений, решение которых дает значения неизвестных. Это объединение алгебры с геометрией вскоре привело к гораздо более углубленному и своеобразному применению алгебраического метода в геометрическом исследовании. Промежуточное значение (во всяком случае хронологически) имеют идеи Орезма (точнее, Орема), относящиеся к XIV в. Схоластики были очень склонны к установлению соотношений между различными величинами, соотношений иногда действительно существующих, но чаще иллюзорных. В этом коренилась, конечно, идея функциональной зависимости, которой Орезм первый пытался дать графическое выражение — в виде того, что мы в настоящее время называем диаграммой. Вероятно, туманные рассуждения, с которыми этот метод, столь простой но существу, был связан у схоластиков, повели к тому, что метод Орезма в ту пору значительного распространения не получил и прямого влияния на дальнейшую эволюцию геометрии не оказал. В эпоху Возрождения зародилась и так называемая изобразительная геометрия.