Начала Евклида

«Начала» Евклида — это математический трактат, написанный древнегреческим математиком Евклидом около 300 года до н. э., который является одним из самых влиятельных и фундаментальных произведений в истории математики. Он представляет собой систематическое изложение геометрии и теории чисел, основанное на аксиоматическом методе. «Начала» состоят из 13 книг (частей), содержащих определения, постулаты, аксиомы и доказательства многочисленных теорем, и на протяжении более двух тысячелетий служили основным учебником по геометрии в европейской и ближневосточной науке.

Исторический контекст и авторство

Создание «Начал» пришлось на эпоху эллинизма, когда культурным и научным центром Средиземноморья стала Александрия Египетская. Евклид, работавший в Александрийской библиотеке, поставил перед собой задачу собрать и упорядочить разрозненные математические знания, накопленные греческими учёными предшествующих веков. Среди его предшественников, чьи труды легли в основу трактата, выделяются Фалес Милетский (доказал ряд теорем о треугольниках), Пифагор и его школа (теория пропорций и чисел), а также Евдокс Книдский (разработал теорию отношений и метод исчерпывания).

Сам Евклид, по сохранившимся сведениям, жил в Александрии при царе Птолемее I, однако точных биографических данных о нём почти не сохранилось. «Начала» стали не простой компиляцией, а новаторским трудом, в котором материал был выстроен в строгую логическую цепочку: от недоказуемых начал к сложным выводам.

Структура и содержание

Трактат делится на 13 книг, каждая из которых посвящена определённой области математики. Условно их можно разделить на три блока.

Книги I–VI: Планиметрия

Первая книга открывается 23 определениями (точка, линия, прямая, плоскость, угол, круг и другие), пятью постулатами и девятью аксиомами (общими понятиями). Постулаты задают правила построения геометрических фигур (например, «от всякой точки до всякой точки можно провести прямую линию»), а аксиомы — общие логические принципы (так, «величины, равные одной и той же величине, равны между собой»). На этой основе доказываются 48 теорем, включая известные признаки равенства треугольников, теорему о сумме углов треугольника и теорему Пифагора.

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

Книги VII–X: Теория чисел и иррациональности

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

Книги XI–XIII: Стереометрия

Одиннадцатая книга содержит основы пространственной геометрии (взаимное расположение прямых и плоскостей в пространстве, определение многогранных углов). Двенадцатая книга, опираясь на метод исчерпывания Евдокса, доказывает теоремы об отношениях площадей кругов, объёмов пирамид, конусов и цилиндров. Тринадцатая, заключительная, посвящена построению правильных многогранников (платоновых тел: тетраэдр, куб, октаэдр, икосаэдр, додекаэдр) и доказательству того, что их существует ровно пять.

Аксиоматический метод и V постулат

«Начала» стали первым в истории науки последовательным примером аксиоматической системы. Все геометрические истины выводились из небольшого числа исходных положений (постулатов и аксиом) с помощью формальных логических рассуждений. Этот подход определил развитие не только математики, но и других дисциплин до Нового времени.

Особое значение имеет Пятый постулат (о параллельных прямых): «Если прямая, пересекающая две прямые, образует внутренние односторонние углы, в сумме меньшие двух прямых, то эти две прямые, будучи продлёнными, пересекутся с той стороны, где углы меньше». Многие поколения математиков пытались доказать его как теорему, исходя из первых четырёх постулатов. Долгое время эти попытки не удавались, что привело в XIX веке к созданию неевклидовых геометрий (Лобачевский, Бойяи, Риман), где Пятый постулат отрицался.

Влияние и значение

«Начала» Евклида оказали огромное влияние на развитие науки и образования. В эпоху Средневековья трактат был переведён на арабский язык (VIII–IX века), благодаря чему не был утерян после падения Римской империи. В XII веке его перевели с арабского на латынь (труд Аделарда Батского), и он стал основой европейского университетского образования в области математики. В XVI–XVII веках появились многочисленные печатные издания.

Книга служила образцом логической строгости. На аксиоматику Евклида ориентировались Исаак Ньютон при написании «Математических начал натуральной философии» (1687) и Бенедикт Спиноза в «Этике» (1677). В Российской империи «Начала» в переводе на русский язык долгое время были основным учебником в гимназиях и университетах. С конца XIX века, в связи с реформой математического образования, трактат стал постепенно вытесняться более адаптированными учебниками, однако остаётся памятником научной мысли.

Критика и ограничения

Несмотря на грандиозность труда, «Начала» не лишены недостатков. Во-первых, некоторые определения не являются формально строгими (например, определение точки «то, что не имеет частей» не является математическим). Во-вторых, в доказательствах Евклид часто опирался на наглядные допущения, не выведенные из аксиом (например, интуитивное понимание движения в наложении фигур). В-третьих, отсутствует аксиома непрерывности, что вызывало критику со стороны математиков XIX века (Д. Гильберт). В XX веке были разработаны более строгие аксиоматические системы (например, аксиоматика Гильберта для евклидовой геометрии), восполняющие пробелы оригинального текста.

Издания и переводы

Наиболее известные издания «Начал»:

• Editio princeps (первопечатное издание) — Венеция, 1482 год, на латинском языке.
• Классическое греческое издание — «Euclidis Opera omnia» (под редакцией И. Л. Гейберга, 1883–1888).
• Первый полный русский перевод — Ф. И. Петрушевский (1819–1833). Позднее выходили переводы В. Я. Розена (1880) и Д. Д. Мордухай-Болтовского (1948–1950) с комментариями.

Источники

• Гейберг И. Л. «Euclidis Elementa» (1883).
• Мордухай-Болтовский Д. Д. «Начала Евклида», перевод с греческого и комментарии, т. I–III (1948–1950).
• Колмогоров А. Н., Юшкевич А. П. (ред.) «Математика XIX века. Геометрия. Теория аналитических функций» (1981).
• Ван дер Варден Б. Л. «Пробуждающаяся наука. Математика древнего Египта, Вавилона и Греции» (1959).
• Клайн М. «Математика. Утрата определённости» (1984).