Точка есть то что не имеет частей
Точка есть то что не имеет частей
Трудно переоценить значение книги Евклида «Начала». В качестве учебника при школьном преподавании математики (особенно геометрии) эту книгу использовали вплоть до XX в. Идеи, высказанные в «Началах», на протяжении более чем двух тысячелетий оказывали стимулирующее воздействие на новые математические исследования. Классическая механика, лежащая в основе естествознания XVII–XIX вв., описывает мир как находящийся в абсолютном пространстве, устроенном по законам геометрии Евклида. Осуществленная в «Началах» попытка логического выведения целостной теории из ограниченного числа первоначальных положений вызвала многочисленные подражания: в их числе – основополагающая для классической механики книга И. Ньютона «Математические начала натуральной философии», а также философский трактат Б. Спинозы «Этика, излагаемая геометрическим методом».
«Начала» подводят итог предшествующему развитию греческой математики, объединяя в себе теории, содержавшиеся в не дошедших до нас трактатах Гиппократа Хиосского, Теэтета, Евдокса и др. Последующие математики ссылались на положения «Начал» как на нечто окончательно установленное. В то же время некоторые теории, разработанные ранее, в эту книгу не вошли: по-видимому, автор стремился дать в ней именно «начала», «элементы», на основе которых могут быть развиты все разделы современной ему математики. Хотя основное место в греческой математике, и в «Началах» в том числе, занимает геометрия, эта книга также содержит много важных сведений из греческой арифметики.
Греческое название книги – «Стойхейя» – исходно обозначало алфавит, а также элементы, в частности, те, из которых состоит мироздание; греки насчитывали четыре элемента – землю, воду, огонь и воздух (рус. «стихия» также происходит от греч. «стойхейя»). Философ-неоплатоник V в. н. э. Прокл в комментариях к «Началам» утверждает, что структура книги отображает устройство космоса: она начинается с самых простых понятий – точки и прямой – чтобы в конце концов придти к учению о правильных многогранниках, которые, согласно философии Платона, лежат в основе структуры мира (четыре элемента имеют формы четырех из пяти правильных многогранников, а весь мир в целом – форму пятого, додекаэдра).
Если математические тексты Древнего Востока представляют собой лишь сборники предписаний для решения тех или иных задач, то греческая математика очень рано пришла к осознанию важности доказательств, обоснований одних положений с помощью других, уже установленных ранее. Появился идеал научной системы, в которой, во-первых, используемые термины имели бы четкие определения, а во-вторых, совокупность утверждений логически строго выводилась бы из немногих первоначальных аксиом. Этот идеал со всей ясностью сформулирован в логических трактатах Аристотеля. Первые попытки аксиоматического изложения математики были осуществлены еще до Евклида, но именно его «Начала», по-видимому, стали наиболее совершенным произведением такого рода в античности, полностью затмившим достижения предшественников.
«Начала» состоят из тринадцати книг. Каждая книга начинается с определений используемых терминов; кроме того, в начале первой книги сформулированы аксиомы и постулаты. Далее идут «предложения», доказываемые на основе определений входящих в них терминов, а также на основе аксиом, постулатов и доказанных ранее предложений. Значительную часть предложений составляют задачи на построение циркулем и линейкой. В этих случаях приводятся способ построения и доказательство того, что построенная фигура удовлетворяет условию задачи.
В I книге приводятся аксиомы и постулаты, а затем излагаются основные свойства треугольников, параллелограммов, трапеций. Венчает книгу теорема Пифагора.
Во II книге излагаются основы геометрической алгебры.
III книга посвящена свойствам круга, его касательных и хорд.
В IV книге строятся правильные треугольник, четырехугольник, пятиугольник, десятиугольник. Изящное построение правильного пятнадцатиугольника, которым заканчивается книга, возможно, принадлежит самому Евклиду.
Книга V содержит общую теорию отношений величин.
В VI книге Евклид излагает учение о подобии и применяет его к решению геометрических задач, эквивалентных квадратным уравнениям.
Книги VII–IX посвящены арифметике – теории целых чисел и их отношений (т. е., фактически, рациональных чисел). Здесь рассматриваются свойства операций с такими числами и проблемы делимости, вводится алгоритм Евклида для поиска наибольшего общего делителя двух чисел, доказывается, что простых чисел бесконечно много.
Книга X, считающаяся одной из самых сложных, излагает классификацию квадратичных иррациональностей.
Книги XI–XIII посвящены стереометрии. Книга XI содержит основные факты о прямых и плоскостях в трехмерном пространстве, а также об объемах параллелепипедов и призм.
В книге XII с помощью довольно тонкой техники (т. н. метода исчерпывания) доказывается, что площади кругов пропорциональны квадратам их диаметров, а объемы шаров – кубам их диаметров.
В книге XIII излагается учение о правильных многогранниках.
Впоследствии к тексту Евклида начали присоединять еще книги XIV–XV, также посвященные правильным многогранникам. Книгу XIV написал математик Гипсикл (II в. до н. э.), книга XV составлена в школе Исидора Милетского (VI в. н. э.).
Аристотель справедливо отмечал, что нельзя определить все термины: определяя одни термины на основе других, мы в конце концов придем к первичным, неопределяемым терминам. В современных аксиоматических изложениях геометрии в качестве неопределяемых терминов обычно рассматриваются точка, прямая, плоскость и некоторые другие. Евклид, однако, стремился определить и эти термины тоже, например:
Историки математики расходятся в мнениях, что именно имел в виду Евклид, давая эти определения. В любом случае такие определения имеют целью скорее описание определяемых объектов, которое должно отсылать к интуитивно ясному образу точки, прямой и т. д. Ввиду их расплывчатости такие определения не используются в доказательствах.
Определения, используемые в доказательствах – это, например, такие:
В идеальном случае все термины, встречающиеся в определениях, должны быть определены ранее либо принадлежать к узкому кругу неопределяемых терминов. В действительности Евклид определяет такие термины, как «круг», «окружность», «диаметр», «прямой угол», «треугольник», но не определяет понятий «содержащаяся между», «отсекаемая», «встречается», «пересекает» и т. д. Значения всех этих слов, по-видимому, должны быть ясны интуитивно, из обычного словоупотребления.
Начала Евклида. Книга 1
Для греков определить какой-нибудь объект — значило отграничить его от других.
1. Точка есть то, что не имеет частей.
2. Линия — длина без ширины.
3. Концы линии — точки.
4. Прямая линия есть та, которая равно расположена по отношению к точкам на ней.
5. Поверхность есть то, что имеет только длину и ширину.
6. Концы поверхности — линии.
7. Плоская поверхность есть та, которая равно расположена по отношению к прямым на ней.
8. Плоский угол есть наклонение друг к другу двух линий в плоскости встречающихся друг с другом, но не расположенных по одной прямой.
9. Когда линии, содержащие угол, прямые, то угол называется прямолинейным.
10. Когда прямая, восстановленная на другой прямой, образует рядом углы, равные между собой, то каждый из равных углов есть прямой, а восставленная прямая называется перпендикуляром к той, на которой она восставлена.
11. Тупой угол—больший прямого.
12. Острый же — меньший прямого.
13. Граница есть то, что является оконечностью чего-либо.
14. Фигура есть то, что содержится внутри какой-нибудь или каких-нибудь границ.
15. Круг есть плоская фигура, содержащаяся внутри одной линии [которая называется окружностью], на которую все из одной точки внутри фигуры падающие на окружность круга прямые равны между собой.
16. Центром круга называется эта точка.
17. Диаметр круга есть какая угодно прямая, проведённая через центр и ограничиваемая с обеих сторон окружностью круга, она же и рассекает круг пополам.
18. Полукруг есть фигура, содержащаяся между диаметром и отсекаемой им окружности. Центр полукруга — то же самое, что и у круга.
19. Прямолинейные фигуры суть те, которые содержатся между прямыми, трёхсторонние — между тремя, четырёхсторонние же — четырьмя, многосторонние же — которые содержатся между более чем четырьмя прямыми.
20. Из трёхсторонних фигур равносторонний треугольник есть фигура, имеющая три равные стороны, равнобедренный же — имеющая только две равные стороны, разносторонний — имеющая три неравные стороны.
21. Кроме того, из трёхсторонних фигур прямоугольный треугольник есть имеющий прямой угол, тупоугольный же — имеющий тупой угол, а остроугольный — имеющий три острых угла.
22. Из четырёхсторонних фигур квадрат есть та, которая и равносторонняя и прямоугольная, разносторонник — прямоугольная, но не равносторонняя, ромб — равносторонняя, но не прямоугольная, ромбоид (параллелограмм) — имеющая противоположные стороны и углы, равные между собой, но не являющаяся ни равносторонней ни прямоугольной.
Приведем в виде задач несколько предложений из Евклида, надеемся, что размышляя над этими задачами, вы осознаете величие книги Евклида.
Задача 1
На данной ограниченной прямой построить равносторонний треугольник.
Пусть данная ограниченная прямая будет АВ (черт. 1).
Требуется на прямой АВ построить равносторонний треугольник.
Посмотрите внимательно на чертеж и вы увидите решение задачи.
Задача 2
От данной точки отложить прямую, равную данной прямой.
Пусть дана точка А и отрезок ВС; требуется от точки А отложить отрезок, равный отрезку ВС.
Посмотрите внимательно на чертеж и вы увидите решение задачи.
Отрезок AL равен отрезку BC, см. (черт. 2).
Задача 3
(Предложение 17 из второй книги Евклида.)
Из данной точки А к данному кругу С с центром Е провести касательную прямую линию.
Посмотрите внимательно на чертеж и вы увидите решение задачи.
Задача 4
(Предложение 15 из четвертой книги Евклида.)
В данный круг вписать шестиугольник равносторонний и равноугольный.
Пусть данный круг будет ABCDEI; требуется вписать в круг ABCDEI шестиугольник равносторонний и равноугольный.
Приведем решение Евклида.
Проведём диаметр AD круга ABCDEI и возьмём центр круга Н, из центра D раствором DH опишем круг EHCG, соединяющие прямые ЕН и СН продолжим до В и I и соединим A3, ВС, CD, DE, EI, IA. Я утверждаю, что ABCDEI шестиугольник равносторонний и равноугольный.
Действительно, поскольку точка Н есть центр круга ABCDEI, то НЕ равна HD. Далее, поскольку точка D центр круга EHCG, то DE равна DH.
Но, как доказано, НЕ равна HD; и значит, НЕ равна ED; значит, треугольник EHD равносторонний; и значит, три его угла EHD, HDE, DEH равны между собой, поскольку ведь в равнобедренных треугольниках углы при основании равны между собой (предложение 5 книги I), и три угла треугольника равны двум прямым (предложение 32 книги I).
Значит, угол EHD — треть двух прямых. Подобным же образом будет доказано, что и угол DHC третья часть двух прямых. И поскольку прямая СН, восставленная на ЕВ, образует смежные углы, равные двум прямым (предложение 13 книги I), то значит, и оставшийся угол СНВ треть двух прямых; значит, углы EHD, DHC, СИВ равны между собой, так что и их углы через вершину ВНА, AHI, IHE (предложение 15 книги I) равны [углам EHD, DHC, СНВ.
Значит, шесть углов EHD, DHC, СНВ, ВНА, AHI, IHE равны между собой. Равные углы опираются на равные обводы (предложение 26 книги III); значит, шесть обводов АВ, ВС, CD, DE, EI, IА равны между собой.
Равные же обводы стягиваются равными прямыми (предложение 29 книги III); значит, шесть этих прямых равны между собой; значит, шестиугольник ABCDEI равносторонний.
Я утверждаю, что и равноугольный.
Действительно, поскольку обвод IA равен обводу ED, прибавим общий обвод ABCD; значит, вся IABCD равна всей EDCBA; и на обвод IABCD опёрся угол IED, на обвод же EDCBA угол АI1Е, значит, угол AIE равен DEI (предложение 27 книги III).
Подобным же образом будет доказано, что и остальные углы шестиугольника ABCDEI поодиночке равны каждому из углов AIE, IED; значит, шестиугольник ABCDEI равноугольный.
Доказано же, что он и равносторонний и вписывается в круг ABCDEI.
Итак, в данный круг вписывается шестиугольник равносторонний и равноугольный, что и требовалось сделать.
Замечание. Термин радиус был неизвестен грекам, слово «radius — луч> введено позднее.
Задача 5
(Предложение 16 из четвертой книги Евклида.)
В данный круг вписать пятнадцатиугольник равносторонний и равноугольный (иными словами, правильный).
Пусть данный круг будет ABCD; требуется в круг ABCD вписать пятнадцатиугольник равносторонний и равноугольный (см чертеж).
Впишем в круг ABCD сторону АС равностороннего треугольника, в него вписанного (предложение 2), и сторону АВ равностороннего пятиугольника; значит, каких равных долей будет в круге ABCD пятнадцать, таких в обводе АВС, являющемся третью круга, будет пять, в обводе АВ, являющемся пятой частью круга, будет три.
Значит, в остающемся обводе ВС равных долей будет две.
Рассечём ВС пополам в Е (предложение 30 книги III); значит, каждый из обводов BE и ЕС будет пятнадцатой частью круга ABCD.
Значит, если, соединив BE и ЕС, будем вставлять в круг ABCD одну за другой равные им прямые (предложение 1), то получим вписанный в круг пятнадцатиугольник равносторонний и равноугольный, что и требовалось сделать.
Подобным же образом, как для пятиугольника, если провести через деления по кругу касательные к кругу, то опишется около круга пятнадцатиугольник равносторонний и равноугольный (предложение 12).
Ещё же на основании доказательств, подобных тем, что для пятиугольника, мы впишем в данный пятнадцатиугольник и опишем около него круг (предложения 13 и 14), что и требовалось сделать (7, 8, 9, 10).
Начала Евклида
Не снимайте пометку о выставлении на переименование до окончания обсуждения.
Дата постановки — 29 августа 2012.
Прокл сообщает (ссылаясь на Евдема), что подобные сочинения создавались и до Евклида: «Начала» были написаны Гиппократом Хиосским, а также платониками Леонтом и Февдием. Но эти сочинения, по-видимому, были утрачены ещё в античности.
«Начала» оказали огромное влияние на развитие математики вплоть до Новейшего времени. Книга переведена на множество языков мира. По количеству переизданий «Начала» не имеют себе равных среди светских книг.
Содержание
Краткий обзор содержания
В «Началах» излагаются планиметрия, стереометрия, арифметика, отношения по Евдоксу. В классической реконструкции Гейберга весь труд состоит из 13 книг. К ним традиционно присоединяют две книги о пяти правильных многогранниках, приписываемые Гипсиклу Александрийскому и школе Исидора Милетского.
Изложение в «Началах» ведётся строго дедуктивно. Каждая книга начинается с определений. В первой книге за определениями идут аксиомы и постулаты. Затем следуют предложения, которые делятся на задачи (в которых нужно что-то построить) и теоремы (в которых нужно что-то доказать). Определения, аксиомы, постулаты и предложения пронумерованы, например, I def. 2 — второе определение первой книги.
Первая книга
Первая книга начинается определениями, из которых первые семь (I def. 1-7) гласят:
Комментаторы эпохи Возрождения предпочитали говорить, что точка есть место без протяжения. Современные авторы, напротив, признают невозможность определения основных понятий, и Давид Гильберт начинает «Основания геометрии» [6] так:
Мы мыслим три различные системы вещей: вещи первой системы мы называем точками и обозначаем 
За определениями Евклид приводит постулаты (I post. 1-5):
Наиболее интересен в аксиоматике Евклида последний, знаменитый пятый постулат. Среди других, интуитивно очевидных постулатов, он нарочито чужероден, его громоздкая формулировка закономерно вызывает некоторое чувство протеста и желание отыскать для него доказательство. Такие доказательства уже в древности пытались построить Птолемей и Прокл; а в Новое время из этих попыток развилась неевклидова геометрия. Следует отметить, что первые 28 теорем I книги относятся к абсолютной геометрии, то есть не опираются на V постулат.
За постулатами следуют аксиомы (I ax. 1-9), которые имеют характер общих утверждений, относящихся в равной мере как к числам, так и к непрерывным величинам:
В скобки взяты аксиомы, принадлежность которых Евклиду Гейберг, автор классической реконструкции текста «Начал», счёл сомнительной. I post. 4 и 5 в ряде списков выступают как I ax. 10 и 11 соответственно.
За аксиомами следуют три теоремы, представляющие собой задачи на построение, давно вызывающие споры. Так I prop. 2 предлагает «от данной точки отложить прямую, равную данной прямой». Нетривиальность этой задачи состоит в том, что Евклид не переносит отрезок на прямую соответствующим раствором циркуля, полагая такую операцию недозволенной, и использует I post. 3 в неожиданно узком смысле.
Затем рассматриваются различные случаи равенства и неравенства треугольников; теоремы о параллельных прямых и параллелограммах; так называемые «местные» теоремы о равенстве площадей треугольников и параллелограммов на одном основании и под одной высотой. Заканчивается I книга теоремой Пифагора.
Обзор содержания книг II—XIII
II книга — теоремы так называемой «геометрической алгебры».
IV книга — предложения о вписанных и описанных многоугольниках, о построении правильных многоугольников.
V книга — общая теория отношений, разработанная Евдоксом Книдским.
VI книга — учение о подобии геометрических фигур. Эта книга завершает евклидову планиметрию.
VII, VIII и IX книги посвящены теоретической арифметике. Евклид в качестве чисел рассматривает исключительно натуральные числа; для него «Число есть совокупность единиц». Здесь излагаются теория делимости и пропорций, доказывается бесконечность множества простых чисел, приводится алгоритм Евклида для нахождения наибольшего общего делителя двух чисел, строятся чётные совершенные числа. Евклид доказывает также формулу для суммы геометрической прогрессии.
X книга — классификация несоизмеримых величин. Это самая объёмная из книг «Начал».
XI книга — начала стереометрии: теоремы о взаимном расположении прямых и плоскостей; теоремы о телесных углах, объём параллелепипеда и призмы, теоремы о равенстве и подобии параллелепипедов.
XII книга — теоремы о пирамидах и конусах, доказываемые с помощью метода исчерпывания. Здесь доказывается, например, теорема о том, что объём конуса составляет одну треть от объёма цилиндра с теми же основанием и высотой.
XIII книга — построение правильных многогранников; доказательство того, что существует ровно пять правильных многогранников.
Евклид нигде в книге не ссылается на других греческих математиков, хотя несомненно опирается на их результаты. Историки науки [9] [10] показали, что прототипом для труда Евклида послужили более ранние сочинения античных математиков:
В целом содержание «Начал» покрывает значительную часть античной теоретической математики. Однако некоторая часть известного древнегреческим математикам материала осталась вне этого труда — например, конические сечения (Евклид посвятил им отдельный труд, который не сохранился), длина окружности, теория приближённых вычислений.
Манускрипты и издания «Начал»
Греческий текст «Начал»
При раскопках античных городов найдено несколько папирусов, содержащих небольшие фрагменты «Начал» Евклида. Самый известный был найден в «городе папирусов» Оксиринхе в 1896—1897 и содержит формулировку II prop. 5 с рисунком. [11]
Греческий текст «Начал» Евклида известен по византийским манускриптам, из них самые известные:
На их основе, а также с учётом арабских переводов «Начал» (IX век и далее) оригинальный текст был реконструирован датским историком науки Гейбергом в конце XIX века, его методы подробно описаны Хизом (T. L. Heath). [12]
Гейберг использовал в своей реконструкции 8 греческих манускриптов, датируемых сейчас IX—XI веками. Из этих манускриптов семь в своем заглавии имеют пометку «из издания Теона» или «из лекций Теона» и поэтому называются Теоновскими. Ватиканский манускрипт такой пометки не имеет и считается неподверженным редакции Теона. Теоновские манускрипты разнятся между собой, и общих признаков, отличающих их от ватиканского манускрипта, немного (наиболее существенный — концовка IV книги). На полях манускриптов имеются многочисленные комментарии, взятые частично из комментариев Прокла, которые вписывают «Начала» в контекст греческой культуры, напр., сообщается о том, что Пифагор, открыв свою теорему, принес в жертву быков.
История обретения византийских манускриптов темна. Вероятно, они попали в Европу ещё в XVI веке, но не были опубликованы. В первом издание греческого текста, осуществленном Йоханом Хервагеном (Johann Herwagen) между 1533 и 1558 под редакцией Симона Гринера (Simon Gryner, он же Grynaeus, профессор греческого в базельском университете), использованы манускрипты, которые, по мнению Гейберга, представляют собой весьма плохие копии XVI века. Лишь в 1808 Пейрар (F. Peyrard) во время наполеоновских экспроприаций нашел три манускрипта в Ватикане и среди них важнейший ватиканский.
Латинский текст «Начал»
Русские переводы
Первое издание «Начал» на русском языке произошло в 1739 году; книга вышла в Петербурге под названием «Евклидовы элементы из двенадцати нефтоновых книг выбранныя и в осьмь книг через профессора мафематики Андрея Фархварсона сокращенныя, с латинского на российский язык хирургусом Иваном Сатаровым преложенныя». [18] Перевод выполнил И. П. Сатаров под руководством шотландского математика Генри Фарварсона (Henry Fargwarson). [19] Имя Ньютона («Нефтона») в названии упомянуто, возможно, в рекламных целях, к содержанию книги он никакого отношения не имеет. Перевод был сделан с сокращённого французского издания «Начал» А. Такэ (A. Tacquet). [18] Немного позднее вышли ещё 2 перевода, также сокращённые до 8 книг:
Последнее по времени полное академическое издание было опубликовано в 1949-1951 годах, перевод с греческого и комментарии Д. Д. Мордухай-Болтовско́го.
Всемирное распространение
На китайском языке первые 6 книг «Начал» издал Маттео Риччи во время своей миссии в Китае (1583—1610). Полный перевод, выполненный А.Вайли, вышел с хвалебным предисловием Цзэн Гофаня, написанным в 1865 году.
Тексты «Начал»
В сети доступны следующие манускрипты и печатные издания «Начал»:
Начала Евклида
Ватиканский манускрипт (Vat. 190), т.2, 207v — 208r. Euclid XI prop. 31, 32 и 33.
«Начала» оказали огромное влияние на развитие математики вплоть до Новейшего времени. Книга переведена на множество языков мира. По количеству переизданий «Начала» не имеют себе равных среди светских книг.
Содержание
Краткий обзор содержания
Изложение в «Началах» ведётся строго дедуктивно. Каждая книга начинается с определений. В первой книге за определениями идут аксиомы и постулаты. Затем следуют предложения, которые делятся на задачи (в которых нужно что-то построить) и теоремы (в которых нужно что-то доказать). Определения, аксиомы, постулаты и предложения пронумерованы, например, I def. 2 — второе определение первой книги.
Первая книга
Первая книга начинается определениями, из которых первые семь (I def. 1-7) гласят:
Комментаторы эпохи Возрождения предпочитали говорить, что точка есть место без протяжения. Современные авторы, напротив, признают невозможность определения основных понятий, и Давид Гильберт начинает «Основания геометрии» [6] так:
Мы мыслим три различные системы вещей: вещи первой системы мы называем точками и обозначаем 
За определениями Евклид приводит постулаты (I post. 1-5):
За постулатами следуют аксиомы (I ax. 1-9), которые имеют характер общих утверждений, относящихся в равной мере как к числам, так и к непрерывным величинам:
В скобки взяты аксиомы, принадлежность которых Евклиду Гейберг, автор классической реконструкции текста «Начал», счёл сомнительной. I post. 4 и 5 в ряде списков выступают как I ax. 10 и 11 соответственно.
За аксиомами следуют три теоремы, представляющие собой задачи на построение, давно вызывающие споры. Так I prop. 2 предлагает «от данной точки отложить прямую, равную данной прямой». Нетривиальность этой задачи состоит в том, что Евклид не переносит отрезок на прямую соответствующим раствором циркуля, полагая такую операцию недозволенной, и использует I post. 3 в неожиданно узком смысле.
Обзор содержания книг II—XIII
II книга — теоремы так называемой «геометрической алгебры».
V книга — общая теория отношений, разработанная Евдоксом Книдским.
VI книга — учение о подобии геометрических фигур. Эта книга завершает евклидову планиметрию.
X книга — классификация несоизмеримых величин. Это самая объёмная из книг «Начал».
XI книга — начала стереометрии: теоремы о взаимном расположении прямых и плоскостей; теоремы о телесных углах, объём параллелепипеда и призмы, теоремы о равенстве и подобии параллелепипедов.
XIII книга — построение правильных многогранников; доказательство того, что существует ровно пять правильных многогранников.
Евклид нигде в книге не ссылается на других греческих математиков, хотя несомненно опирается на их результаты. Историки науки [9] [10] показали, что прототипом для труда Евклида послужили более ранние сочинения античных математиков:
Манускрипты и издания «Начал»
Греческий текст «Начал»
Папирус из Оксиринха
При раскопках античных городов найдено несколько папирусов, содержащих небольшие фрагменты «Начал» Евклида. Самый известный был найден в «городе папирусов» Оксиринхе в 1896—1897 и содержит формулировку II prop. 5 с рисунком. [11]
Греческий текст «Начал» Евклида известен по византийским манускриптам, из них самые известные:
На их основе, а также с учётом арабских переводов «Начал» (IX век и далее) оригинальный текст был реконструирован датским историком науки Гейбергом в конце XIX века, его методы подробно описаны Хизом ( T. L. Heath ). [12]
Гейберг использовал в своей реконструкции 8 греческих манускриптов, датируемых сейчас IX—XI веками. Из этих манускриптов семь в своем заглавии имеют пометку «из издания Теона » или «из лекций Теона» и поэтому называются Теоновскими. Ватиканский манускрипт такой пометки не имеет и считается неподверженным редакции Теона. Теоновские манускрипты разнятся между собой, и общих признаков, отличающих их от ватиканского манускрипта, немного (наиболее существенный — концовка IV книги). На полях манускриптов имеются многочисленные комментарии, взятые частично из комментариев Прокла, которые вписывают «Начала» в контекст греческой культуры, напр., сообщается о том, что Пифагор, открыв свою теорему, принес в жертву быков.
История обретения византийских манускриптов темна. Вероятно, они попали в Европу ещё в XVI веке, но не были опубликованы. В первом издание греческого текста, осуществленном Йоханом Хервагеном (Johann Herwagen) между 1533 и 1558 под редакцией Симона Гринера (Simon Gryner, он же Grynaeus, профессор греческого в базельском университете), использованы манускрипты, которые, по мнению Гейберга, представляют собой весьма плохие копии XVI века. Лишь в 1808 Пейрар (F. Peyrard) во время наполеоновских экспроприаций нашел три манускрипта в Ватикане и среди них важнейший ватиканский.
Латинский текст «Начал»
Манускрипт из Люнебурга, ок. 1200 года, передающий геометрию Боэция.
Русские переводы
Первое издание «Начал» на русском языке произошло в 1739 году; книга вышла в Петербурге под названием «Евклидовы элементы из двенадцати нефтоновых книг выбранныя и в осьмь книг через профессора мафематики Андрея Фархварсона сокращенныя, с латинского на российский язык хирургусом Иваном Сатаровым преложенныя». [18] Перевод выполнил И. П. Сатаров под руководством шотландского математика Генри Фарварсона (Henry Fargwarson). [19] Имя Ньютона («Нефтона») в названии упомянуто, возможно, в рекламных целях, к содержанию книги он никакого отношения не имеет. Перевод был сделан с сокращённого французского издания «Начал» А. Такэ (A. Tacquet). [18] Немного позднее вышли ещё 2 перевода, также сокращённые до 8 книг:
Всемирное распространение
Тексты «Начал»
В сети доступны следующие манускрипты и печатные издания «Начал»: