Немецкий физик Альберт Эйнштейн с помощью математических методов разработал теорию относительности, совершив переворот в физике ХХ в.

Считается, что основы современной математики заложены Эвклидом в его 13-томном труде «Элементы» около 300 г. до н. э. В отличие от предшественников, Евклид объясняет здесь геометрию не с помощью бесчисленных чертежей, но чисто логически. Вначале он описывает целый ряд фактов, которые он считает истинными и непреложными. Эти факты называются постулатами. Один из таких постулатов Евклида, например, гласит: «Из каждой точки можно провести одну прямую к любой другой точке». Затем, исходя из этих постулатов, он выводит все остальное. Тем самым Евклид впервые продемонстрировал современное математическое мышление: исходя из определенных предположений, однажды сделанных и не подвергавшихся больше пересмотру, доказал множество других утверждений.

Столетиями шли споры по поводу пятого постулата Евклида, так называемой аксиомы о параллельных прямых: через любую точку Р, лежащую вне прямой g, можно провести только одну прямую, которая не пересечет g. Такую прямую называют параллельной к прямой g, проходящей через точку Р. Многие ученые стремились не просто принять это положение, а вывести его из первых четырех. Но это оказалось невозможным. Математики стали создавать геометрию, которая основывалась на первых четырех аксиомах Евклида и отвергала пятую. То, что вначале выглядело математической игрой, в начале XX в. оказалось востребованным. Альберт Эйнштейн увидел в этих моделях геометрии основу для своей общей теории относительности.

Рис.1-2

Например, дано задание провести две параллельные прямые, причем так, чтобы через данную точку М проходила хотя бы одна из прямых. Таким образом, через заданную точку М проведем взаимно перпендикулярные прямые МN и СD . А через точку N проведем вторую прямую АВ , она должна быть перпендикулярной к прямой МN .

Сделаем вывод: прямая АВ перпендикулярна к прямой МN и прямая СD тоже перпендикулярна в прямой МN , а так как данные прямые параллельны к одной прямой, то, как следствие прямая СD параллельна АВ . Значит, через точку М проходит прямая СD , которая параллельна прямой АВ . Узнаем: можно ли провести еще одну прямую через точку М , чтобы она была параллельна прямой АВ ?

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

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

Рассмотрим обратную теорему. Если прямая пересекает параллельные прямые, то и углы, лежащие при параллельных прямых накрест, соответственно равны.

Рис. 3

Доказательство: допустим, что АС и ВD являются параллельными прямыми, тогда прямая АВ является их секущей прямой. Нам нужно доказать, что ÐСАВ =Ð АВD .

Нам нужно провести так прямую АС1 , чтобы ÐС1АВ=ÐАВD . В соответствии с аксиомой параллельности прямых АС1||ВD , в условии же мы имеем АС||ВD . А это означает, что через данную точку А проходят две прямые, причем они параллельны прямой ВD . Получается противоречие аксиоме параллельности прямых, а это означает, что прямая АС1 проведена неверно.

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

Получается, если (MN)^(CD) и (CD)||(AB) , то Ð1=Ð2=90о . А это значит: (MN)^(AB) (Рис. 1) .

Докажем теорему: если две прямые являются параллельными к третьей, то они будут параллельны одна ко второй.

Рис. 4

Пусть прямая a параллельна прямой с и прямая b тоже параллельна прямой с (рис. 4 а) . Нам нужно доказать, что a||b .

Предположим, что прямые a и b не являются параллельными, но они пересекаются в точке М (рис. 4 б) . А это значит, что две прямые a и b , которые параллельны к прямой с проходят через одну точку, а это полное противоречие аксиоме параллельности прямых. Значит наши прямые a и b параллельны.

Аксиома параллельности Евклида

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

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

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

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

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

Эквивалентные формулировки постулата о параллельных

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

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

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

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

§ Существует прямоугольник (хотя бы один ), то есть четырёхугольник, у которого все углы прямые.

§ Существуют подобные, но не равные треугольники (аксиома Валлиса , 1693).

