Соответственные углы равны то прямые параллельны. Прямая линия

Они не пересекаются, сколько бы их ни продолжали. Параллельность прямых на письме обозначают так: AB || С E

Возможность существования таких прямых доказывается теоремой.

Теорема.

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

Пусть AB данная прямая и С какая-нибудь точка, взятая вне ее. Требуется доказать, что через С можно провести прямую, параллельную AB . Опустим на AB из точки С перпендикуляр С D и затем проведем С E ^ С D , что возможно. Прямая CE параллельна AB .

Для доказательства допустим противное, т.е., что CE пересекается с AB в некоторой точке M . Тогда из точки M к прямой С D мы имели бы два различных перпендикуляра M D и , что невозможно. Значит, CE не может пересечься с AB , т.е. С E параллельна AB .

Следствие.

Два перпендикуляра (С E и DB ) к одной прямой (С D ) параллельны.

Аксиома параллельных линий.

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

Так, если прямая С D , проведенная через точку С параллельна прямой AB , то всякая другая прямая С E , проведенная через ту же точку С , не может быть параллельна AB , т.е. она при продолжении пересечется с AB .

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

Следствия.

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

2. Если каждая из двух прямых (A и B ) параллельны одной и той же третьей прямой (С ) , то они параллельны между собой.

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

Теорема .

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

Пусть AB || С D и EF ^ AB .Требуется доказать, что EF ^ С D .

Перпендикуляр E F , пересекаясь с AB , непременно пересечет и С D . Пусть точка пересечения будет H .

Предположим теперь, что С D не перпендикулярна к EH . Тогда какая-нибудь другая прямая, например HK , будет перпендикулярна к EH и, следовательно через одну и ту же точку H будут проходить две прямые параллельные AB : одна С D , по условию, а другая HK по доказанному раньше. Так как это невозможно, то нельзя допустить, что СВ была не перпендикулярна к EH .

ГЛАВА III.
ПАРАЛЛЕЛЬНЫЕ ПРЯМЫЕ

§ 35. ПРИЗНАКИ ПАРАЛЛЕЛЬНОСТИ ДВУХ ПРЯМЫХ.

Теорема о том, что два перпендикуляра к одной прямой параллельны (§ 33), даёт признак параллельности двух прямых. Можно вывести более общие признаки параллельности двух прямых.

1. Первый признак параллельности.

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

Пусть прямые АВ и СD пересечены прямой ЕF и / 1 = / 2. Возьмём точку О - середину отрезка КL секущей ЕF (черт. 189).

Опустим из точки О перпендикуляр ОМ на прямую АВ и продолжим его до пересечения с прямой СD, АВ_|_МN. Докажем, что и СD_|_МN.
Для этого рассмотрим два треугольника: МОЕ и NОК. Эти треугольники равны между собой. В самом деле: / 1 = / 2 по условию теоремы; ОK = ОL - по построению;
/ МОL = / NОК, как вертикальные углы. Таким образом, сторона и два прилежащих к ней угла одного треугольника соответственно равны стороне и двум прилежащим к ней углам другого треугольника; следовательно, /\ МОL = /\ NОК, а отсюда и
/ LМО = / КNО, но / LМО прямой, значит, и / КNО тоже прямой. Таким образом, прямые АВ и СD перпендикулярны к одной и той же прямой МN, следовательно, они параллельны (§ 33), что и требовалось доказать.

Примечание. Пересечение прямых МО и СD может быть установлено путём поворота треугольника МОL вокруг точки О на 180°.

2. Второй признак параллельности.

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

Пусть какие-нибудь соответственные углы равны, например / 3 = / 2 (черт. 190);
/ 3 = / 1, как углы вертикальные; значит, / 2 будет равен / 1. Но углы 2 и 1 - внутренние накрест лежащие углы, а мы уже знаем, что если при пересечении двух прямых третьей внутренние накрест лежащие углы равны, то эти прямые параллельны. Следовательно, АВ || СD.

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

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

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

3. Третий признак параллельности.

Пусть нам известно, что при пересечении двух прямых АВ и СD третьей прямой сумма каких-нибудь внутренних односторонних углов равна 2d (или 180°). Будут ли в этом случае прямые АВ и СD параллельны (черт. 192).

Пусть / 1 и / 2-внутренние односторонние углы и в сумме составляют 2d .
Но / 3 + / 2 = 2d , как углы смежные. Следовательно, / 1 + / 2 = / 3+ / 2.

