Евклид или Эвклид (др.-греч. Εὐκλείδης, от «добрая слава», время расцвета). Жил около 300 года до н. э. Древнегреческий математик, автор первого из дошедших до нас теоретических трактатов по математике. Биографические сведения о Евклиде крайне скудны. Достоверным можно считать лишь то, что его научная деятельность протекала в Александрии в 3 в. до н. э.

Евклид - первый математик Александрийской школы. Его главная работа «Начала» (Στοιχεῖα, в латинизированной форме - «Элементы») содержит изложение планиметрии, стереометрии и ряда вопросов теории чисел; в ней он подвёл итог предшествующему развитию Древнегреческой математики и создал фундамент дальнейшего развития математики.

Из других сочинений по математике надо отметить «О делении фигур» , сохранившееся в арабском переводе, 4 книги «Конические сечения», материал которых вошёл в произведение того же названия Аполлония Пергского, а также «Поризмы», представление о которых можно получить из «Математического собрания» Паппа Александрийского. Евклид - автор работ по астрономии, оптике, музыке и др.

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

Приступив к изучению геометрии и разобрав первую теорему, один юноша спросил у Евклида: «А какая мне будет выгода от этой науки?» Евклид подозвал раба и сказал: «Дай ему три обола, раз он хочет извлекать прибыль из учёбы». Историчность рассказа сомнительна, поскольку аналогичный рассказывают о Платоне.

Некоторые современные авторы трактуют утверждение Прокла - Евклид жил во времена Птолемея I Сотера - в том смысле, что Евклид жил при дворе Птолемея и был основателем Александрийского Мусейона. Следует, однако, отметить, что это представление утвердилось в Европе в XVII веке, средневековые же авторы отождествляли Евклида с учеником Сократа философом Евклидом из Мегар.

В целом количество данных о Евклиде настолько скудно, что существует версия (правда, малораспространенная) что речь идет о коллективном псевдониме группы александрийских ученых.

«Начала» Евклида:

Основное сочинение Евклида называется Начала. Книги с таким же названием, в которых последовательно излагались все основные факты геометрии и теоретической арифметики, составлялись ранее Гиппократом Хиосским, Леонтом и Февдием. Однако Начала Евклида вытеснили все эти сочинения из обихода и в течение более чем двух тысячелетий оставались базовым учебником геометрии. Создавая свой учебник, Евклид включил в него многое из того, что было создано его предшественниками, обработав этот материал и сведя его воедино.

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

В I книге изучаются свойства треугольников и параллелограммов; эту книгу венчает знаменитая теорема для прямоугольных треугольников.

Книга II, восходящая к пифагорейцам, посвящена так называемой «геометрической алгебре».

В III и IV книгах излагается геометрия окружностей, а также вписанных и описанных многоугольников; при работе над этими книгами Евклид мог воспользоваться сочинениями Гиппократа Хиосского.

В V книге вводится общая теория пропорций, построенная Евдоксом Книдским, а в VI книге она прилагается к теории подобных фигур.

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

В X книге, представляющей собой самую объёмную и сложную часть Начал, строится классификация иррациональностей; возможно, что её автором является Теэтет Афинский.

XI книга содержит основы стереометрии.

В XII книге с помощью метода исчерпывания доказываются теоремы об отношениях площадей кругов, а также объёмов пирамид и конусов; автором этой книги по общему признанию является Евдокс Книдский.

Наконец, XIII книга посвящена построению пяти правильных многогранников; считается, что часть построений была разработана Теэтетом Афинским.

В дошедших до нас рукописях к этим тринадцати книгам прибавлены ещё две. XIV книга принадлежит александрийцу Гипсиклу (ок. 200 г. до н. э.), а XV книга создана во время жизни Исидора Милетского, строителя храма св. Софии в Константинополе (начало VI в. н. э.).

Начала предоставляют общую основу для последующих геометрических трактатов Архимеда, Аполлония и других античных авторов; доказанные в них предложения считаются общеизвестными. Комментарии к Началам в античности составляли Герон, Порфирий, Папп, Прокл, Симпликий. Сохранился комментарий Прокла к I книге, а также комментарий Паппа к X книге (в арабском переводе). От античных авторов комментаторская традиция переходит к арабам, а потом и в Средневековую Европу.

В создании и развитии науки Нового времени Начала также сыграли важную идейную роль. Они оставались образцом математического трактата, строго и систематически излагающего основные положения той или иной математической науки.

Купчинские юношеские чтения «Наука. Творчество. Поиск».
Секция «Математика»

«Евклид и его вклад в науку»

Работу выполнил ученик 6 «Б» класса
Суровегин Николай
Руководитель: Васильева
Дарья Геннадьевна

Санкт-Петербург 2008

I. Введение…………………………………….…3

II. Математика в Древней Греции……………..4

III. Биография Евклида……………………….….5

IV. Алгоритм Евклида……………………………8

V. Аксиоматика....……………………………….11

VI. Евклидова геометрия и V постулат………..12

VII. Начала…………………………………………19

VIII. Задачи из начал Евклида…………………...22

IX. Решение задач………………………………..23

X. Ссылки на информационные источники…...24

XI. Заключение…………………………………..25

I. Введение

В этом реферате я постараюсь рассказать вам всё, что я знаю о великом древнегреческом математике Евклиде. Идея написать именно про него пришла мне в голову после того, как я узнал об алгоритме Евклида. Этот ученый, очень много сделал для алгебры и геометрии, и его открытиями мы пользуемся постоянно. В реферате также есть практические задачи из начал, книг Евклида.

Глава II.
Математика в Древней Греции

