Ссылка на архив

Развитие понятия "Пространство" и неевклидова геометрия

Любая теория современной науки считается единственно верной, пока не создана следующая. Это своеобразная аксиома развития науки.

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

Участь эта не обошла и геометрию. Традиционная Евклидова геометрия переросла в неевклидову, геометрию Лобачевского. Именно этому разделу математики, его истории и особенностям и посвящен этот проект.

В своём реферате я хочу показать, что кроме геометрии, которую изучают в школе (Геометрии Евклида или употребительной геометрии), существует еще одна геометрия, геометрия Лобачевского. Эта геометрия существенно отличается от евклидовой, например, в ней утверждается, что через данную точку можно провести бесконечно много прямых, параллельных данной прямой, что сумма углов треугольника меньше 180 В геометрии Лобачевского не существует прямоугольников, подобных треугольников и так далее.

Я выбрал данную тему по нескольким причинам: теория геометрии Лобачевского помогает взглянуть по-другому на окружающий нас мир, это интересный, необычный и прогрессивный раздел современной геометрии, она дает материал для размышлений – в ней не все просто, не все ясно с первого взгляда, чтобы ее понять, нужно обладать фантазией и пространственным воображением. Ситуация с геометрией Лобачевского и геометрией Евклида во многом похожа на ситуацию с Теорией относительности Эйнштейна и классической физикой. Геометрия Лобачевского и ОТП Эйнштейна это прогрессивные взаимосвязанные теории, выполняющиеся на огромных величинах и расстояниях, и остающимися верными на приближениях к нулю. В пространственной модели ОТП используется не обычная евклидовая плоскость, а искривленное пространство, на котором верна теория Лобачевского.


Глава I. Развитие геометрии

1.1 История геометрии

Геометрия – это одна из древнейших наук. Исследовать различные пространственные формы издавна побуждало людей их практическая деятельность. Древнегреческий ученый Эдем Родосский в IV веке до нашей эры писал: «Геометрия была открыта египтянами, и возникла при измерении Земли. Это измерение было им необходимо вследствие разлития реки Нил, постоянно смывавшей границы. Нет ничего удивительного, что эта наука, как и другие, возникла из потребности человека».

Считается, что геометрия началась в так называемой Ионийской школе. Её основателем считается Фалес Милетский (640-540 (546?) гг. до н. э.). Он считался одним из семи мудрецов Греции, первым математиком, астрономом и философом. Он доказал, что углы при основании равнобедренного треугольника равны, что вертикальные углы равны, что диаметр делит окружность пополам и ещё множество теорем. Предсказание затмения солнца в 585 году также приписывается ему.

Огромный импульс развития этой школе дал Пифагор (569-470 гг. до н. э.). В основном о его личных качествах пишут то же самое, что и о Фалесе. Но к этому ещё можно добавить титул чемпиона по боксу на олимпийских играх – звание, среди математиков редкое.

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

Но факт есть факт - и одна из теорем Пифагора теперь известна каждому – это теорема о равенстве квадрата гипотенузы сумме квадратов катетов. Эта теорема настолько популярна в мире математиков, что одних только доказательств накопилось 39 штук. Их можно посмотреть на сайте www.cut-the-knot.com/pythagoras.

Платон (428-348) знаменит введением принципа дедуктивности в математике, или принципа развития от простого к сложному. Он также знаменит постановкой трех задач на построение. Используя только циркуль и линейку, надо было:

1. Разделить угол на три части (задача о трисекции угла).

2. Построить квадрат, равный по площади данному кругу (задача о квадратуре круга).

3. Построить куб, равный по объему данному (задача об удвоении куба).

Нерешаемость этих задач была доказана только в 19 веке, но перед этим они успели вызвать настоящую бурю: например, задача №2 вызвала появление интегрального исчисления.

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

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

Закончилось развитие традиционной геометрии Евклидом. В III веке до нашей эры греческий ученый привел в систему известные ему геометрические сведения в большом сочинении «Начала».

Его книга «Начала» только до 1880 года выдержала 460 изданий, уступив только Библии. Способ построения «Начал» стал единственно верным для всех научных работ: Перечисление основных, естественных понятий ® Перечисление основных аксиом ® Перечисление основных определений ® Формулирование теорем (утверждений) и их доказательство.

Метод доказательства от противного – тоже его заслуга. Он же сформулировал пять постулатов геометрии:

