Текст книги "Трехмерный мир. Евклид. Геометрия"

Автор книги: авторов Коллектив

сообщить о нарушении

Текущая страница: 2 (всего у книги 7 страниц)

ДРЕВНЕГРЕЧЕСКИЕ ТЕКСТЫ, ДОШЕДШИЕ ДО НАШИХ ДНЕЙ

В следующей таблице приведены результаты анализа древнегреческих математических текстов по предметам и эпохам. Примерно половина из них посвящена геометрии, на втором и третьем месте стоят астрономия и механика соответственно. Появляется также интерес к прикладной математике. Справедливо ли полагать, что чем удаленнее от нас во времени эпоха, тем меньше текстов до нас дошло? В таком случае текстов эллинистического периода должно быть больше всего. От доплатоновской и доаристотелевской эпох до нас дошли только отрывки работы Евдема по истории математики и сочинений Автолика Питанского. К сожалению, труд Евдема был утерян, и мы знаем о нем лишь частично и косвенно, из цитирующих его авторов, живших на несколько веков позже.

Дисциплина

Арифметика

3

Геометрия

34

Астрономия

15

Оптика

2

Гармония (музыка)

5

Механика

10

Математическая география

1

Геодезия

2

Логистика («Задача о быках» Архимеда)

а»

Другие

3

Итого

75 (76)

Распределение по периодам

Эллинистический период (300-30 до н. э.)

21

Римский период (30 до н. э. – 300)

24

Поздний период (300-550)

20

Неизвестная датировка

10 (11)

Источник: Рамон Масиа, «Корпус древнегреческой математики с введением».

ДО ЕВКЛИДА

В своем «Комментарии» Прокл перечисляет достижения, сделанные в геометрии до «Начал». Без всякого сомнения, этот список составлен не беспристрастно (см. таблицу на стр. 32– 33): особое внимание в нем уделено работе Академии, которую Прокл возглавлял, в ущерб аристотелевскому Ликею. Текст состоит из 80 строк, и приводить его здесь полностью было бы излишне. Мы процитируем некоторые отрывки, где говорится об открытиях каждого, а также упомянем, какими знаниями они должны были располагать для того, чтобы правильно их доказать, как это делается в «Началах». Прокл пишет:

«Но поскольку приходится рассматривать начала искусств и наук применительно к данному периоду, мы говорим, что согласно свидетельству наибольшего числа исследователей геометрия впервые открыта у египтян и возникла она от измерения земельных участков, [...] как точное знание о числе возникло у финикийцев благодаря торговле и обмену. [...] Фалес, посетивший Египет, перенес в Элладу этот вид научного рассмотрения. [...] После них Пифагор перевел любовь к геометрической мудрости в разряд общеобразовательных дисциплин. [...] За ними в геометрии прославились Гиппократ Хиосский, открывший квадрируемые луночки, и Феодор Киренский, [...] Платон, стараниями которого геометрия – как и остальные науки – получила величайшее развитие. [...] Евдокс Книдский был... дружен с окружением Платона».

Математики, которые, по мнению Прокла, являются предшественниками Евклида

Имя

Цитата из Прокла

Сведения из разных книг «Начал», которые предположительно были им известны

Фалес Милетский

Первым перенес в Элладу эту теорию. Многое открыл сам, а для многого указал путь последователям, представив одно более общим способом, другое – более наглядным.

Определение 17 из книги 1, предложения 5,15, 26 и, возможно, 32. Предложение 12 из книги III.

Пифагор

Преобразовал доктрину в разряд общеобразовательных дисциплин. Рассмотрел принципы геометрии с самого начала. Исследовал теоремы умозрительно, открыл иррациональные величины и строение космических тел.

Книга 1: определения 1, 3 и 6; общее понятие 5; предложения 2,17, 32, 36, 37, 45 и 47.

Книга II: предложения 14 и 20.

Книга III: предложения 11 и 14.

Книга IV: предложения 11,12 и 15.

Книга VI: предложения 25, 28, 29 и 31.

Книга VII: определения 3, 4, 5,11 и 13.

Энопид

Касался многих геометрических вопросов и многим дал наилучшее решение с использованием линейки и циркуля.

Книга 1: постулаты 1, 2 и 3, предложения 12 и 23.

Гиппократ

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

Книга 1: предложения 9,10,11, 12,18,19, 20, 23, 24, 25, 28, 29, 31, 32, 45 и 47.

Книга II: предложения 6,12,13 и 14.

Книга III: определение 11; предложения 3, 20, 21, 22, 26, 27, 28, 29, 30 и 31.

Книга IV: предложения 5, 9,15.

Книга VI: предложения 19 и 20.

Книга VII: предложение 2. Книга

XIII: предложение 12.

Феодор

Знаменитый геометр.

Результаты книги II или 1, предложение 47.

Платон

Математические науки получили его стараниями величайшее развитие. Его математические рассуждения пробуждают восторг в философах всех времен.

Ледамант, Архит и Теэтет

Жили в одно время с Платоном. Благодаря им появились новые теоремы и геометрия стала более научной.

Результаты книг X и XIII.

Леонт

Составил свои «Начала» и нашел условия, при каких некоторые задачи могут быть разрешены и при каких нет.

Евдокс

Увеличил число так называемых общих теорем и, воспользовавшись результатами Платона о сечениях, разработал множество их видов.

Книга V:определения 4 и 5 и общие предложения.

Книга X: предложения 1 и 2.

Книга XII: предложения 5,6, 7 и 10.

Менехм и Динострат

Первый был учеником Евдокса, второй известен как его брат. Сделали геометрию еще более совершенной.

Филипп из Менде

Работал под руководством Платона. С ним геометрия достигла зрелости.

Сочинение Прокла написано под явным влиянием «Истории геометрии» Евдема Родосского и неоплатонизма. В нем не указаны имена астрономов – последователей Евдокса, не упоминаются перипатетики и сам Аристотель, а также Аристей Старший, который, возможно, был отцом учения о конических сечениях и геометрических местах. В нем нет Гиппаса из Метапонта и Филолая, нет софистов Антифонта, Брисона и Гиппия Элидского, нет атомистов Парменида, Зенона и Демокрита и даже Автолика Питанского, наконец, в комментариях не сказано ни слова об ученых-арифметиках. И все же этот текст заслуживает пристального внимания.

Фалесу и Пифагору различные авторы приписывают одни и те же достижения, а в случае с Гиппократом мы опираемся на свидетельство римлянина Симпликия, в свою очередь ссылающегося на «Историю геометрии» Евдема.

ГЛАВА 2

Структура «Начал»

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

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

Мы же ограничимся комментарием к аналогии разделенной линии, о которой Платон пишет в шестой книге «Государства» (см. схему на следующей странице). Существуют три воплощения предмета «кровать»: «кровать, созданная Богом», «кровать, сделанная плотником» и «кровать, нарисованная художником». «Бог, – говорит Платон, – желая быть истинным создателем истинно существующей кровати, [...] создал ее по природе своей единственной». Плотник же делает копии. А художник копирует плотника, но не «настоящую кровать».

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

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

Разделенная линия, книга VI «Государства» Платона.

АКАДЕМИЯ ПЛАТОНА

Афинская Академия была основана Платоном около 388 года до н.э. как философская школа. Она была построена в садах Академа, легендарного героя греческой античности, в последний раз возрождалась после смерти Прокпа в 485 году и была окончательно закрыта в 529-м по приказу императора Юстиниана. В стенах Академии разворачивалась основная философская и научная деятельность той эпохи. Там изучали медицину, совершенствовались в риторике и углублялись в астрономию, уделяя особое внимание гелиоцентрической теории. По всем этим дисциплинам разворачивались открытые дискуссии.

Афинская Академия сегодня. Статуи Платона и Сократа.

По этой аналогии изменяющиеся, преходящие объекты (расположенные в нижней части линии) являются предметом doxa (мнения), а непреходящие (в верхней линии) – предметом gnosis (знания). Математические объекты вечны, но занимают промежуточное положение: они не принадлежат ни нижнему, ни верхнему уровню.