Умственное развитие, а вместе с ним и развитие науки никогда не шло во всём человечестве равномерно. В то время как одни народы стояли во главе умственного движения человечества, другие оказывались едва вышедшими из первобытного состояния. Когда у последних вместе с улучшением условий их жизни, появлялись, под действием внутренних или внешних импульсов, стремления к приобретению знаний, тогда они должны были прежде всего догонять передовые племена. Если в то же время передовые племена, достигнув высшей доступной им по их способностям или по созданным для них историей условиям жизни степени развития, вырождались и падали, в умственном развитии всего человечества происходил застой или даже видимый временный упадок: приобретение новых знаний прекращалось и умственная работа человечества сводилась единственно к упомянутому усвоению отставшими племенами знаний, уже приобретённых человечеством. Только по достижении этого усвоения отставшие племена получали возможность вести далее дело приобретения новых знаний и через это, в свою очередь, становиться во главе умственного движения человечества. Таким образом, в истории умственной деятельности каждого народа, когда-нибудь занимавшего место в ряду передовых деятелей человечества и затем свершившего весь свой жизненный цикл, исследователь должен различать три периода: период усвоения знаний, уже приобретённых человечеством; период самостоятельной деятельности в общей всему человечеству области приобретения новых знаний и, наконец, период упадка и умственного вырождения. Обращаясь от этого общего рассмотрения хода умственного развития человечества к той из отдельных его областей, которая представляется развитием М., мы находим, что при современном состоянии историко-математических знаний нам доступно изучение вполне завершённого цикла деятельности отдельного народа в области развития М. только на одной нации, на древних греках.

Глава I I I Биография Евклида

ЭВКЛИД (Euclid c.356-300 ВС)

БИОГРАФИЯ

Эвклид - древнегреческий математик, автор первых дошедших до нас теоретических трактатов по математике. Биографические сведения о жизни и деятельности Эвклида крайне ограничены. Известно, что он родом из Афин, был учеником Платона. Научная деятельность его протекала в Александрии, где он создал математическую школу.

ДОСТИЖЕНИЯ В МАТЕМАТИКЕ

Главные труды Эвклида "Начала" (латинизированное назв.- "Элементы") содержит изложение планиметрии, стереометрии и ряда вопросов теории чисел, алгебры, общей теории отношений и метода определения площадей и объемов, включающего элементы пределов (Метод исчерпывания). В "Началах" Эвклид подытожил все предшествующие достижения греческой математики и создал фундамент для ее дальнейшего развития. Историческое значение "Начал" Эвклида заключается в том, что в них впервые сделана попытка логического построения геометрии на основе аксиоматики . Основным недостатком аксиоматики Эвклида следует считать ее неполноту; нет аксиом непрерывности, движения и порядка, поэтому Эвклиду часто приходилось апеллировать к интуиции, доверять глазу. Книги XIV и XV являются более поздними добавлениями, но являются ли первые тринадцать книг созданием одного человека или школы, руководимой Эвклидом, не известно. С 1482г. "Начала" Эвклида выдержали более 500 изд. на всех языках мира.

"Начала"

Первые четыре книги "Начал" посвящены геометрии на плоскости, и в них изучаются основные свойства прямолинейных фигур и окружностей.

Книге I предпосланы определения понятий, используемых в дальнейшем. Они носят интуитивный характер, поскольку определены в терминах физической реальности: "Точка есть то, что не имеет частей". "Линия же - длина без ширины". "Прямая линия есть та, которая равно расположена по отношению точкам на ней". "Поверхность есть то, что имеет только длину и ширину" и т. д.

За этими определениями следуют пять постулатов: "Допустим:
1) что от всякой точки до всякой точки можно провести прямую линию;
2) и что ограниченную прямую можно непрерывно продолжить по прямой;
3) и что из всякого центра и всяким раствором может быть описан круг;
4) и что все прямые углы равны между собой;
5) и если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньше двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых."

Три первых постулата обеспечивают существование прямой и окружности. Пятый, так называемый постулат о параллельных - самый знаменитый. Он всегда интриговал математиков, которые пытались вывести его из четырех предыдущих или вообще отбросить, до тех пор, когда в XIX в. обнаружилось, что можно построить другие, неевклидовы геометрии и что пятый постулат имеет право на существование. Затем Эвклид сформулировал аксиомы, которые в противоположность постулатам, справедливым только для геометрии, применимы вообще ко всем наукам. Далее Эвклид доказывает в книге I элементарные свойства треугольников, среди которых - условия равенства. Затем описываются некоторые геометрические построения, такие, как построение биссектрисы угла, середины отрезка и перпендикуляра к прямой. В книгу I включены также теория параллельных и вычисление площадей некоторых плоских фигур (треугольников, параллелограммов и квадратов). В книге II заложены основы так называемой геометрической алгебры, восходящей к школе Пифагора. Все величины в ней представлены геометрически, и операции над числами выполняются геометрически. Числа заменены отрезками прямой. Книга III целиком посвящена геометрии окружности, а в книге IV изучаются правильные многоугольники, вписанные в окружность, а также описанные вокруг нее.

Теория пропорций, разработанная в книге V, одинаково хорошо прилагалась и к соизмеримым величинам и к несоизмеримым величинам. Эвклид включал в понятие "величины" длины, площади, объемы, веса, углы, временные интервалы и т. д. Отказавшись использовать геометрическую очевидность, но избегая также обращения к арифметике, он не приписывал величинам численных значений. Первые определения книги V "Начал" Эвклида: 1. Часть есть величина (от) величины, меньшая (от) большей, если она измеряет большую. 2. Кратное же - большая (от) меньшей, если она измеряется меньшей. 3. Отношение есть некоторая зависимость двух однородных величин по количеству. 4. Говорят, что величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга. 5. Говорят, что величины находятся в том же отношении: первая ко второй и третья к четвертой, если равнократные первой и третьей одновременно больше, или одновременно равны, или одновременно меньше равнократных второй и четвертой каждая каждой при какой бы то ни было кратности, если взять их в соответственном порядке. 6. Величины же, имеющие то же отношение, пусть называются пропорциональными. Из восемнадцати определений, помещенных в начале всей книги, и общих понятий, сформулированных в книге I, с восхитительным изяществом и почти без логических недочетов Эвклид вывел (не прибегая к постулатам, содержание которых было геометрическим) двадцать теорем, в которых устанавливались свойства величин и их отношений.