1. Через два точки можно провести одну и только одну прямую.

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

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

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

Пятый постулат является своеобразным философским камнем геометрии.

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

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

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

«Начала» состоят из 13 книг, посвященных геометрии и арифметике в геометрическом изложении.

Каждая книга «Начал» начинается определением понятий, которые встречаются впервые. Так, например, первой книге предпосланы 23 определения. В частности,

Определение 1. Точка есть то, что не имеет частей.

Определение 2. Линия есть длины без ширины

Определение 3. Границы линии суть точки.

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

Постулаты

I. Требуется, чтобы от каждой точки ко всякой другой точке можно было провести прямую линию.

II . И чтобы каждую прямую можно было неопределенно продолжить.

III. И чтобы из любого центра можно было описать окружность любым радиусом.

IV. И чтобы все прямые углы были равны.

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

Аксиомы

I. Равные порознь третьему равны между собой.

II. И если к ним прибавим равные, то получим равные.

III. И если от равных отнимем равные, то получим равные.

IV. И если к неравным прибавим равные, то получим неравные.

V. И если удвоим равные, то получим равные.

VI. И половины равных равны между собой.

VII. И совмещающиеся равны.

VIII. И целое больше части.

IX. И две прямые не могут заключать пространства.

Иногда IV и V постулаты относят к числу аксиом. Поэтому пятый постулат иногда называют XI аксиомой. По какому принципу одни утверждения относятся к постулатам, а другие к аксиомам, неизвестно.

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

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

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

Другие предлагали по-новому определить параллельные прямые или же заменить V постулат каким-либо, по их мнению, более очевидным предложением. Так, например, в XI веке Омар Хайям ввел вместо V постулата «принцип», согласно которому две лежащие в одной плоскости сходящиеся прямые пересекаются и не могут расходиться в направлении схождения. С помощью этого принципа Хайям доказывает, что в четырехугольнике ABCD, в котором углы при основании А и В – прямые и стороны АС, ВD равны, углы С и D так же прямые, а из этого предложения о существовании прямоугольника выводится V постулат. Рассуждения Хайяма получили оригинальное развитие в XIII веке у Насирэдинна ат-Туси, работы которого в свою очередь стимулировали исследования Д. Валлиса. В 1663 году Валлис доказал постулат о параллельных, исходя из явного допущения, что для каждой фигуры существует подобная ей фигура произвольной величины. Это допущение он считал вытекающим из существа пространственных отношений.

С логической точки зрения результаты Хайяма или Валлиса лишь выявляли равносильность V постулата и некоторых других предложений геометрии. Так, Хайям, по существу, установил эквивалентность постулата и предложения о сумме углов треугольника, а Валлис показал, что не только из V постулата можно вывести учение о подобии, но и обратно – их евклидова учения о подобии следует V постулат.

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

Именно таким путем пытались доказать пятый постулат Д. Саккери (1667-1733), И. Г. Ламберт (1728-1777) и А.М. Лежандр (1752-1833).

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

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

Идеи Ламберта, развитые им в сочинении «теория параллельных линий» (1766г.), близко примыкают к соображениям Саккери.

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

«Доказательства евклидова постулата, - пишет Ламберт, - могут быть доведены столь далеко, что остается, по-видимому, ничтожная мелочь. Но при тщательном анализе оказывается, что в этой кажущейся мелочи и заключается вся суть вопроса; обыкновенно она содержит либо доказываемое предложение, либо равносильный ему постулат».

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

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

Лежандр в своем доказательстве пятого постулата рассматривает три гипотезы относительно суммы углов треугольника.

1. Сумма углов треугольника равна двум прямым.

2. Сумма углов треугольника больше двух прямых.

3. Сумма углов треугольника меньше двух прямых.

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

В результате проблема параллельных оставалась к началу XIX века неразрешенной и положение казалось безвыходным. Большой знаток вопроса венгерский математик Фаркаш Бояи в 1820 году писал своему сыну Яношу: «Молю тебя, не делай только и ты попыток одолеть теорию параллельных линий: ты затратишь на это все свое время, а предложения этого вы не докажете все вместе. Не пытайся одолеть теорию параллельных линий ни тем способом, который ты сообщаешь мне, ни каким-либо другим. Я изучил все пути до конца: я не встретил ни одной идеи, которой бы я не разрабатывал. Я прошел весь беспросветный мрак этой ночи, и всякий светоч, всякую радость жизни я в ней похоронил… Этот беспросветный мрак… никогда не прояснится на земле, и никогда несчастный род человеческий не будет владеть чем-либо совершенным даже в геометрии. Это большая и вечная рана в моей душе…». Беспросветный мрак, о котором с горечью писал старший Бойяи, рассеял Лобачевский и, несколько позднее, Я. Бояи.

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