Платон устанавливает четкое разделение между способами рассуждения в диалектической речи (свойственной философу) и научной (присущей математику).

Математическое рассуждение использует гипотезы. Умопостижение, присущее философу, идет дальше, чем построение гипотез. Оно заключается не в математических рассуждениях, идущих от гипотез к теоремам, а в философии и ставит вопросы самой математике: что означают гипотезы? Почему они приемлемы? Могут ли они быть другими? Математической деятельности не хватает возвращения от выводов к гипотезам.

О математических фигурах Платон говорит:

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

Так, когда математик устанавливает истинность общего свойства треугольника (как, например, в предложении 16 первой книги), не важно, каков он – остроугольный, прямоугольный, тупоугольный, – даже если конкретная фигура, на которой он объясняет свои рассуждения, является остроугольным треугольником. Если же свойство, которое он хочет показать, зависит от вида треугольника, тогда он создает по теореме отдельно для каждого конкретного случая, как общая теорема Пифагора, из которой следуют три теоремы: предложение 47 первой книги и предложения 9 и 10 второй книги.

«АФИНСКАЯ ШКОЛА»

Рафаэль написал «Афинскую школу» в 1509 году по заказу папы Юлия II. На картине символически изображена философия, одна из четырех классических дисциплин, вместе с теологией, правом и медициной. Художник собрал всех персонажей, считавшихся в Средневековье отцами философии, но вдохновлялся знаменитостями своего времени: так, прообразом Платона послужил Леонардо да Винчи, а Гераклита – Микеланджело.

Список персонажей.

1. Зенон Элейский. 2. Эпикур. 3. Федерико II Гонзага. 4. Боэций или Анаксимандр или Эмпедокл. 5. Аверроэс. 6. Пифагор. 7. Алкивиад или Александр Македонский. 8. Антисфен или Ксенофонт. 9. Гипатия (Маргерита) или Франческо Мария делла Ровере. 10. Эсхин или Ксенофонт. 11. Парменид. 12. Сократ. 13. Гераклит (Микеланджело). 14. Платон (с «Тимеем», Леонардо да Винчи). 15. Аристотель (с «Этикой»). 16. Диоген Синопский. 17. Плотин. 18. Евклид или Архимед (Браманте). 19. Страбон или Заратустра. 20. Клавдий Птолемей. 21. Протоген. 22. Апеллес (Рафаэль).

Платон резюмирует сущность математического знания в своем седьмом письме:

«Чтобы достигнуть познания всего сущего, необходимо пройти три ступени; четвертая и есть само знание, а за пятую надо принять познаваемый предмет, существующий на самом деле. Первая ступень – имя, вторая – определение, третья – изображение, четвертая – знание».

Затем он подробно описывает каждую ступень по отдельности: определяющее название – definiens (например, «круг»), definiendum (определение), рисунок («его можно нарисовать и стереть») и настоящее мнение, то есть представление о совокупности его характеристик, в случае математики – соответствующие теоремы.

Аристотель же во «Второй аналитике» пишет, что доказательные науки сочетают в себе два аспекта: касающийся значения, то есть терминов, и касающийся существования, то есть предметов. Второе различие пересекается с предыдущим: необходимо отличать первичные термины и предметы от производных терминов и предметов (или свойств). Высказывания, в которых устанавливается значение или факт существования, являются тезисами; в частности, значение устанавливается в определениях, а существования – в гипотезах. Определения «ничего не говорят о существовании определенного предмета», они отвечают на вопрос: «Что это?», а не на «Существует ли?». Гипотезы, в свою очередь, делятся на общие понятия, в которых ум не может сомневаться (настолько они убедительны по своему существу), и на постулаты, не настолько очевидные и предполагающие существование некоторых сущностей. Общие понятия часто называют аксиомами. Современные математики не видят существенной разницы между ними и постулатами. Среди математических объектов есть «первичные», например величина в арифметике или в геометрии, существование которой «дано». Существование же всех остальных объектов необходимо установить. Предложения и теоремы описывают существующие объекты: «Если объекта не существует, высказывание ложно». Вопрос о существовании имеет основополагающее значение. Это не существование идей, предшествующих всему, как у Платона, а существование на основании аксиомы или доказательства, ведущего к ней.