В книге VI теория пропорций книги V применяется к прямолинейным фигурам, к геометрии на плоскости и, в частности, к подобным фигурам, причем "подобные прямолинейные фигуры суть те, которые имеют углы, равные по порядку, и стороны при равных углах пропорциональные". Книги VII, VIII и IX составляют трактат по теории чисел; теория пропорций в них прилагается к числам. В книге VII определяется равенство отношений целых чисел, или, с современной точки зрения, строится теория рациональных чисел. Из многих свойств чисел, исследованных Эвклидом (четность, делимость и т. д.), приведем, например, предложение 20 книги IX, устанавливающее существование бесконечного множества "первых", т. е. простых чисел: "Первых чисел существует больше всякого предложенного количества первых чисел". Его доказательство от противного до сих пор можно найти в учебниках по алгебре.

Книга X читается с трудом; она содержит классификацию квадратичных иррациональных величин, которые там представлены геометрически прямыми и прямоугольниками. Вот как сформулировано предложение 1 в книге X "Начал" Эвклида: "Если заданы две неравные величины и из большей вычитается часть, большая половины, а из остатка - снова часть, большая половины, и это повторяется постоянно, то когда-нибудь остается величина, которая меньше, чем меньшая из данных величин". На современном языке: Если a и b - положительные вещественные числа и a >b, то всегда существует такое натуральное число m, что mb > a. Эвклид доказал справедливость геометрических преобразований.

Книга XI посвящена стереометрии. В книге XII, которая также восходит, вероятно, к Евдоксу, с помощью Метода исчерпывания площади криволинейных фигур сравниваются с площадями многоугольников. Предметом книги XIII является построение правильных многогранников. Построение Платоновых тел, которым, по-видимому завершаются "Начала", дало основание причислить Эвклида к последователям философии Платона.

ОБЛАСТИ ИНТЕРЕСОВ

Кроме "Начал" до нас дошли такие произведения Эвклида: книга под латинским названием "Data" ("Данные") (с описанием условий, при которых какой-нибудь математический образ можно считать "данным"); книга по оптике (содержащая учение о перспективе), по катоптрике (излагающую теорию искажений в зеркалах), книга "Деление фигур". Не сохранилась педагогическая работа Эвклида "О ложных заключениях" (в математике). Эвклид написал также сочинения по астрономии ("Явления") и музыке.

ЗАСЛУГИ ЕВКЛИДА

ЕВКЛИДА ТЕОРЕМА о простых числах: множество простых чисел является бесконечным ("Начала" Евклида, книга IX, теорема 20). Более точную количественную информацию о множестве простых чисел в натуральном ряде содержит Чебышева теорема о простых числах и асимптотич. закон распределения простых чисел.

ЕВКЛИДОВА ГЕОМЕТРИЯ - геометрия пространства, описываемого системой аксиом, первое систематическое (но не достаточно строгое) изложение к-рой было дано в "Началах" Евклида. Обычно пространство Е. г. описывается как совокупрость объектов трех родов, называемых "точками", "прямыми", "плоскостями"; отношениями между ними: принадлежности, порядка ("лежать между"), конгруэнтности (или понятием движения); непрерывностью. Особое место в аксиоматике Е. г. занимает, аксиома о параллельных (пятый постулат). Первая достаточно строгая аксиоматика Ё. г. была предложена Д. Гильбертом (D. Hilbert, см. Гильберта система аксиом). Существуют модификации системы аксиом Гильберта и другие варианты аксиоматики Е. г. Напр., в векторно-точечной аксиоматике за одно из основных понятий принято понятие вектора; в основу аксиоматики Е. г. может быть положено отношение симметрии (см. ).

ЕВКЛИДОВО ПОЛЕ - упорядоченное поле, в к-ром каждый положительный элемент является квадратом. Напр., поле R действительных чисел - Е. п. Поле Q рациональных чисел не является Е. п. в. Л. Попов.

ЕВКЛИДОВО ПРОСТРАНСТВО - пространство, свойства к-рого описываются аксиомами евклидовой геометрии. В более общем смысле Е. п.- конечномерное действительное векторное пространство Rn со скалярным произведением (х, у), х, к-рое в надлежащим образом выбранных координатах (декартовых) выражается формулой

Глава I V Алгоритм Евклида

Алгори́тм Евкли́да - алгоритм для нахождения наибольшего общего делителя двух целых чисел. Этот агоритм применим также для нахождения наибольшего общего делителя многочленов, кольца в которых применим алгоритм Евклида получили название Евклидовы кольца.

Евклид описал его в VII книге и в X книге «Начал». В обоих случаях он дал геометрическое описание алгоритма, для нахождения «общей меры» двух отрезков. Алгоритм Евклида был известен в древнегреческой математике по крайней мере за век до Евклида под названием «антифайресис» - «последовательное взаимное вычитание».

Алгоритм Евклида для целых чисел

Пусть a и b суть целые числа, не равные одновременно нулю, и последовательность чисел

определена тем, что каждое rk это остаток от деления пред-предыдущего числа на предыдущее, а предпоследнее делится на последнее нацело, т. е.

a = bq 0 + r 1

b = r 1q 1 + r 2

r 1 = r 2q 2 + r 3

https://pandia.ru/text/78/222/images/image004_176.gif" width="47" height="20">, доказывается индукцией по m .