Отсюда / 1 = / 3, а эти углы внутренние накрест лежащие. Следовательно, АВ || СD.

Если при пересечении двух прямых третьей сумма внутренних односторонних углов равна 2 d, то эти две прямые параллельны.

Упражнение.

Доказать, что прямые параллельны:
а) если внешние накрест лежащие углы равны (черт. 193);
б) если сумма внешних односторонних углов равняется 2d (черт. 194).

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

Определение 1

Параллельные прямые на плоскости – две прямые на плоскости, не имеющие общих точек.

Определение 2

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

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

Чтобы обозначить параллельность прямых, общепринято использовать символ ∥ . Т.е., если заданные прямые a и b параллельны, кратко записать это условие нужно так: a ‖ b . Словесно параллельность прямых обозначается следующим образом: прямые a и b параллельны, или прямая а параллельна прямой b , или прямая b параллельна прямой а.

Сформулируем утверждение, играющее важную роль в изучаемой теме.

Аксиома

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

В случае, когда речь идет о пространстве, верна теорема:

Теорема 1

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

Эту теорему просто доказать на базе вышеуказанной аксиомы (программа геометрии 10 - 11 классов).

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

В том числе, имеют место необходимые и достаточные условия параллельности прямых на плоскости и в пространстве. Поясним: необходимое – значит то условие, выполнение которого необходимо для параллельности прямых; если оно не выполнено – прямые не являются параллельными.

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

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

Определение 3

Секущая прямая – прямая, пересекающая каждую из двух заданных несовпадающих прямых.

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

Теорема 2

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

Проиллюстрируем графически необходимое и достаточное условие параллельности прямых на плоскости:

Доказательство указанных условий присутствует в программе геометрии за 7 - 9 классы.

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

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

Теорема 3

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

Теорема 4

В трехмерном пространстве две прямые, параллельные третьей, параллельны между собой.

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

Дадим иллюстрацию указанных теорем:

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

Теорема 5

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

Сформулируем аналогичное для трехмерного пространства.

Теорема 6

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

Проиллюстрируем:

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

Параллельность прямых в прямоугольной системе координат

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

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

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

Теорема 7

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

Становится очевидно, что условие параллельности прямых на плоскости базируется на условии коллинеарности векторов или условию перпендикулярности двух векторов. Т.е., если a → = (a x , a y) и b → = (b x , b y) являются направляющими векторами прямых a и b ;

и n b → = (n b x , n b y) являются нормальными векторами прямых a и b , то указанное выше необходимое и достаточное условие запишем так: a → = t · b → ⇔ a x = t · b x a y = t · b y или n a → = t · n b → ⇔ n a x = t · n b x n a y = t · n b y или a → , n b → = 0 ⇔ a x · n b x + a y · n b y = 0 , где t – некоторое действительное число. Координаты направляющих или прямых векторов определяются по заданным уравнениям прямых. Рассмотрим основные примеры.

  1. Прямая a в прямоугольной системе координат определяется общим уравнением прямой: A 1 x + B 1 y + C 1 = 0 ; прямая b - A 2 x + B 2 y + C 2 = 0 . Тогда нормальные векторы заданных прямых будут иметь координаты (А 1 , В 1) и (А 2 , В 2) соответственно. Условие параллельности запишем так:

A 1 = t · A 2 B 1 = t · B 2

  1. Прямая a описывается уравнением прямой с угловым коэффициентом вида y = k 1 x + b 1 . Прямая b - y = k 2 x + b 2 . Тогда нормальные векторы заданных прямых будут иметь координаты (k 1 , - 1) и (k 2 , - 1) соответственно, а условие параллельности запишем так:

k 1 = t · k 2 - 1 = t · (- 1) ⇔ k 1 = t · k 2 t = 1 ⇔ k 1 = k 2

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

  1. Прямые a и b в прямоугольной системе координат заданы каноническими уравнениями прямой на плоскости: x - x 1 a x = y - y 1 a y и x - x 2 b x = y - y 2 b y или параметрическими уравнениями прямой на плоскости: x = x 1 + λ · a x y = y 1 + λ · a y и x = x 2 + λ · b x y = y 2 + λ · b y .

Тогда направляющие векторы заданных прямых будут: a x , a y и b x , b y соответственно, а условие параллельности запишем так:

a x = t · b x a y = t · b y

Разберем примеры.

Пример 1

Заданы две прямые: 2 x - 3 y + 1 = 0 и x 1 2 + y 5 = 1 . Необходимо определить, параллельны ли они.