Во «Второй аналитике» Аристотель пишет:

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

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

Философию науки – в частности, математики – Аристотеля можно представить в виде схемы.

СОДЕРЖАНИЕ «НАЧАЛ»

Принято считать, что Евклид написал 13 книг с общим названием «Начала». Они изложены на койне с использованием символов, обозначающих геометрические понятия, в частности точки, величины и числа. Впоследствии к ним были добавлены еще две книги: книга XIV Гипсикла (ок. 190-120 до н.э.) и XV – неизвестного автора, возможно Исидора Милетского. Первое из более тысячи изданий «Начал» было сделано Эрхардом Ратдольтом (1442-1528) в Венеции в 1482 году, почти через 30 лет после публикации Библии Гуттенберга. Эрхард напечатал вариант с комментариями итальянского ученого Джованни Кампано (1220-1296), который, в свою очередь, опирался на перевод, сделанный английским монахом Аделярдом Батским (ок. 1080-1160). В первых четырех книгах не упоминается теория отношений. Они посвящены планиметрии, а не дидактике, и тем не менее сильно различаются.

– Книга I считается основной. В ней содержатся 23 определения, пять постулатов и пять общих понятий. Главная тема книги – теория треугольников. Представлены основы техники танграма для доказательств и построений с линейкой и циркулем. В конце книги – определение прямоугольных треугольников как таких, которые попадают под теорему Пифагора. Показаны дедуктивные возможности метода доведения до абсурда.

– Книга II содержит геометрическую алгебру, точнее элементарные алгебраические преобразования вида (х ± у)² = х² + у² ± 2ху, х² – у² = (х + у)(х – у) и их производные, но не с числами, а с размерами (отрезками), требующими построения; геометрическое решение линейных уравнений второго уровня из «Данных»; построение золотого сечения и теорема косинусов, обобщение теоремы Пифагора для непрямоугольных треугольников (остроугольных и тупоугольных). В книге есть два определения, а в заключении – предложение 14, недостающее звено для квадратуры многосторонних фигур.

– Книга III: геометрия окружности; И определений.

– Книга IV: построение правильных многоугольников при помощи линейки и циркуля: равностороннего треугольника (а также в первом предложении книги I), квадрата (предложения 6 и 7), пятиугольника (предложение И), шестиугольника (предложение 15) и 15-угольника (предложение 16). Содержит семь определений.

Авторство книг V и VI приписывается Евдоксу Книдскому. Эти тома легли в основу теоремы Фалеса для прямых и площадей многосторонних фигур и для вычисления площадей и объемов.

– Книга V имеет важнейшее значение для понимания древнегреческой геометрии в период Академии. Содержит 18 определений, среди которых особенно выделяются определения соотношения и пропорции. Устанавливает, для каких величин верна теория отношений.

– Книга VI содержит теоремы Фалеса, то есть теоремы о катетах прямоугольного треугольника, из которых выводится теорема Пифагора. Это очень важная книга. Одно из четырех ее определений, вероятно, не принадлежит Евклиду.

Книги VII, VIII и IX относят к пифагорейской школе, хотя есть и другие мнения. В этих книгах содержатся начала арифметики на основе теории частей или рациональных чисел.

– В книге VII определяется, что единица не является числом: согласно этой концепции «все, что есть, есть единица»; даются определения части и простого числа, основы деления, алгоритм и лемма Евклида. В книге 22 определения, последнее из которых – определение совершенного числа. Эти определения используются во всех трех книгах, посвященных арифметике.

– Книга VIII посвящена изучению непрерывных пропорций натуральных чисел – геометрических прогрессий со знаменателем 2.

– Книга IX содержит важную теорему о существовании бесконечного числа простых чисел, необходимую (и, возможно, достаточную) для установления основной теоремы арифметики.