Корректность этого алгоритма вытекает из следующих двух утверждений:

Формулы для ri могут быть переписаны следующим образом:

r 1 = a + b (- q 0)

r 2 = b − r 1q 1 = a (− q 1) + b (1 + q 1q 0)

margin-top:0cm" type="disc"> Отношение a / b допускает представление в виде цепной дроби:

Вариации и обобщения

Кольца в которых применим алгоритм Евклида называются евклидовыми кольцами, к ним относятся в частности кольцо многочленов..

Ускоренные версии алгоритма

Одним из методов ускорения целочисленного алгоритма Евклида является выбор симметричного остатка :

Одна из наиболее многообещающих версий ускоренного алгоритма Евклида для полиномов основывается на том, что промежуточные значения алгоритма в основном зависят от высоких степеней. При применении стратегии Divide & Conqurer наблюдается большое ускорение асимптотической скорости алгоритма.

Глава V .
Аксиоматика

Аксио́ма (др.-греч. ἀξίωμα - утверждение, положение) или постулат - утверждение, принимаемое без доказательства.

Аксиоматизация теории - явное указание конечного набора аксиом. Утверждения, вытекающие из аксиом, называются теоремами.

Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии.

Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию. Аксиомы являются своего рода "точками отсчёта" для построения любой науки, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения (опыта).

Впервые термин «аксиома» встречается у Аристо-322 до н. э.) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома», не объясняя их различия. Со времен Боэция постулаты переводят как требования (petitio), аксиомы - как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.

Глава VI . Евклидова геометрия и V постулат

Евкли́дова геоме́трия (старое произношение - «Эвклидова») - привычная геометрия, изучаемая в школе. Обычно относится к двум или трём измерениям, хотя можно говорить о многомерном евклидовом пространстве. Евклидова геометрия названа в честь древнегреческого математика Евклида. В его книге «Начала», в частности систематически описывается геометрия евклидовой плоскости.

Аксиоматизация

Аксиомы, приведённые Евклидом в «Началах», таковы:

Через каждые две точки можно провести ровно одну прямую. Вдоль любого отрезка можно провести прямую. Имея отрезок, можно провести окружность так, что отрезок - радиус, а один из его концов - центр окружности. Все прямые углы равны. Аксиома параллельности Евклида: Через точку А вне прямой а в плоскости, проходящей через А и а, можно провести лишь одну прямую, не пересекающую а.

Чтобы определить трёхмерное евклидово пространство, нужно ещё несколько аксиом. Существуют и другие, современные аксиоматизации.

Проблема полной аксиоматизации элементарной геометрии - одна из проблем геометрии, возникшая в Древней Греции в связи с критикой этой первой попытки построить полную систему аксиом так, чтобы все утверждения евклидовой геометрии следовали из этих аксиом чисто логическим выводом без наглядности чертежей. Первую такую полную систему аксиом создал Д. Гильберт в 1899 г, она уже состоит из 20 аксиом разбитых на 5 групп.

Аксиома параллельности Евклида или пятый постулат - одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида .

И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых, то продолженные неограниченно эти прямые встретятся с той стороны, где углы меньше двух прямых.

Евклид различает понятия постулат и аксиома , не объясняя их различия; в разных манускриптах «Начал» Евклида разбиение утверждений на аксиомы и постулаты различно, равно как не совпадает и их порядок. В классическом издании «Начал» Гейберга сформулированное утверждение является пятым постулатом.

На современном языке текст Евклида можно переформулировать так:

Если сумма внутренних углов с общей стороной, образованных двумя прямыми при пересечении их третьей, с одной из сторон от секущей меньше 180°, то эти прямые пересекаются, и притом по ту же сторону от секущей.

В школьных учебниках обычно приводится другая формулировка, эквивалентная (равносильная) V постулату и принадлежащая Проклу :

margin-top:0cm" type="disc"> Существует прямоугольник (хотя бы один ), то есть четырёхугольник, у которого все углы прямые. Существуют подобные, но не равные треугольники. Любую фигуру можно пропорционально увеличить. Существует треугольник как угодно большой площади. Через каждую точку внутри острого угла всегда можно провести прямую, пересекающую обе его стороны. Если две прямые в одну сторону расходятся, то в другую - сближаются. Сближающиеся прямые рано или поздно пересекутся. Существуют такие прямые, что расстояние от точек одной до другой постоянно. Если две прямые начали сближаться, то невозможно, чтобы они затем начали (в ту же сторону) расходиться. Сумма углов одинакова у всех треугольников. Существует треугольник, сумма углов которого равна двум прямым. Существуют параллельные прямые, причём две прямые, параллельные третьей, параллельны и друг другу. Существуют параллельные прямые, причём прямая, пересекающая одну из параллельных прямых, непременно пересечёт и другую. Для всякого треугольника существует описанная окружность. Справедлива теорема Пифагора.

Эквивалентность их означает, что все они могут быть доказаны, если принять V постулат, и наоборот, заменив V постулат на любое из этих утверждений, мы сможем доказать исходный V постулат как теорему.

В неевклидовых геометриях вместо V постулата используется иная аксиома, что позволяет создать альтернативную, внутренне логически непротиворечивую систему. Например, в геометрии Лобачевского формулировка такая: «в плоскости через точку, не лежащую на данной прямой, можно провести по крайней мере две различные прямые, не пересекающиеся с данной ». А в сферической геометрии, где аналогами прямых выступают большие круги, параллельные прямые вообще отсутствуют.

Понятно, что в неевклидовой геометрии все вышеперечисленные эквивалентные утверждения неверны.

Попытки доказательства

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