И одной из предпосылок геометрических открытий Н. И. Лобачевского (1792-1856) был как раз его материалистический подход к проблемам познания. Лобачевский Он был твердо уверен в объективном и не зависящем от человеческого сознания существовании материального мира и в возможности его познания. В речи «О важнейших предметах воспитания» (Казань, 1828) Лобачевский сочувственно приводит слова Ф. Бэкона: «оставьте трудиться напрасно, стараясь извлечь из одного разума всю мудрость; спрашивайте природу, она хранит все истины и на все вопросы ваши будет отвечать вам непременно и удовлетворительно». В своем сочинении «О началах геометрии», являющемся первой публикацией открытой им геометрии, Лобачевский писал: «первые понятия, с которых начинается какая-нибудь наука, должны быть ясны и приведены к самому меньшему числу. Тогда только они могут служить прочным и достаточным основанием учения. Такие понятия приобретаются чувствами; врожденным – не должно верить». Тем самым Лобачевский отвергал идею об априорном характере геометрических понятий, поддерживавшуюся И. Кантом.

Первые попытки Лобачевского доказать пятый постулат относятся к 1823 году. К 1826 году он пришел к убеждению в том, что V постулат не зависит от остальных аксиом геометрии Евклида и 11(23) февраля 1826 года сделал на заседании факультета казанского университета доклад «Сжатое изложение начал геометрии со строгим доказательством теоремы о параллельных», в котором были изложены начала открытой им «воображаемой геометрии», как он называл систему, позднее получившую название неевклидовой геометрии. Доклад 1826г. вошел в состав первой публикации Лобачевского по неевклидовой геометрии – статьи «О началах геометрии», напечатанной в журнале Казанского университета «Казанский вестник» в 1829-1820гг. дальнейшему развитию и приложениям открытой им геометрии были посвящены мемуары «Воображаемая геометрия», «Применение воображаемой геометрии к некоторым интегралам» и «Новые начала геометрии с полной теорией параллельных», опубликованные в «Ученых записках» соответственно в 1835, 1836 и 1835-1838 гг. Переработанный текст «Воображаемой геометрии» появился во французском переводе в Берлине, там же в 1840г. вышли отдельной книгой на немецком языке «Геометрические исследования по теории параллельных линий» Лобачевского. Наконец, в 1855 и 1856 гг. он издал в Казани на русском и французском языках «Пангеометрию».

Высоко оценил «Геометрические исследования» Гаусс, который провел Лобачевского (1842) в члены-корреспонденты Геттингенского ученого общества, бывшего по существу Академией наук ганноверского королевства. Однако в печати в оценкой новой геометрической системы Гаусс не выступил.

Высокая оценка гауссом открытия Лобачевского была связана с тем, что Гаусс, еще с 90-х годов XVIII в. занимавшийся теорией параллельности линий ,пришел к тем же выводам, что и Лобачевский. Свои взгляды по этому вопросу Гаусс не публиковал, они сохранились только в его черновых записках и в немногих письмам к друзьям. В 1818 г. в письме к австрийскому астроному Герлингу (1788-1864) он писал: «Я радуюсь, что вы имеете мужество высказаться так, как если бы Вы признавали ложность нашей теории параллельных, а вместе с тем и всей нашей геометрии. Но осы, гнездо которых Вы потревожите, полетят Вам на голову»; по-видимому, под «потревоженными осами» Гаусс имел в виду сторонников традиционных взглядов на геометрию, а также априоризма математических понятий.

Независимо от Лобачевского и гаусса к открытию неевклидовой геометрии пришел венгерский математик Янош Бояи (1802-1860), сын Ф. Бояи.