Решение

Запишем уравнение прямой в отрезках в виде общего уравнения:

x 1 2 + y 5 = 1 ⇔ 2 x + 1 5 y - 1 = 0

Мы видим, что n a → = (2 , - 3) - нормальный вектор прямой 2 x - 3 y + 1 = 0 , а n b → = 2 , 1 5 - нормальный вектор прямой x 1 2 + y 5 = 1 .

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

2 = t · 2 - 3 = t · 1 5 ⇔ t = 1 - 3 = t · 1 5 ⇔ t = 1 - 3 = 1 5

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

Ответ: заданные прямые не параллельны.

Пример 2

Заданы прямые y = 2 x + 1 и x 1 = y - 4 2 . Параллельны ли они?

Решение

Преобразуем каноническое уравнение прямой x 1 = y - 4 2 к уравнению прямой с угловым коэффициентом:

x 1 = y - 4 2 ⇔ 1 · (y - 4) = 2 x ⇔ y = 2 x + 4

Мы видим, что уравнения прямых y = 2 x + 1 и y = 2 x + 4 не являются одинаковыми (если бы было иначе, прямые были бы совпадающими) и угловые коэффициенты прямых равны, а значит заданные прямые являются параллельными.

Попробуем решить задачу иначе. Сначала проверим, совпадают ли заданные прямые. Используем любую точку прямой y = 2 x + 1 , например, (0 , 1) , координаты этой точки не отвечают уравнению прямой x 1 = y - 4 2 , а значит прямые не совпадают.

Следующим шагом определим выполнение условия параллельности заданных прямых.

Нормальный вектор прямой y = 2 x + 1 это вектор n a → = (2 , - 1) , а направляющий вектором второй заданной прямой является b → = (1 , 2) . Скалярное произведение этих векторов равно нулю:

n a → , b → = 2 · 1 + (- 1) · 2 = 0

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

Ответ: данные прямые параллельны.

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

Теорема 8

Чтобы две несовпадающие прямые в трехмерном пространстве были параллельны, необходимо и достаточно, чтобы направляюще векторы этих прямых были коллинеарными.

Т.е. при заданных уравнениях прямых в трехмерном пространстве ответ на вопрос: параллельны они или нет, находится при помощи определения координат направляющих векторов заданных прямых, а также проверки условия их коллинеарности. Иначе говоря, если a → = (a x , a y , a z) и b → = (b x , b y , b z) являются направляющими векторами прямых a и b соответственно, то для того, чтобы они были параллельны, необходимо существование такого действительного числа t , чтобы выполнялось равенство:

a → = t · b → ⇔ a x = t · b x a y = t · b y a z = t · b z

Пример 3

Заданы прямые x 1 = y - 2 0 = z + 1 - 3 и x = 2 + 2 λ y = 1 z = - 3 - 6 λ . Необходимо доказать параллельность этих прямых.

Решение

Условиями задачи заданы канонические уравнения одной прямой в пространстве и параметрические уравнения другой прямой в пространстве. Направляющие векторы a → и b → заданных прямых имеют координаты: (1 , 0 , - 3) и (2 , 0 , - 6) .

1 = t · 2 0 = t · 0 - 3 = t · - 6 ⇔ t = 1 2 , то a → = 1 2 · b → .

Следовательно, необходимое и достаточное условие параллельности прямых в пространстве выполнено.

Ответ: параллельность заданных прямых доказана.

Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter

AB и С D пересечены третьей прямой MN , то образовавшиеся при этом углы получают попарно такие названия:

соответственные углы : 1 и 5, 4 и 8, 2 и 6, 3 и 7;

внутренние накрест лежащие углы : 3 и 5, 4 и 6;

внешние накрест лежащие углы : 1 и 7, 2 и 8;

внутренние односторонние углы : 3 и 6, 4 и 5;

внешние односторонние углы : 1 и 8, 2 и 7.

Так, ∠ 2 = ∠ 4 и ∠ 8 = ∠ 6, но по доказанному ∠ 4 = ∠ 6.

Следовательно, ∠ 2 =∠ 8.

3. Соответственные углы 2 и 6 одинаковы, поскольку ∠ 2 = ∠ 4, а ∠ 4 = ∠ 6. Также убедимся в равенстве других соответственных углов.

