Вот, собственно, и все биографические сведения о Евклиде. К счастью, о его работах можно сказать гораздо больше. Вкратце расскажем о главном труде ученого – уже неоднократно упоминавшихся «Началах». Исходный вариант этого труда состоял из тринадцати книг. Четырнадцатая и пятнадцатая были составлены более поздними авторами, во II веке до н. э. и в VI веке н. э. соответственно.
Первая книга начинается 23-мя определениями геометрических понятий. Вот несколько примеров этих определений: точка – то, что не имеет частей; линия – длина без ширины; прямая – линия, одинаково расположенная относительно всех своих точек; параллельные прямые – прямые, которые лежат в одной плоскости и не встречаются, будучи сколь угодно продолженными. Далее содержатся аксиомы и постулаты, рассматриваются свойства основных фигур планиметрии (треугольника, прямоугольника, параллелограмма), приводится теорема о сумме углов треугольника и теорема Пифагора.
Вторая книга содержит основы геометрической алгебры. В те времена еще не существовало алгебраической символики, и поэтому в книге приведены геометрические методы решения задач, сводящихся к квадратным уравнениям. Третья книга описывает свойства круга, его касательных и хорд. Она основана на данных, полученных Гиппократом Хиосским – геометром V века до н. э. Четвертая книга посвящена правильным многоугольникам, пятая – теории отношений величин, созданной астрономом и математиком Евдоксом Книдским (около 408–355 гг. до н. э.), шестая – учению о подобиях. Седьмая, восьмая и девятая книги излагают теорию целых и рациональных чисел, которую сформулировали еще пифагорейцы. Многие считают, что эти три книги являются пересказом не сохранившихся до наших дней трудов математика и философа Архита (около 428–365 гг. до н. э.), однако сама теория чисел основывается на «алгоритме Евклида» (о том, что означает это понятие, мы скажем немного позже). Десятая книга (как, впрочем, и тринадцатая), согласно мнению многих исследователей, основана на работах математика Теэтета (IV век до н. э.). Она посвящена квадратичным и биквадратичным иррациональностям, а именно Теэтет и считается автором классификации иррациональностей. В одиннадцатой книге изложены основы стереометрии. В двенадцатой доказываются теоремы о площади круга и объеме шара, выводятся отношения объемов пирамид, конусов, цилиндров и призм. Тринадцатая книга посвящена правильным многогранникам, построение которых тоже считают достижением Теэтета. Кроме этого, некоторые исследователи считают Теэтета непосредственным автором текстов, приведенных в десятой, тринадцатой и, возможно, седьмой книгах «Начал».