Когда Я. Бояи пришел к тем же идеям, что Лобачевский и Гаусс, отец не понял его, однако предложил напечатать краткое изложение его открытия в виде приложения к своему руководству по математике, вышедшему в 1832г. Полное название труда Я. Бояи – «Приложение, содержащее науку о пространстве, абсолютно истинную, не зависящую от истинности или ложности XI аксиомы Евклида (что a priori никогда решено быть не может)» и его обычно коротко называют просто «Аппендикс». Открытие Я. Бояи не было признано при его жизни; Гаусс, которому Ф. Бояи послал "Аппендикс", понял его, но никак не способствовал признанию открытия Я. Бояи.

1.3 Аксиоматика Гильберта

Хотя в современном аксиоматическом изложении геометрии Евклида не всегда пользуются аксиоматикой Гильберта, приведём её, как первую полную, независимую и непротиворечивую систему аксиом.

Все двадцать аксиом системы Гильберта подразделены на пять групп.

· Группа I содержит восемь аксиом принадлежности.

· Группа II содержит четыре аксиомы порядка.

· Группа III содержит пять аксиом конгруэнтности.

· Группа IV содержит две аксиомы непрерывности.

· Группа V содержит одну аксиому параллельности.

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

I. Аксиомы принадлежности

I, 1. Каковы бы ни были две точки A и B, существует прямая a, которой принадлежат эти точки.

I, 2. Каковы бы ни были две точки A и B, существует не более одной прямой, которой принадлежат эти точки.

I, 3. Каждой прямой a принадлежат по крайней мере две точки. Существуют по крайней мере три точки, не принадлежащие одной прямой.

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

I, 4. Каковы бы ни были три точки A, B и C, не принадлежащие одной прямой, существует плоскость α, которой принадлежат эти три точки. Каждой плоскости принадлежит хотя бы одна точка.

I, 5. Каковы бы ни были три точки A, B и C, не принадлежащие одной прямой, существует не более одной плоскости, которой принадлежат эти точки.

I, 6. Если две принадлежащие прямой a различные точки A и B принадлежат некоторой плоскости α, то каждая принадлежащая прямой a точка принадлежит указанной плоскости.

I, 7. Если существует одна точка A, принадлежащая двум плоскостям α и β, то существует по крайней мере ещё одна точка B, принадлежащая обоим этим плоскостям.

I, 8. Существуют по крайней мере четыре точки, не принадлежащие одной плоскости.

С целью использования привычной для нас геометрической лексики договоримся отождествлять между собой следующие выражения: 1) «точка А принадлежит прямой a (плоскости α)», 2) «прямая а (плоскость α) проходит через точку А» 3) «точка А лежит на прямой а (плоскости α)» 4) «точка А является точкой прямой а (плоскости α)» и тому подобные.

Теорема 1. Две различные прямые не могут иметь больше одной общей точки.

Теорема 2. Две плоскости либо совсем не имеют общих точек, либо имеют общую прямую, на которой лежат все их общие точки.

Теорема 3. Плоскость и не лежащая на ней прямая не могут иметь более одной общей точки.

Теорема 4. Через прямую и не лежащую на ней точку, или через две различные прямые с общей точкой проходит одна и только одна плоскость.

Теорема 5. Каждая плоскость содержит по крайней мере три точки.

II. Аксиомы порядка

II, 1. Если точка B прямой а лежит между точками А и С той же прямой, то А, В и С – различные точки указанной прямой, причем В лежит также и между С и А.

II, 2. Каковы бы ни были две различные точки А и С, на определяемой ими прямой существует по крайней мере она точка В такая, что С лежит между А и В.

II, 3. Среди любых трёх точек, лежащих на одной прямой существует не более одной точки, лежащей между двумя другими.

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

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

II, 4 (Аксиома Паша). Если А, В и С – три точки, не лежащие на одной прямой, и а – некая прямая в плоскости, определяемой этими точками, не содержащая ни одной из указанных точек и проходящая через некоторую точку отрезка АВ, то эта прямая проходит также либо через некоторую точку отрезка АС, либо через некоторую точку отрезка ВС.

Подчеркнём, что из одних аксиом порядка II, 1 – 4 ещё не вытекает, что любой отрезок имеет внутренние точки. Однако привлекая ещё аксиомы принадлежности I, 1 – 3 можно доказать следующее утверждение:

Теорема 6. Каковы бы ни были две различные точки А и В на прямой, ими определяемой, существует по крайней мере одна точка С, лежащая между А и В.

Теорема 7. Среди любых трёх точек одной прямой всегда существует одна точка, лежащая между двумя другими.

