Здравствуйте, друзья! В статье «Евклид: краткая биография, открытия, факты, видео» — о жизни древнегреческого математика и философа. «Евклид» — в переводе с древнегреческого языка означает «добрая слава».

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

Согласно некоторым архивным документам он родился приблизительно в 325 г. н. э. Жизнь мыслителя совпадает по времени с правлением Птолемея Первого.

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

Главный труд ученого – «Начала» - первый в истории трактат по теоретической математике. Трактат охватывал и систематизировал все накопленные в Древней Греции знания по планиметрии, стереометрии, а также теории чисел.

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

Что такое «евклидова геометрия»?

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

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

Достижения Евклида

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

«Начала»;
«О делении фигур»;
«Конические сечения»;
«Поризмы» - о кривых линиях и условиях, их определяющих;
«Псевдария» - трактат об ошибках, возникающих при геометрических доказательствах.

Известны труды учёного по смежным дисциплинам – музыке, астрономии, оптике:

«Явления» - о практическом применении геометрии к изучению астрономии;
«Оптика» - о свете и законах его распространения;
«Катоптрика» - и преломлении света;
«Деление канона» - элементарная теория музыки.

Арабские учёные считают этого математика автором некоторых работ по механике и определению удельного веса тел.

В этом видео дополнительная и интересная информация к статье «Евклид: краткая биография, открытия, факты, видео»

История жизни
Евклидова геометрия

