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


«Начала» (греч. Στοιχεῖα, лат. Elementa) — главный труд Евклида, написанный около 300 г. до н. э. и посвящённый систематическому построению геометрии и теории чисел. Считается вершиной античной математики, итогом её трёхсотлетнего развития и основой для последующих исследований. «Начала», наряду с двумя трудами Автолика из Питаны — древнейшее из дошедших до современности античных математических сочинений; все труды предшественников Евклида известны только по упоминаниям и цитатам позднейших комментаторов.

«Начала» оказали огромное влияние на развитие математики вплоть до Новейшего времени, высокий интеллектуальный уровень произведения и его фундаментальная значимость для науки в целом отмечается ключевыми учёными современности[2]. Книга переведена на множество языков мира, по количеству переизданий «Начала» не имеют себе равных среди светских книг.

Прокл сообщает (ссылаясь на Евдема), что подобные сочинения создавались и до Евклида: «Начала» были написаны Гиппократом Хиосским, а также платониками Леонтом и Февдием. Но эти сочинения, по-видимому, были утрачены ещё в античности.

Текст «Начал» на протяжении веков были предметом дискуссий, к ним написаны многочисленные комментарии. Из античных комментариев сохранился текст Прокла[3], являющийся важнейшим источником по истории и методологии греческой математики. В нём Прокл даёт краткое изложение истории греческой математики (так называемый «Евдемов каталог геометров»), обсуждает взаимосвязь метода Евклида и логики Аристотеля, роль воображения в доказательствах. Среди древних комментаторов — Теон Александрийский, Папп Александрийский; основные комментаторы эпохи Возрождения — Пьер де ла Рамэ[4], Федериго Коммандино[5], Христоф Шлюссель (Клавиус)[6] и Генри Савиль.

В «Началах» излагаются планиметрия, стереометрия, арифметика, теория чисел, отношения по Евдоксу. В классической реконструкции Гейберга весь труд состоит из 13 книг. К ним традиционно присоединяют две книги о пяти правильных многогранниках, приписываемые Гипсиклу Александрийскому и школе Исидора Милетского.

Изложение в «Началах» ведётся строго дедуктивно. Каждая книга начинается с определений. В первой книге за определениями идут аксиомы и постулаты. Затем следуют предложения, которые делятся на задачи (в которых нужно что-то построить) и теоремы (в которых нужно что-то доказать). Определения, аксиомы, постулаты и предложения пронумерованы, например, ссылка «I, Определения, 2» — второе определение первой книги. Всего в 13 книгах «Начал» 130 определений, 5 постулатов, 5 (в части изданий — 9) аксиом, 16 лемм и 465 теорем (включая задачи на построение)[7].