Теорема 8. Если точки А, В и С не принадлежат одной прямой и если некоторая прямая а пересекает(1) какие-либо два из отрезков АВ, ВС и АС, то эта прямая не пересекает третий из указанных отрезков.

Теорема 9. Если В лежит на отрезке АС, и С – на отрезке ВD, то В и С лежат на отрезке АD.

Теорема 10. Если С лежит на отрезке АD, а В – на отрезке АС, то В лежит также на отрезке АD, а С – на отрезке BD.

Теорема 11. Между любыми двумя точками прямой существует бесконечно много других её точек.

Теорема 12. Пусть каждая из точек С и D лежит между точками А и В. Тогда если М лежит между С и D, то М лежит и между А и В.

Теорема 13. Если точки С и D лежат между точками А и В, то все точки отрезка СD принадлежат отрезку АВ (в этом случае мы будем говорить, что отрезок СD лежит внутри отрезка АВ).

Теорема 14. Если точка С лежит между точками А и В, то 1) никакая точка отрезка АС не может быть точкой отрезка CВ, 2) каждая отличная от С точка отрезка АВ принадлежит либо отрезку АС, либо отрезку СВ.

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

Будем говорить, что две различные точки А и В прямой a лежат по разные стороны (по одну сторону) от третьей точки О той же прямой, если точка О лежит (не лежит) между А и В.

Из указанных выше утверждений вытекает следующая теорема.

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

Таким образом, задание на любой прямой двух различных точек О и Е определяет на этой прямой луч или полупрямую ОЕ, обладающую тем свойством, что любая её точка и точка Е лежат по одну сторону от О.

Выбрав на прямой а две различные точки О и Е, мы можем теперь определить порядок следования точек на прямой по следующему правилу: 1) если А и В – любые точки луча ОЕ, то будем говорить, что А предшествует В, если А лежит между О и В, 2) будем говорить, что точка О предшествует любой точке луча ОЕ, 3) будем говорить, что любая точка, принадлежащая той же прямой и не принадлежащая лучу ОЕ, предшествует как точке О, так и любой точке луча ОЕ, 4) если А и В – любые точки, не принадлежащие лучу ОЕ, то мы будем говорить, что А предшествует В, если В лежит между А и О.

Легко проверить, что для выбранного нами порядка следования точек прямой а справедливо свойство транзитивности: если А предшествует В, а В предшествует С, то А предшествует С.

Аксиомы, приведённые выше, позволяют упорядочить и точки, принадлежащие произвольной плоскости α.

Теорема 16. Каждая прямая а, принадлежащая плоскости α, разделяет не лежащие на ней точки этой плоскости на два непустых класса так, что любые две точки А и В из разных классов определяют отрезок АВ, содержащий точку прямой а, а любые две точки А и А’ из одного класса определяют отрезок АА’, внутри которого не лежит ни одна точка прямой а.

В соответствие с утверждением этой теоремы мы можем говорить, что точки А и А’ (одного класса) лежат в плоскости α по одну сторону от прямой а, а точки А и В (разных классов) лежат в плоскости α по разные стороны от прямой а.

III. Аксиомы конгруэнтности

III, 1. Если А и В – две точки на прямой а, А’ – точка на той же прямой или на другой прямой а’, то по данную от точки А’ сторону прямой а’ найдется, и притом только одна, точка В’ такая, что отрезок А’B’ конгруэнтен отрезку АВ. Каждый отрезок АВ конгруэнтен отрезку ВА.1

III, 2. Если отрезки А’B’ и А”B” конгруэнтны одному и тому же отрезку АВ, то они конгруэнтны и между собой.

III, 3. Пусть АВ и ВС – два отрезка прямой а, не имеющие общих внутренних точек, А’B’ и BC’ – два отрезка той же прямой, или другой прямой а’, также не имеющие общих внутренних точек. Тогда если отрезок АВ конгруэнтен отрезку А’B’, а отрезок ВС конгруэнтен отрезку BC’, то отрезок АС конгруэнтен отрезку А’C’.

Сформулированные три аксиомы относятся к конгруэнтности отрезков. Для формулировки следующих аксиом нам понадобятся понятие угла и его внутренних точек.

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

Если полупрямые задаются двумя своими точками ОА и ОВ, то мы будем обозначать угол символом или . В силу теоремы 4 любые два луча h и k, составляющие угол , определяют, и притом единственную, плоскость α.