– В книге X встречаются отсылки к Феодору и Теэтету. В ней рассматривается несоизмеримость и приводится классификация иррациональных линий. Это самая длинная, самая техническая и устаревшая из всех книг Евклида. Содержит 16 определений, не все из которых принадлежат Евклиду, и фигуры, используемые для построения Платоновых тел в книге XIII.

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

– В книге XIII описывается построение пяти Платоновых тел – тетраэдра, гексаэдра (или куба), октаэдра, додекаэдра и икосаэдра – и доказывается, что существуют только они. Октаэдр и икосаэдр, построение которых, видимо, не рассматривалось пифагорейской школой, были построены Теэтетом в Академии.

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

Альфред Норт Уайтхэд (1861-1947)

Всего в 13 книгах Евклида содержится 140 основных положений (130 определений, пять постулатов и пять общих понятий) и 465 вытекающих из них предложений (93 задачи и 372 теоремы), а также 19 поризмов и 16 лемм.

Книга XIV была написана Гипсиклом Александрийским во II веке до н. э. Самые важные ее результаты – установление соотношений между площадями и объемами Платоновых тел.

Авторство небольшой книги XV предположительно принадлежит Исидору Милетскому, составившему ее в VI веке. В ней рассматривается вписывание некоторых правильных многоугольников в другие.

Предложения одной книги часто зависят от предложений предыдущих (см. таблицу ниже). Книги VII, VIII и IX не зависят от других, поскольку при их чтении можно обойтись без остальных частей, введя нужные определения.

Остальные же построены вокруг двух концептуальных основ: книги I и книги V. Можно сказать, что в них собраны достижения, предшествовавшие Академии и последовавшие за ней. Книги с X по XIII сильно связаны с обоими источниками.

Книга I

Самостоятельная

Книга II

Опирается на книгу I

Книга III

Опирается на книгу I, а также на предложения 5 и 6 книги II

Книга IV

Опирается на книгу I, на предложение II книги II и на книгу III

Книга V

Самостоятельная

Книга VI

Опирается на предложения 27 и 31 книги III, а также на книги I и V

Книга VII

Самостоятельная

Книга VIII

Опирается на определения из книгУ и VII

Книга IX

Опирается на предложения 3 и 4 из книги II, а также на книги VII и VIII

Книга X

Опирается на предложения 44 и 47 из книги I, на книгу II, на предложение 31 из книги III, на книги V и VI, на предложения 4, 11, 26 из книги VII, на предложения 1, 24, 26 из книги IX

КнигаХI

Опирается на книгу I, на предложение 31 из книги III, на предложение 1 из книги IV, на книги V и VI

Книга XII

Опирается на книги I и III, на предложения 6 и 7 из книги IV, на книги V и VI, на предложение 1 из книги X и на книгу XI

Книга XIII

Опирается на книгу I, на предложение 4 из книги II, на книги III, IV, V, VI, X и XI

Взаимосвязь разных книг «Начал».

НАЧАЛА ДО «НАЧАЛ»

Необходимо уточнить, что имеется в виду под «элементом» в геометрии[¹ Сочинение Евклида традиционно называется «Начала», но на древнегреческом это слово также имеет значение «элемент». – Примеч. перев.]. Аристотель в «Топике» говорит: «В геометрии необходимо оперировать элементами»; а Прокл в своем комментарии пишет:

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

Прокл также описывает различные значения этого термина. По мнению Гиппократа Хиосского, элемент – это положение, имеющее фундаментальную важность для получения и дедуктивной организации других результатов; Менехм рассматривал элемент в двух значениях: «слабом», когда он имеет вид предыдущей леммы (например, предложение 1 из книги I по отношению к предложению 2 той же книги), и «сильном», когда он имеет вид определения, общего понятия и постулата. Сочинение Евклида может именоваться «Элементы» («Начала») именно в «сильном» значении слова, хотя в нем встречаются элементы и в «слабом» значении, так как, определив основные принципы, он придает своему труду дедуктивную структуру и, следовательно, большую дидактическую ценность. Поэтому в «Началах» содержатся не все известные на тот момент геометрические результаты, а только те, которые могут служить основой последующих рассуждений. В этом смысле «Начала» превосходят другие предшествующие ему сочинения с таким же названием. Такие мыслители, как Архимед, Аполлоний, Эратосфен, Птолемей, Папп, Прокл, используют этот труд как главный свод начальных знаний для изучения математики.

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