Математики с давних времён пытались „улучшить Евклида“ - либо исключить пятый постулат из числа исходных утверждений, то есть доказать его, опираясь на остальные постулаты и аксиомы, либо заменить его другим, столь же очевидным, как другие постулаты. Надежду на достижимость этого результата поддерживало то, что IV постулат Евклида (все прямые углы равны ) действительно оказался лишним - он был строго доказан как теорема и исключён из перечня аксиом.

За два тысячелетия было предложено много доказательств пятого постулата, но в каждом из них рано или поздно обнаруживался порочный круг: оказывалось, что среди явных или неявных посылок содержится утверждение, которое не удаётся доказать без использования того же пятого постулата.

Первое дошедшее до нас упоминание о такой попытке сообщает, что этим занимался Клавдий Птолемей, но детали его доказательства неизвестны. Прокл (V век н. э.) приводит собственное доказательство, опираясь на допущение, что расстояние между двумя непересекающимися прямыми есть ограниченная величина; впоследствии выяснилось, что это допущение равносильно пятому постулату.

После упадка античной культуры V постулатом занялись математики стран ислама. Доказательство аль-Аббаса аль-Джаухари, ученика аль-Хорезми (IX век) , неявно подразумевало: если при пересечении двух прямых какой-либо третьей накрест-лежащие углы равны, то то же имеет место при пересечении тех же двух прямых любой другой. И это допущение равносильно V постулату.

Сабит ибн Курра (IX век) дал 2 доказательства; в первом он опирается на предположение, что если две прямые удаляются друг от друга с одной стороны, они обязательно приближаются с другой стороны. Во втором - исходит из существования равноотстоящих прямых, причём этот факт ибн Курра пытается вывести из представления о "простом движении", т. е. о равномерном движении на фиксированном расстоянии от прямой (ему представляется очевидным, что траектория такого движения - тоже прямая) . Каждое из двух упомянутых утверждений Ибн Курры эквивалентно V постулату.

https://pandia.ru/text/78/222/images/image011_109.gif" width="180" height="229">

Сочинение Саккери

Глубокое исследование V постулата, основанное на совершенно оригинальном принципе, провёл в 1733 г. итальянский монах-иезуит, преподаватель математики Джироламо Саккери. Он опубликовал труд под названием "Евклид, очищенный от всех пятен, или же геометрическая попытка установить самые первые начала всей геометрии ". Идея Саккери состояла в том, чтобы заменить V постулат противоположным утверждением, вывести из новой системы аксиом как можно больше следствий, тем самым построив "ложную геометрию", и найти в этой геометрии противоречия или заведомо неприемлемые положения. Тогда справедливость V постулата будет доказана от противного .

Саккери рассматривает всё те же три гипотезы о 4-м угле четырехугольника Ламберта. Гипотезу тупого угла он отверг сразу по формальным соображениям. Легко показать, что в этом случае вообще все прямые пересекаются, а тогда можно заключить, что V постулат Евклида справедлив - ведь он как раз и утверждает, что при некоторых условиях прямые пересекаются. Отсюда делается вывод, что «гипотеза тупого угла всегда целиком ложна, так как она сама себя разрушает » .

Поcле этого Саккери переходит к опровержению „гипотезы острого угла“, и здесь его исследование гораздо интереснее. Он допускает, что она верна, и, одно за другим, доказывает целый ряд следствий. Сам того не подозревая, он продвигается довольно далеко в построении геометрии Лобачевского. Многие теоремы, доказанные Саккери, выглядят интуитивно неприемлемыми, но он продолжает цепочку теорем. Наконец, Саккери доказывает, что в "ложной геометрии" любые две прямые или пересекаются, или имеют общий перпендикуляр, по обе стороны от которого они удаляются друг от друга, или же удаляются друг от друга с одной стороны и неограниченно сближаются с другой. В этом месте Саккери делает неожиданный вывод: «гипотеза острого угла совершенно ложна, так как противоречит природе прямой линии » .

Видимо, Саккери чувствовал необоснованность этого „доказательства“, потому что исследование продолжается. Он рассматривает эквидистанту - геометрическое место точек плоскости, равноотстоящих от прямой; в отличие от своих предшественников, Саккери знает, что в рассматриваемом случае это вовсе не прямая. Однако, вычисляя длину её дуги, Саккери допускает ошибку и приходит к реальному противоречию, после чего заканчивает исследование и с облегчением заявляет, что он «вырвал эту зловредную гипотезу с корнем ».

Во второй половине XVIII века было опубликовано более 50 работ по теории параллельных. В обзоре тех лет () исследуется более 30 попыток доказать V постулат и доказывается их ошибочность. Известный немецкий математик и физик, с которым Клюгель переписывался, тоже заинтересовался проблемой; его «Теория параллельных линий» была издана посмертно в 1786 г.

Сферическая геометрия: все прямые пересекаются

Ламберт первым обнаружил, что „геометрия тупого угла“ реализуется на сфере, если под прямыми понимать большие круги. Он, как и Саккери, вывел из „гипотезы острого угла“ множество следствий, причём продвинулся гораздо дальше Саккери; в частности, он обнаружил, что дополнение суммы углов треугольника до 180° пропорционально площади треугольника.

В своей книге Ламберт проницательно отметил:

Мне кажется очень замечательным, что вторая гипотеза [тупого угла] оправдывается, если вместо плоских треугольников взять сферические. Я из этого почти должен был бы сделать вывод - заключение, что третья гипотеза имеет место на какой-то мнимой сфере. Во всяком случае, должна же существовать причина, почему она на плоскости далеко не так легко поддается опровержению, как это могло быть сделано в отношении второй гипотезы.

https://pandia.ru/text/78/222/images/image014_44.jpg" width="180" height="135">