Геометрия, как и другие науки, возникла из потребностей практики. Само слово «геометрия» греческое, в переводе означает «землемерие».
Люди очень рано столкнулись с необходимостью измерять земельные участки. Это требовало определенного запаса геометрических и арифметических знаний. Постепенно люди начали измерять и изучать свойства более сложных геометрических фигур.
«По дошедшим до нас египетским папирусам и древневавилонским текстам видно, что уже за 2 тысячи лет до нашей эры люди умели определять площади треугольников, прямоугольников, трапеций, приближенно вычислять площадь круга, - пишет И.Г. Башмакова. - Они знали также формулы для определения объемов куба, цилиндра, конуса, пирамиды и усеченной пирамиды. Сведения по геометрии вскоре стали необходимы не только при измерении земли. Развитие архитектуры, а несколько позднее и астрономии предъявило геометрии новые требования. И в Египте и в Вавилоне сооружались колоссальные храмы, строительство которых могло производиться только на основе предварительных расчетов.
...И все же, несмотря на то, что человечество накопило такие обширные знания геометрических фактов, геометрия как наука еще не существовала.
Геометрия стала наукой только после того, как в ней начали систематически применять логические доказательства, начали выводить геометрические предложения не только путем непосредственных измерений, но и путем умозаключений, путем вывода одного положения из другого, и устанавливать их в общем виде. Обычно этот переворот в геометрии связывают с именем ученого и философа VI века до нашей эры Пифагора Самосского».
Однако все новые проблемы и созданные в связи с ними теории привели к тому, что совершенствовались сами способы математических доказательств, возрастала потребность создания стройной логической системы в геометрии.
«Но как строить такую систему? - спрашивает И.Г. Башмакова. - Ведь каждое отдельное предложение мы доказываем, опираясь на некоторые другие предложения. Эти предложения в свою очередь доказываются ссылкой на какие-то третьи предложения и т. д., эти ссылки мы могли бы продолжать до бесконечности, и процесс доказательства никогда бы не закончился. Как же быть? Это обстоятельство заметили еще в древности, и тогда же был найден выход. Не позднее IV века до нашей эры греческие математики при построении геометрии выбирали некоторые предложения, которые принимались без доказательства, а все остальные предложения выводили из них строго логически. Предложения, принятые без доказательства, назывались аксиомами и постулатами.
Наиболее совершенным образцом такой теории на протяжении более 2 тысяч лет служили «Начала» Евклида, написанные около 300 года до нашей эры».
О жизни Евклида (около 365 г. до нашей эры - 300 г. до нашей эры) почти ничего не известно. До нас дошли только отдельные легенды о нем. Первый комментатор «Начал» Прокл (V век нашей эры) не мог указать, где и когда родился и умер Евклид. По Проклу, «этот ученый муж» жил в эпоху царствования Птолемея I. Некоторые биографические данные сохранились на страницах арабской рукописи XII века: «Евклид, сын Наукрата, известный под именем «Геометра», ученый старого времени, по своему происхождению грек, по местожительству сириец, родом из Тира».
Одна из легенд рассказывает, что царь Птолемей решил изучить геометрию. Но оказалось, что сделать это не так-то просто. Тогда он призвал Евклида и попросил указать ему легкий путь к математике. «К геометрии нет царской дороги», - ответил ему ученый. Так в виде легенды дошло до нас это ставшее крылатым выражение.
Царь Птолемей I, чтобы возвеличить свое государство, привлекал в страну ученых и поэтов, создав для них храм муз - Мусейон. Здесь были залы для занятий, ботанический и зоологический сады, астрономический кабинет, астрономическая башня, комнаты для уединенной работы и главное - великолепная библиотека. В числе приглашенных ученых оказался и Евклид, который основал в Александрии - столице Египта - математическую школу и написал для ее учеников свой фундаментальный труд.
Именно в Александрии Евклид основывает математическую школу и пишет большой труд по геометрии, объединенных под общим названием «Начала» - главный труд своей жизни. Полагают, что он был написан около 325 года до нашей эры.
Предшественники Евклида - Фалес, Пифагор, Аристотель и другие много сделали для развития геометрии. Но все это были отдельные фрагменты, а не единая логическая схема.
Как современников, так и последователей Евклида привлекала систематичность и логичность изложенных сведений. «Начала» состоят из 13 книг, построенных по единой логической схеме. Каждая из книг начинается определением понятий (точка, линия, плоскость, фигура и т. д.), которые в ней используются, а затем на основе небольшого числа основных положений (5 аксиом и 5 постулатов), принимаемых без доказательства, строится вся система геометрии.
В то время развитие науки и не предполагало наличия методов практической математики. Книги I-IV охватывали геометрию, их содержание восходило к трудам пифагорейской школы. В книге V разрабатывалось учение о пропорциях, которое примыкало к Евдоксу Книдскому. В книгах VII-IX содержалось учение о числах, представляющее разработки пифагорейских первоисточников. В книгах Х-XII содержатся определения площадей в плоскости и пространстве (стереометрия), теория иррациональности (особенно в Х книге); в XIII книге помещены исследования правильных тел, восходящие к Теэтету.
«Начала» Евклида представляют собой изложение той геометрии, которая известна и поныне под названием Евклидовой геометрии. В качестве постулатов Евклид выбрал такие предложения, в которых утверждалось то, что можно проверить простейшими построениями с помощью циркуля и линейки. Евклид принял также некоторые общие предложения-аксиомы, например, что две величины, порознь равные третьей, равны между собой. На основе таких постулатов и аксиом Евклид строго и систематично развил всю планиметрию.
В «Началах» он описывает метрические свойства пространства, которое современная наука называет Евклидовым пространством.
Евклидово пространство является ареной физических явлений классической физики, основы которой были заложены Галилеем и Ньютоном. Это пространство пустое, безграничное, изотропное, имеющее три измерения. Евклид придал математическую определенность атомистической идее пустого пространства, в котором движутся атомы. Простейшим геометрическим объектом у Евклида является точка, которую он определяет как то, что не имеет частей. Другими словами, точка - это неделимый атом пространства.
Бесконечность пространства характеризуется тремя постулатами:

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