Общие понятия

1. Равные одному и тому же равны и между собой.

2. Если к равным прибавляются равные, то и получившиеся будут равны.

3. Если от равных отнимаются равные, то и остатки будут равны.

[3b. Если к равным прибавляются неравные, то получившиеся не будут равны.] Это понятие встречается только в некоторых изданиях.

4. Совмещающиеся друг с другом равны между собой.

5. Целое больше части.

[6. Две прямые не содержат пространства.] Это понятие встречается только в некоторых изданиях.

Два общих понятия, четвертое и шестое, не попадают под это описание, поскольку относятся к геометрическим объектам и поэтому должны быть включены в список постулатов. Четвертое общее понятие косвенно вводит понятие движения: если мы сместим два геометрических объекта и они совпадут, значит, до перемещения они были равны. Шестое общее понятие, которое Евклид использует в качестве примера в предложении 4 книги I, имеет чисто геометрический характер: в нем говорится о геометрических объектах и вопросе (не-)существования.

Напротив, постулаты (см. таблицу) фиксируют обстоятельства существования, в том числе и определенных геометрических объектов.

Постулаты

1. Между двумя точками всегда можно провести прямую.

2. Прямую линию можно продолжать бесконечно.

3. Круг можно построить из любого центра с любым радиусом.

4. Все прямые углы равны между собой.

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

Первые три постулата относятся к так называемому построению с помощью линейки и циркуля. В них утверждается, что существуют прямые, концами которых являются две точки (и эти прямые можно продолжить до бесконечности), и окружности с заданным центром и радиусом. У циркуля нет памяти: если он закрылся, значение невозможно восстановить. Но во втором предложении книги I циркуль ведет себя как инструмент, наделенный памятью.

Остановимся на минуту и подумаем о существовании предметов, которым дали определение. По Платону, существование реально. Определение всего лишь дает имя уже существующему объекту, позволяя нам дать ему образ. А по мнению Аристотеля, для первичных вещей существование постулируется, для вторичных – должно устанавливаться. Следовательно, у существования есть пределы. Аристотель пишет:

«Если нечто не существует, то никто не знает, что это; следовательно, мы не знаем, к чему относится речь или имя, как когда я говорю о химере, никто не может знать, каково это существо, когда я его называю. 

Таким образом, определение как наименование не подразумевает существования, хотя, по логике, должно соответствовать какой-то реальности. Обычно в геометрии существование устанавливается после точного определения объекта. Поэтому необходимо очень внимательно использовать определения в доказательствах до того, как установлено существование определяемого объекта. 

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

ЛОТАРИО О МЕТОДОЛОГИЧЕСКИХ ПРИЕМАХ, НЕОБХОДИМЫХ ДЛЯ ОБРАЩЕНИЯ НЕВЕРНЫХ («ДОН КИХОТ») 

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

Некоторые определения книги 1

1. Точка есть то, что не имеет частей.

2. Линия же – длина без ширины.

3. Концы линии – точки.

4. Прямая линия есть та, которая равно расположена по отношению к точкам на ней.

8. Плоский угол есть наклонение друг к другу двух линий, в плоскости встречающихся друг с другом, но не расположенных по одной прямой.

9. Когда линии, содержащие угол, прямые, то угол называется прямолинейным.

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

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

16. Центром же круга называется эта точка.

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

19. Прямолинейные фигуры есть те, которые содержатся между прямыми, трехсторонние – между тремя, четырехсторонние – между четырьмя, многосторонние же – которые содержатся между более чем четырьмя прямыми.

20. Из трехсторонних фигур равносторонний треугольник есть фигура, имеющая три равные стороны, равнобедренный – имеющая только две равные стороны, разносторонний – имеющая три неравные стороны.