Внутренними точками будем называть те точки плоскости α, которые, во-первых, лежат по ту сторону от прямой, содержащей луч h, что и любая точка луча k, и, во-вторых, лежат по ту сторону от прямой, содержащей луч k, что и любая точка луча h.

III, 4. Пусть даны на плоскости α, прямая а’ на этой же или на какой-либо другой плоскости α’ и задана определённая сторона плоскости α’ относительно прямой а’. Пусть h’ – луч прямой а’, исходящий из некоторой точки О’. Тогда на плоскости α’ существует один и только один луч k’ такой, что конгруэнтен, и при этом все внутренние точки лежат по заданную сторону от прямой а’. Каждый угол конгруэнтен самому себе.

III, 5. Пусть А, В и С – три точки, не лежащие на одной прямой, А’, B’ и С’ – другие три точки, также не лежащие на одной прямой. Тогда если отрезок АВ конгруэнтен отрезку А’B’, отрезок АС конгруэнтен отрезку А’C’ и конгруэнтен , то конгруэнтен и конгруэнтен

Договоримся теперь о сравнении неконгруэнтных отрезков и углов.

Будем говорить, что отрезок АВ больше отрезка А’B’, если на прямой, определяемой точками А и В, найдётся лежащая между этими точками точка С такая, что отрезок АС конгруэнтен отрезку А’В’. Будем говорить, что отрезок АВ меньше отрезка А’B’, если отрезок А’B’ больше отрезка АВ.

Символически тот факт, что отрезок АВ меньше отрезка А’B’ (конгруэнтен отрезку А’B’) будем записывать так:

АВ

Будем говорить, что больше , если в плоскости, определяемой , найдётся луч ОС, все точки которого являются внутренними точками , такой, что конгруэнтен . Будем говорить, что меньше , если больше .

С помощью аксиом принадлежности, порядка и конгруэнтности можно доказать целый ряд теорем элементарной геометрии. Сюда относятся: 1) три широко известные теоремы о конгруэнтности (равенстве) двух треугольников, 2) теорема о конгруэнтности вертикальных углов, 3) теорема о конгруэнтности всех прямых углов, 4) теорема о единственности перпендикуляра, опущенного из точки на прямую, 5) теорема о единственности перпендикуляра, проведённого к данной точке прямой, 6) теорема о внешнем угле треугольника, 7) теорема о сравнении перпендикуляра и наклонной.

IV. Аксиомы непрерывности

С помощью аксиом принадлежности, порядка и конгруэнтности мы произвели сравнение отрезков, позволяющее заключить, каким из трёх знаков <, = или > связаны эти отрезки.

Указанных аксиом, однако, недостаточно 1) для обоснования возможности измерения отрезков, позволяющее поставить в соответствие каждому отрезку определённое вещественное число, 2) для обоснования того, что указанное соответствие является взаимно однозначным.

Для проведения такого обоснования следует присоединить к аксиомам I, II и III две аксиомы непрерывности.

IV, 1 (аксиома Архимеда). Пусть АВ и СD – произвольные отрезки. Тогда на прямой, определяемой точками А и В существует конечное число точек А1, А2, ..., Аn, расположенных так, что точка А1 лежит между А и А2, точка А2 лежит между А1 и А3, ..., точка Аn-1 лежит между Аn-2 и Аn, причём отрезки АА1, А1А2, ..., Аn-1An конгруэнтны отрезку CD и точка В лежит между А и Аn.

IV, 2 (аксиома линейной полноты). Совокупность всех точек произвольной прямой а нельзя пополнить новыми объектами (точками) так, чтобы 1) на пополненной прямой были определены соотношения «лежит между» и «конгруэнтен», определён порядок следования точек и справедливы аксиомы конгруэнтности III, 1 – 3 и аксиома Архимеда IV, 1, 2) по отношению к прежним точкам прямой определённые на пополненной прямой соотношения «лежит между» и «конгруэнтен» сохраняли старый смысл.

Присоединение к аксиомам I, 1 – 3, II и III, 1- 3 аксиомы Архимеда позволяет поставить в соответствие каждой точке произвольной прямой а определённое вещественное число х, называемое координатой этой точки, а присоединение ещё и аксиомы линейной полноты позволяет утверждать, что координаты