Учение о параллельных и знаменитый пятый постулат («Если прямая, падающая на две прямые, образует внутренние и по одну сторону углы меньшие двух прямых, то продолженные неограниченно эти две прямые встретятся с той стороны, где углы меньше двух прямых») определяют свойства Евклидова пространства и его геометрию, отличную от неевклидовых геометрий.
Обычно о «Началах» говорят, что после Библии это самый популярный написанный памятник древности. Книга имеет свою, весьма примечательную историю. В течение двух тысяч лет она являлась настольной книгой школьников, использовалась как начальный курс геометрии. «Начала» пользовались исключительной популярностью, и с них было снято множество копий трудолюбивыми писцами в разных городах и странах. Позднее «Начала» с папируса перешли на пергамент, а затем на бумагу. На протяжении четырех столетий «Начала» публиковались 2500 раз: в среднем выходило ежегодно 6-7 изданий. До двадцатого века книга считалась основным учебником по геометрии не только для школ, но и для университетов.
«Начала» Евклида были основательно изучены арабами, а позднее европейскими учеными. Они были переведены на основные мировые языки. Первые подлинники были напечатаны в 1533 году в Базеле. Любопытно, что первый перевод на английский язык, относящийся к 1570 году, был сделан Генри Биллингвеем, лондонским купцом.
Конечно, все особенности Евклидова пространства были открыты не сразу, а в результате многовековой работы научной мысли, но отправным пунктом этой работы послужили «Начала» Евклида. Знание основ Евклидовой геометрии является ныне необходимым элементом общего образования во всем мире.
Можно смело утверждать, что Евклид заложил основы не только геометрии, но и всей античной математики.
Лишь в девятнадцатом веке исследования основ геометрии поднялись на новую, более высокую ступень. Удалось выяснить, что Евклид перечислил далеко не все аксиомы, которые на самом деле нужны для построения геометрии. В действительности при доказательствах ученый ими пользовался, но не сформулировал.
Тем не менее, все выше сказанное нисколько не умаляет роли Евклида, первого показавшего, как можно и как нужно строить математическую теорию. Он создал дедуктивный метод, прочно вошедший в математику. А значит, все последующие математики в известной степени являются учениками Евклида.

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

Биография

К наиболее достоверным сведениям о жизни Евклида принято относить то немногое, что приводится в Комментариях Прокла к первой книге Начал Евклида. Отметив, что «писавшие по истории математики» не довели изложение развития этой науки до времени Евклида, Прокл указывает, что Евклид был старше Платоновского кружка, но моложе Архимеда и Эратосфена и «жил во времена Птолемея 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).

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

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

Карл Ян (1836-1899) придерживался мнения, что трактат «Гармоническое введение» написан Клеонидом, поскольку в некоторых рукописях стоит его имя. Кроме имени Евклида и Клеонида в рукописях как авторы упоминаются Папп и Аноним. В большинстве научных публикаций автора предпочитают называть Псевдо-Евклидом.

Греческий трактат Псевдо-Евклида с русским переводом и примечаниями Г. А. Иванова был издан в Москве в 1894 году

Особенно плодотворно развивались отрасли знаний естественного направления: физика, астрономия, землеведение, тесно связанные с математикой и геометрией. К числу самых прославленных эллинистических геометров и математиков относился знаменитый Евклид.

Биография Евклида известна очень плохо. В молодости он, возможно, обучался в афинской Академии, которая была не только философской, но и математической и астрономической школой (к Академии примыкал Евдокс Книдский). Затем Евклид жил в Александрии при Птолемеях I и II. Так что биография Евклида проходила преимущественно в первой половине III в. до н. э. Живший много веков позднее неоплатоник Прокл рассказывает, что когда Птолемей I спросил Евклида, заглянув в его главный труд, нет ли более короткой дороги к геометрии, то Евклид якобы гордо ответил царю, что науке нет царского пути.

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

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

Главный труд Евклида – «Начала» (или «Элементы», в оригинале «Стойхейа»). «Начала» Евклида состоят из 13 книг. Позднее к ним были прибавлены еще две книги.

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

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

Статуя Евклида в музее Оксфордского университета

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

Аксиомы Евклида говорят о том, что величины, равные третьей величине, равны между собой, что если к равным прибавить равные, то и целые будут равными, и т. д.