§ Любую фигуру можно пропорционально увеличить.

§ Существует треугольник сколь угодно большой площади.

§ Прямая, проходящая через точку внутри угла, пересекает по крайней мере одну его сторону (аксиома Лоренца , 1791).

§ Через каждую точку внутри острого угла всегда можно провести прямую, пересекающую обе его стороны.

§ Если две прямые в одну сторону расходятся, то в другую - сближаются.

§ Сближающиеся прямые рано или поздно пересекутся.

§ Вариант: перпендикуляр и наклонная к одной и той же прямой непременно пересекаются (аксиома Лежандра).

§ Точки, равноудалённые от данной прямой (по одну её сторону), образуют прямую,

§ Если две прямые начали сближаться, то невозможно, чтобы они затем начали (в ту же сторону, без пересечения) расходиться (аксиома Роберта Симсона , 1756).

§ Сумма углов одинакова у всех треугольников.

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

§ Две прямые, параллельные третьей, параллельны и друг другу (аксиома Остроградского , 1855).

§ Прямая, пересекающая одну из параллельных прямых, непременно пересечёт и другую.

§ Через любые три точки можно провести либо прямую, либо окружность.

§ Вариант: для всякого невырожденного треугольника существует описанная окружность (аксиома Фаркаша Бойяи ).

§ Справедлива теорема Пифагора.

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

Если вместо V постулата допустить, что для пары точка-прямая V постулат неверен, то полученная система аксиом будет описывать геометрию Лобачевского. Понятно, что в геометрии Лобачевского все вышеперечисленные эквивалентные утверждения неверны.

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

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

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

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

Сбор и использование персональной информации

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

От вас может быть запрошено предоставление вашей персональной информации в любой момент, когда вы связываетесь с нами.

Ниже приведены некоторые примеры типов персональной информации, которую мы можем собирать, и как мы можем использовать такую информацию.

Какую персональную информацию мы собираем:

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

Как мы используем вашу персональную информацию:

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

Раскрытие информации третьим лицам

Мы не раскрываем полученную от Вас информацию третьим лицам.

Исключения:

• В случае если необходимо - в соответствии с законом, судебным порядком, в судебном разбирательстве, и/или на основании публичных запросов или запросов от государственных органов на территории РФ - раскрыть вашу персональную информацию. Мы также можем раскрывать информацию о вас если мы определим, что такое раскрытие необходимо или уместно в целях безопасности, поддержания правопорядка, или иных общественно важных случаях.
• В случае реорганизации, слияния или продажи мы можем передать собираемую нами персональную информацию соответствующему третьему лицу – правопреемнику.

Защита персональной информации

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

Соблюдение вашей конфиденциальности на уровне компании

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

1. Если две прямые параллельны третьей прямой, то они являются параллельными:

Если a ||c и b ||c , то a ||b .

2. Если две прямые перпендикулярны третьей прямой, то они параллельны:

Если a ⊥c и b ⊥c , то a ||b .

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

3. Если сумма внутренних односторонних углов равна 180°, то прямые параллельны:

Если ∠1 + ∠2 = 180°, то a ||b .

4. Если соответственные углы равны, то прямые параллельны:

Если ∠2 = ∠4, то a ||b .

5. Если внутренние накрест лежащие углы равны, то прямые параллельны:

Если ∠1 = ∠3, то a ||b .

Свойства параллельных прямых

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

1. При пересечении двух параллельных прямых третьей прямой, сумма образованных ими внутренних односторонних углов равна 180°:

Если a ||b , то ∠1 + ∠2 = 180°.

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

Если a ||b , то ∠2 = ∠4.

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

Если a ||b , то ∠1 = ∠3.

Следующее свойство является частным случаем для каждого предыдущего:

4. Если прямая на плоскости перпендикулярна одной из двух параллельных прямых, то она перпендикулярна и другой:

Если a ||b и c ⊥a , то c ⊥b .

Пятое свойство - это аксиома параллельности прямых:

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