Лобачевский и Бойяи проявили бо́льшую смелость, чем Гаусс, и почти одновременно (около 1830 г.), независимо друг от друга, опубликовали изложение того, что сейчас называется геометрией Лобачевского. Как профессионал высокого класса, Лобачевский продвинулся в исследовании новой геометрии дальше всех, и она по праву носит его имя. Но главная его заслуга не в этом, а в том, что он поверил в новую геометрию и имел мужество отстаивать своё убеждение (он даже предложил экспериментально проверить V постулат, измерив сумму углов треугольника) .

Трагическая судьба Лобачевского, подвергнутого остракизму в научном мире и служебном окружении за слишком смелые мысли, показала, что опасения Гаусса были не напрасны. Но и его борьба была не напрасна. Спустя несколько десятилетий математики (Бернхард Риман), а затем и физики (Общая теория относительности, Эйнштейн), окончательно покончили с догматом об евклидовой геометрии физического пространства.

Доказать непротиворечивость новой геометрии ни Лобачевский, ни Бойяи не сумели - тогда математика ещё не располагала необходимыми для этого средствами. Только спустя 40 лет появились модель Клейна и другие модели, реализующие аксиоматику геометрии Лобачевского на базе евклидовой геометрии. Эти модели убедительно доказывают, что отрицание V постулата не противоречит остальным аксиомам геометрии; отсюда вытекает, что V постулат независим от остальных аксиом, и доказать его невозможно. Многовековая драма идей завершилась.

Глава VII. Начала Евклида.

Греческий текст Начал.

При раскопках античных городов найдено несколько папирусов, содержащих небольшие фрагменты Начал Евклида. Самый известный был найден на развалинах древнего города Oxyrhynchus, вблизи современной деревни Behnesa (примерно в 110 милях вверх по Нилу от Каира и в 10 милях к западу от него) в и содержит формулировку II prop. 5 с рисунком.

https://pandia.ru/text/78/222/images/image016_37.jpg" width="292" height="230 src=">.jpg" width="291" height="229 src=">

(ок. 365 — 300 до н. э.)

О жизни этого ученого почти ничего не известно. До нас дошли только отдельные легенды о нем. Первый комментатор «Начал» Прокл (V век нашей эры) не мог указать, где и когда родился и умер Евклид. По Проклу, «этот ученый муж» жил в эпоху царствования Птолемея I. Некоторые биографические данные сохранились на страницах арабской рукописи XII века: «Евклид, сын Наукрата, известный под именем «Геометра», ученый старого времени, по своему происхождению грек, по местожительству сириец, родом из Тира».

Одна из легенд рассказывает, что царь Птолемей решил изучить геометрию. Но оказалось, что сделать это не так-то просто. Тогда он призвал Евклида и попросил указать ему легкий путь к математике. «К геометрии нет царской дороги», — ответил ему ученый. Так в виде легенды дошло до нас это ставшее крылатым выражение.

Царь Птолемей I, чтобы возвеличить свое государство, привлекал в страну ученых и поэтов, создав для них храм муз — Мусейон. Здесь были залы для занятий, ботанический и зоологический сады, астрономический кабинет, астрономическая башня, комнаты для уединенной работы и главное — великолепная библиотека. В числе приглашенных ученых оказался и Евклид, который основал в Александрии — столице Египта — математическую школу и написал для ее учеников свой фундаментальный труд.

Именно в Александрии Евклид основывает математическую школу и пишет большой труд по геометрии, объединенный под общим названием «Начала» — главный труд своей жизни. Полагают, что он был написан около 325 года до нашей эры.

Предшественники Евклида — Фалес, Пифагор, Аристотель и другие много сделали для развития геометрии. Но все это были отдельные фрагменты, а не единая логическая схема.

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

В то время развитие науки и не предполагало наличия методов практической математики. Книги I—IV охватывали геометрию, их содержание восходило к трудам пифагорейской школы. В книге V разрабатывалось учение о пропорциях, которое примыкало к Евдоксу Книдскому. В книгах VII—IX содержалось учение о числах, представляющее разработки пифагорейских первоисточников. В книгах Х—ХІІ содержатся определения площадей в плоскости и пространстве (стереометрия), теория иррациональности (особенно в Х книге); в XIII книге помещены исследования правильных тел, восходящие к Теэтету.

«Начала» Евклида представляют собой изложение той геометрии, которая известна и поныне под названием евклидовой геометрии. Она описывает метрические свойства пространства, которое современная наука называет евклидовым пространством. Евклидово пространство является ареной физических явлений классической физики, основы которой были заложены Галилеем и Ньютоном. Это пространство пустое, безграничное, изотропное, имеющее три измерения. Евклид придал математическую определенность атомистической идее пустого пространства, в котором движутся атомы. Простейшим геометрическим объектом у Евклида является точка, которую он определяет как то, что не имеет частей. Другими словами, точка — это неделимый атом пространства.

Бесконечность пространства характеризуется тремя постулатами:

«От всякой точки до всякой точки можно провести прямую линию».
«Ограниченную прямую можно непрерывно продолжить по прямой».
«Из всякого центра и всяким раствором может быть описан круг».

Учение о параллельных и знаменитый пятый постулат («Если прямая,падающая на две прямые, образует внутренние и по одну сторону углы меньшие двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых») определяют свойства евклидова пространства и его геометрию, отличную от неевклидовых геометрий.

Обычно о «Началах» говорят, что после Библии это самый популярный написанный памятник древности. Книга имеет свою, весьма примечательную историю. В течение двух тысяч лет она являлась настольной книгой школьников, использовалась как начальный курс геометрии. «Начала» пользовались исключительной популярностью, и с них было снято множество копий трудолюбивыми писцами в разных городах и странах. Позднее «Начала» с папируса перешли на пергамент, а затем на бумагу.На протяжении четырех столетий «Начала» публиковались 2500 раз: в среднем выходило ежегодно 6—7 изданий. До XX века книга считалась основным учебником по геометрии не только для школ, но и для университетов.

«Начала» Евклида были основательно изучены арабами, а позднее европейскими учеными. Они были переведены на основные мировые языки. Первые подлинники были напечатаны в 1533 году в Базеле Любопытно, что первый перевод на английский язык, относящийся к 1570 году,был сделан Генри Биллингвеем, лондонским купцом Евклиду принадлежат частично сохранившиеся, частично реконструированные в дальнейшем математические сочинения Именно он ввел алгоритм для получения наибольшего общего делителя двух произвольно взятых натуральных чисел и алгоритм, названный «счетом Эратосфена», —для нахождения простых чисел от данного числа.

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

У Евклида мы встречаем также описание монохорда — однострунного прибора для определения высоты тона струны и ее частей. Полагают, что монохорд придумал Пифагор, а Евклид только описал его («Деление канона», III век до нашей эры). Евклид со свойственной ему страстью занялся числительной системой интервальных соотношений. Изобретение монохорда имело значение для развития музыки. Постепенно вместо одной струны стали использоваться две или три. Так было положено начало созданию клавишных инструментов, сначала клавесина, потом пианино, А первопричиной появления этихмузыкальных инструментов стала математика.

Конечно, все особенности евклидова пространства были открыты не сразу, а в результате многовековой работы научной мысли, но отправным пунктом этой работы послужили «Начала» Евклида. Знание основ евклидовой геометрии является ныне необходимым элементом общего образования во всем мире.

О жизни Евклида почти ничего не известно. Первый комментатор "Начал" Прокл (V век нашей эры) не мог указать, где и когда родился и умер Евклид...

Некоторые биографические данные сохранились на страницах арабской рукописи XII века: "Евклид, сын Наукрата, известный под именем "Геометра", ученый старого времени, по своему происхождению грек, по местожительству сириец, родом из Тира".

Царь Птолемей I привлекал в Египет ученых и поэтов, создав для них храм муз - Мусейон. В числе приглашенных ученых оказался и Евклид, который основал в Александрии - столице Египта - математическую школу и написал для ее учеников свой фундаментальный труд, объединенный под общим названием "Начала". Он был написан около 325 года до нашей эры.

"Начала" состоят из тринадцати книг, построенных по единой логической схеме. Каждая из тринадцати книг начинается определением понятий (точка, линия, плоскость, фигура и т. д.), которые в ней используются, а затем на основе небольшого числа основных положений (5 аксиом и 5 постулатов), принимаемых без доказательства, строится вся система геометрии.

Книги I-IV охватывали геометрию, их содержание восходило к трудам пифагорейской школы. В книге V разрабатывалось учение о пропорциях. В книгах VII-IХ содержалось учение о числах, представляющее разработки пифагорейских первоисточников. В книгах Х-ХII содержатся определения площадей в плоскости и пространстве (стереометрия), теория иррациональности (особенно в Х книге); в XIII книге помещены исследования правильных тел.

"Начала" Евклида представляют собой изложение той геометрии, которая известна и поныне под названием евклидовой геометрии. Она описывает метрические свойства пространства, которое современная наука называет евклидовым пространством. Это пространство пустое, безграничное, изотропное, имеющее три измерения. Евклид придал математическую определенность атомистической идее пустого пространства, в котором движутся атомы. Простейшим геометрическим объектом у Евклида является точка, которую он определяет как то, что не имеет частей. Другими словами, точка - это неделимый атом пространства.

Учение о параллельных прямых и знаменитый пятый постулат ("Если прямая, падающая на две прямые, образует внутренние и по одну сторону углы меньшие двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых") определяют свойства евклидова пространства и его геометрию, отличную от неевклидовых геометрий.

На протяжении четырех столетий "Начала" публиковались 2500 раз: в среднем выходило ежегодно 6-7 изданий. До XX века книга считалась основным учебником по геометрии не только для школ, но и для университетов.

Евклиду принадлежат частично сохранившиеся, частично реконструированные в дальнейшем математические сочинения. Именно он ввел алгоритм для получения наибольшего общего делителя двух произвольно взятых натуральных чисел и алгоритм, названный "счетом Эратосфена", - для нахождения простых чисел от данного числа.

Евклид заложил основы геометрической оптики, изложенные им в сочинениях "Оптика" и "Катоптрика". У Евклида мы встречаем также описание монохорда - однострунного прибора для определения высоты тона струны и ее частей. Изобретение монохорда имело важное значение для развития музыки. Постепенно вместо одной струны стали использоваться две или три. Так было положено начало созданию клавишных инструментов, сначала клавесина, потом пианино.

Конечно, все особенности евклидова пространства были открыты не сразу, а в результате многовековой работы научной мысли, но отправным пунктом этой работы послужили "Начала" Евклида. Знание основ евклидовой геометрии является ныне необходимым элементом общего образования во всем мире.

Εὐκλείδης

Биография

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

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

Некоторые современные авторы трактуют утверждение Прокла - Евклид жил во времена Птолемея I Сотера - в том смысле, что Евклид жил при дворе Птолемея и был основателем Александрийского Мусейона . Следует, однако, отметить, что это представление утвердилось в Европе в XVII веке, средневековые же авторы отождествляли Евклида с учеником Сократа философом Евклидом из Мегар .

Арабские авторы считали, что Евклид жил в Дамаске и издал там «Начала » Аполлония . Анонимная арабская рукопись XII века сообщает:

Евклид, сын Наукрата, известный под именем «Геометра», учёный старого времени, по своему происхождению грек, по местожительству сириец, родом из Тира …

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

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

Основное сочинение Евклида называется Начала. Книги с таким же названием, в которых последовательно излагались все основные факты геометрии и теоретической арифметики, составлялись ранее Гиппократом Хиосским , Леонтом и Февдием . Однако Начала Евклида вытеснили все эти сочинения из обихода и в течение более чем двух тысячелетий оставались базовым учебником геометрии. Создавая свой учебник, Евклид включил в него многое из того, что было создано его предшественниками, обработав этот материал и сведя его воедино.

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

В I книге изучаются свойства треугольников и параллелограммов; эту книгу венчает знаменитая теорема Пифагора для прямоугольных треугольников. Книга II, восходящая к пифагорейцам, посвящена так называемой «геометрической алгебре». В III и IV книгах излагается геометрия окружностей, а также вписанных и описанных многоугольников; при работе над этими книгами Евклид мог воспользоваться сочинениями Гиппократа Хиосского . В V книге вводится общая теория пропорций, построенная Евдоксом Книдским , а в VI книге она прилагается к теории подобных фигур. VII-IX книги посвящены теории чисел и восходят к пифагорейцам; автором VIII книги, возможно, был Архит Тарентский . В этих книгах рассматриваются теоремы о пропорциях и геометрических прогрессиях, вводится метод для нахождения наибольшего общего делителя двух чисел (известный ныне как алгоритм Евклида), строится чётные совершенные числа , доказывается бесконечность множества простых чисел . В X книге, представляющей собой самую объёмную и сложную часть Начал , строится классификация иррациональностей; возможно, что её автором является Теэтет Афинский . XI книга содержит основы стереометрии. В XII книге с помощью метода исчерпывания доказываются теоремы об отношениях площадей кругов, а также объёмов пирамид и конусов; автором этой книги по общему признанию является Евдокс Книдский . Наконец, XIII книга посвящена построению пяти правильных многогранников; считается, что часть построений была разработана Теэтетом Афинским .

В дошедших до нас рукописях к этим тринадцати книгам прибавлены ещё две. XIV книга принадлежит александрийцу Гипсиклу (ок. 200 г. до н. э.), а XV книга создана во время жизни Исидора Милетского , строителя храма св. Софии в Константинополе (начало VI в. н. э.).

Начала предоставляют общую основу для последующих геометрических трактатов Архимеда , Аполлония и других античных авторов; доказанные в них предложения считаются общеизвестными. Комментарии к Началам в античности составляли Герон , Порфирий , Папп , Прокл , Симпликий . Сохранился комментарий Прокла к I книге, а также комментарий Паппа к X книге (в арабском переводе). От античных авторов комментаторская традиция переходит к арабам, а потом и в Средневековую Европу.

В создании и развитии науки Нового времени Начала также сыграли важную идейную роль. Они оставались образцом математического трактата, строго и систематически излагающего основные положения той или иной математической науки.

Другие произведения Евклида

Из других сочинений Евклида сохранились:

Данные (δεδομένα ) - о том, что необходимо, чтобы задать фигуру;
О делении (περὶ διαιρέσεων ) - сохранилось частично и только в арабском переводе; даёт деление геометрических фигур на части, равные или состоящие между собой в заданном отношении;
Явления (φαινόμενα ) - приложения сферической геометрии к астрономии;
Оптика (ὀπτικά ) - о прямолинейном распространении света.

По кратким описаниям известны:

Поризмы (πορίσματα ) - об условиях, определяющих кривые;
Конические сечения (κωνικά );
Поверхностные места (τόποι πρὸς ἐπιφανείᾳ ) - о свойствах конических сечений;
Псевдария (ψευδαρία ) - об ошибках в геометрических доказательствах;

Евклиду приписываются также:

Евклид и античная философия

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

Геометрические чертежи, на которых при проведении вспомогательных линий неявная истина становится очевидной, служат иллюстрацией для учения о припоминании, развитого Платоном в Меноне и других диалогах. Предложения геометрии потому и называются теоремами , что для постижения их истины требуется воспринимать чертёж не простым чувственным зрением, но «очами разума». Всякий же чертёж к теореме представляет собой идею: мы видим перед собой эту фигуру, а ведём рассуждения и делаем заключения сразу для всех фигур одного с ней вида.

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

Для аристотелевского учения о доказательстве, развитого во Второй аналитике , Начала также предоставляют богатый материал. Геометрия в Началах строится как выводная система знаний, в которой все предложения последовательно выводятся одно за другим по цепочке, опирающейся на небольшой набор начальных утверждений, принятых без доказательства. Согласно Аристотелю , такие начальные утверждения должны иметься, так как цепочка вывода должна где-то начинаться, чтобы не быть бесконечной. Далее, Евклид старается доказывать утверждения общего характера, что тоже соответствует любимому примеру Аристотеля : «если всякому равнобедренному треугольнику присуще иметь углы, в сумме равные двум прямым, то это присуще ему не потому что он равнобедренный, а потому что он треугольник» (An. Post. 85b12).

Псевдо-Евклид

Евклиду приписываются два важных трактата об античной теории музыки: «Гармоническое введение» («Гармоника») и «Деление канона» (лат. Sectio canonis ). Традиция приписывать «Деление канона» Евклиду идёт ещё от Порфирия . В старинных рукописях «Гармоники» авторство приписывается Евклиду, некоему Клеониду, а также александрийскому математику Паппу . Генрих Мейбом de (1555-1625) снабдил «Гармоническое введение» обстоятельными примечаниями, и вместе с «Делением канона» приписал их к трудам Евклида.

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

После критической публикации «Гармоники» знаменитым немецким филологом Карлом Яном (1836-1899) этот трактат стали повсеместно приписывать Клеониду и датировать II в. н.э. В русском переводе (с комментариями) его впервые издал Г. А. Иванов (Москве, 1894). «Деление канона» ныне одна часть исследователей считает аутентичным сочинением Евклида