Далее, в первой же книге «Начал» Евклида, рассматриваются треугольники, параллельные линии, параллелограммы. Вторая книга «Начал» содержит геометрическую алгебру: числа и отношения чисел выражаются в пространственных величинах и в их пространственных же отношениях. Третья книга «Начал» исследует геометрию круга и окружности, четвертая – многоугольники. Пятая книга дает теорию пропорций как для соизмеримых, так и для несоизмеримых величин. В книге VI Евклид прилагает эти теории к планиметрии. Книги VII – X содержат теорию чисел, причем X книга трактует иррациональные линии. XI, XII и XIII книги «Начал» посвящены стереометрии, при этом в XII книге применяется метод исчерпания.

В строгом смысле слова Евклида нельзя считать «отцом геометрии». Свои «Начала» были у Гиппократа Хиосского в V в. до н. э. В IV в. до н. э. «Начала» были у Леона, и у Феудия Магнесийского. Метод исчерпания применял Евдокс Книдский, возможный учитель Евклида по Академии. Проблемой иррациональности занимались пифагореец Гиппас Метапонтский, Феодор Киренский, Теэтет Афинский... Однако Евклид – не простой передатчик сделанного до него математиками. В «Началах» Евклида мы видим завершение математики как стройной науки, исходящей из определений, постулатов и аксиом и построенной дедуктивно. Математика Евклида – вершина древнегреческой дедуктивной науки. Она резко отличается от ближневосточной математики с ее практической приблизительной рецептурностью. Не случайно «Начала» Евклида по их логической стройности, ясности, изяществу и законченности сравнивают с афинским Парфеноном .

Правда, существовала легенда, что сам Евклид – не единственный автор дошедших до нас «Начал», что он сам дал лишь догматическое изложение материала, без доказательств, что доказательства были добавлены вышеупомянутым Теоном Александрийским. Теон Александрийский действительно занимался проблематикой «Начал». Но не он один. Этим же занимались и Прокл, и Симплиций. «Начала» Евклида были частично переведены на латинский язык Цензорином и Боэцием. Но эти их переводы затерялись. На Западе вплоть до конца XII в. находились в обращении тезисы Евклида без доказательств.

Что касается Ближнего Востока, то там Евклид был известен в переводах с греческого на сирийский, а с сирийского – на арабский. Первым арабским философом, который заинтересовался Евклидом, был, по-видимому, аль-Кинди (IX в.). Его интерес ограничивался евклидовой «Оптикой». Однако затем последовала масса переводов и комментариев на «Начала». Эти арабские тексты были переведены в XIII в. на латинский язык. Первый латинский перевод с греческого оригинала был делан в Европе в 1493 г. и отпечатан в 1505 г. в Венеции. Но до 1572 г., когда Федерико Коммандино в своем латинском переводе исправил эту ошибку, Евклида-математика путали с Евклидом Мегариком.

Постулаты Евклида

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

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

Не раз делались попытки доказать пятый постулат Евклида (Птолемей, Насир аль-Дин, Ламберт, Лежандр). Наконец, Карл Гаусс высказал в 1816 г. гипотезу, что этот постулат может быть заменен другим. Эта догадка была реализована в параллельных исследованиях независимо друг от друга Н. И. Лобачевским (1792–1856) и Яношем Больяем (1802–1866). Однако оба эти исследователя (и русский, и венгерский) не получили признания других математиков, особенно тех, кто стоял на позициях кантовского априоризма в понимании пространства, который допускал только одно пространство – евклидово. Только Бернхард Риман (1826–1866) своей теорией многообразий (1854) доказал возможность существования многих видов неевклидовой геометрии. Сам Б. Риман заменил пятый постулат Евклида на постулат, согласно которому вообще нет параллельных линий, а внутренние углы треугольника больше двух прямых. Феликс Клейн (1849–1925) показал соотношение неевклидовых и евклидовой геометрий. Евклидова геометрия относится к поверхностям с нулевой кривизной, геометрия Лобачевского – к поверхностям с положительной кривизной, а геометрия Римана – к поверхности с отрицательной кривизной.

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

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

Работу выполнил ученик 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=">