4. Сумма внутренних односторонних углов 3 и 6 будет 2d, потому что сумма смежных углов 3 и 4 равна 2d = 180 0 , а ∠ 4 можно заменить идентичным ему ∠ 6. Также убедимся, что сумма углов 4 и 5 равна 2d.

5. Сумма внешних односторонних углов будет 2d, потому что эти углы равны соответственно внутренним односторонним углам , как углы вертикальные .

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

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

1. Внутренние накрест лежащие углы одинаковы;

или 2. Внешние накрест лежащие углы одинаковые;

или 3. Соответственные углы одинаковые;

или 4. Сумма внутренних односторонних углов равна 2d = 180 0 ;

или 5. Сумма внешних односторонних равна 2d = 180 0 ,

то первые две прямые параллельны.

1. Первый признак параллельности.

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

Пусть прямые АВ и СD пересечены прямой ЕF и ∠1 = ∠2. Возьмём точку О - середину отрезка КL секущей ЕF (рис.).

Опустим из точки О перпендикуляр ОМ на прямую АВ и продолжим его до пересечения с прямой СD, АВ ⊥ МN. Докажем, что и СD ⊥ МN.

Для этого рассмотрим два треугольника: МОЕ и NОК. Эти треугольники равны между собой. В самом деле: ∠1 = ∠2 по условию теоремы; ОK = ОL - по построению;

∠МОL = ∠NОК, как вертикальные углы. Таким образом, сторона и два прилежащих к ней угла одного треугольника соответственно равны стороне и двум прилежащим к ней углам другого треугольника; следовательно, ΔМОL = ΔNОК, а отсюда и ∠LМО = ∠КNО,
но ∠LМО прямой, значит, и ∠КNО тоже прямой. Таким образом, прямые АВ и СD перпендикулярны к одной и той же прямой МN, следовательно, они параллельны, что и требовалось доказать.

Примечание. Пересечение прямых МО и СD может быть установлено путём поворота треугольника МОL вокруг точки О на 180°.

2. Второй признак параллельности.

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

Пусть какие-нибудь соответственные углы равны, например ∠ 3 = ∠2 (рис.);

∠3 = ∠1, как углы вертикальные; значит, ∠2 будет равен ∠1. Но углы 2 и 1 - внутренние накрест лежащие углы, а мы уже знаем, что если при пересечении двух прямых третьей внутренние накрест лежащие углы равны, то эти прямые параллельны. Следовательно, АВ || СD.

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

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

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

3. Третий признак параллельности.

Пусть нам известно, что при пересечении двух прямых АВ и СD третьей прямой сумма каких-нибудь внутренних односторонних углов равна 2d (или 180°). Будут ли в этом случае прямые АВ и СD параллельны (рис.).

Пусть ∠1 и ∠2-внутренние односторонние углы и в сумме составляют 2d .

Но ∠3 + ∠2 = 2d , как углы смежные. Следовательно, ∠1 + ∠2 = ∠3+ ∠2.

Отсюда ∠1 = ∠3, а эти углы внутренние накрест лежащие. Следовательно, АВ || СD.

Если при пересечении двух прямых третьей сумма внутренних односторонних углов равна 2 d (или 180°), то эти две прямые параллельны.


Признаки параллельных прямых:

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

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

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

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

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

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

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

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

Решение. 1-й с п о с о б (черт. 199).

Проводим МN⊥АВ и через точку М проводим СD⊥МN;

получаем СD⊥МN и АВ⊥МN.

На основании теоремы ("Если две прямые перпендикулярны к одной и той же прямой, то они параллельны.") заключаем, что СD || АВ.

2-й с п о с о б (черт. 200).

Проводим МК, пересекающую АВ под любым углом α, и через точку М проводим прямую ЕF, образующую с прямой МК угол ЕМК, равный углу α. На основании теоремы () заключаем, что ЕF || АВ.

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

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

В теории ответ на поставленный вопрос даёт так называемая аксиома параллельности Евклида; она формулируется так:

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

На чертеже 201 через точку О проведена прямая СК, параллельная прямой АВ.

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

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

Более двух тысячелетий после Евклида многие учёные-математики пытались доказать это математическое предложение, но всегда их попытки оказывались безуспешными. Только в 1826 г. великий русский учёный, профессор Казанского университета Николай Иванович Лобачевский доказал, что, используя все другие аксиомы Евклида, это математическое предложение доказать нельзя, что оно действительно должно быть принято за аксиому. Н. И. Лобачевский создал новую геометрию, которая в отличие от геометрии Евклида названа геометрией Лобачевского.

Поделиться: