В геометрии параллельные линии — это копланарные бесконечные прямые линии , не пересекающиеся ни в одной точке. Параллельные плоскости — это никогда не пересекающиеся плоскости в одном и том же трехмерном пространстве . Параллельные кривые — это кривые , которые не касаются друг друга, не пересекаются и сохраняют фиксированное минимальное расстояние. В трехмерном евклидовом пространстве линия и плоскость, не имеющие общей точки, также называются параллельными. Однако две некомпланарные линии называются косыми линиями . Отрезки прямых и евклидовы векторы параллельны, если они имеют одинаковое направление (не обязательно одинаковую длину).
Параллельные прямые являются предметом постулата параллельности Евклида . [1] Параллелизм — это прежде всего свойство аффинной геометрии , а евклидова геометрия — частный случай этого типа геометрии. В некоторых других геометриях, таких как гиперболическая геометрия , линии могут иметь аналогичные свойства, которые называются параллельностью.
Параллельный символ : . [2] [3] Например, указывает, что линия AB параллельна линии CD .
В наборе символов Юникода знаки «параллельно» и «непараллельно» имеют кодовые точки U+2225 (∥) и U+2226 (∦) соответственно. Кроме того, U + 22D5 (⋕) представляет отношение «равно и параллельно». [4]
Этот же символ используется для бинарной функции в электротехнике ( параллельный оператор ). Он отличается от скобок с двойной вертикальной чертой U+2016 (‖), которые обозначают норму (например ), а также от логического оператора или ( ) в некоторых языках программирования.||
Учитывая параллельные прямые l и m в евклидовом пространстве , следующие свойства эквивалентны:
Поскольку это эквивалентные свойства, любое из них можно принять за определение параллельных линий в евклидовом пространстве, но первое и третье свойства предполагают измерение и поэтому «более сложны», чем второе. Таким образом, второе свойство обычно выбирается в качестве определяющего свойства параллельных линий в евклидовой геометрии. [5] Остальные свойства являются следствиями постулата параллельности Евклида .
Определение параллельных линий как пары прямых линий на плоскости, которые не пересекаются, содержится в определении 23 в книге I « Начал» Евклида . [6] Альтернативные определения обсуждались и другими греками, часто как часть попытки доказать постулат о параллельности . Прокл приписывает Посидонию определение параллельных линий как равноудаленных линий и в том же духе цитирует Близнеца . Симплиций также упоминает определение Посидония, а также его модификацию, предложенную философом Аганисом. [6]
В конце девятнадцатого века в Англии «Начала» Евклида все еще оставались стандартным учебником в средних школах. Традиционное лечение геометрии было вынуждено измениться из-за новых разработок в проективной геометрии и неевклидовой геометрии , поэтому в это время было написано несколько новых учебников для преподавания геометрии. Основное различие между этими текстами реформ, как между ними, так и между ними и Евклидом, заключается в трактовке параллельных линий. [7] Эти тексты реформ не обошлись без критиков, и один из них, Чарльз Доджсон (он же Льюис Кэрролл ), написал пьесу « Евклид и его современные соперники» , в которой эти тексты подверглись резкой критике. [8]
Одним из первых учебников реформ была «Элементарная геометрия» Джеймса Мориса Уилсона 1868 года. [ 9] Вильсон основывал свое определение параллельных линий на примитивном понятии направления . По мнению Вильгельма Киллинга [10], эта идея восходит к Лейбницу . [11] Уилсон, не определяя направления, поскольку оно является примитивным, использует этот термин в других определениях, таких как его шестое определение: «Две прямые линии, которые встречаются друг с другом, имеют разные направления, и разница их направлений является углом между ними. " Уилсон (1868, стр. 2) В определении 15 он таким образом вводит параллельные прямые; «Прямые, имеющие одинаковое направление , но не являющиеся частями одной прямой, называются параллельными ». Уилсон (1868, стр. 12) Огастес Де Морган рассмотрел этот текст и объявил его неудачным, прежде всего на основании этого определения и того, как Вильсон использовал его для доказательства вещей о параллельных прямых. Доджсон также посвящает большую часть своей пьесы (Акт II, сцена VI, § 1) осуждению подхода Уилсона к параллелям. Уилсон отредактировал эту концепцию из третьего и последующих изданий своего текста. [12]
Другие свойства, предложенные другими реформаторами и использованные в качестве замены определения параллельных линий, оказались не намного лучше. Основная трудность, как указывал Доджсон, заключалась в том, что для их использования таким образом требовалось добавить в систему дополнительные аксиомы. Определение Посидония равноудаленной линии, изложенное Фрэнсисом Катбертсоном в его тексте 1874 года « Евклидова геометрия» , страдает от проблемы, заключающейся в том, что точки, находящиеся на фиксированном заданном расстоянии на одной стороне прямой линии, должны быть показаны как образующие прямую линию. Это невозможно доказать и следует считать правдой. [13] Соответствующие углы, образованные свойством трансверсальности, использованным У. Д. Кули в его тексте 1860 года « Элементы геометрии», упрощенные и объясненные, требуют доказательства того факта, что если одна трансверсаль встречается с парой прямых в конгруэнтных соответствующих углах, то все трансверсали должны это делать. Опять же, необходима новая аксиома, чтобы обосновать это утверждение.
Три вышеуказанных свойства приводят к трем различным методам построения [14] параллельных линий.
Поскольку параллельные линии в евклидовой плоскости равноудалены , между двумя параллельными линиями существует уникальное расстояние. Учитывая уравнения двух невертикальных и негоризонтальных параллельных линий,
расстояние между двумя линиями можно найти, найдя две точки (по одной на каждой линии), лежащие на общем перпендикуляре к параллельным линиям, и вычислив расстояние между ними. Поскольку линии имеют наклон m , общий перпендикуляр будет иметь наклон -1/ m , и мы можем взять линию с уравнением y = - x / m как общий перпендикуляр. Решите линейные системы
и
чтобы получить координаты точек. Решениями линейных систем являются точки
и
Эти формулы по-прежнему дают правильные координаты точки, даже если параллельные линии горизонтальны (т. е. m = 0). Расстояние между точками равно
что сводится к
Когда линии заданы общим видом уравнения линии (включая горизонтальные и вертикальные линии):
их расстояние можно выразить как
Две линии в одном трехмерном пространстве , которые не пересекаются, не обязательно должны быть параллельными. Только если они находятся в общей плоскости, их называют параллельными; иначе их называют косыми линиями .
Две различные прямые l и m в трехмерном пространстве параллельны тогда и только тогда, когда расстояние от точки P на линии m до ближайшей точки на линии l не зависит от местоположения точки P на линии m . Это никогда не справедливо для перекошенных линий.
Линия m и плоскость q в трехмерном пространстве, линия, не лежащая в этой плоскости, параллельны тогда и только тогда, когда они не пересекаются.
Эквивалентно, они параллельны тогда и только тогда, когда расстояние от точки P на линии m до ближайшей точки на плоскости q не зависит от местоположения точки P на линии m .
Подобно тому, как параллельные прямые должны располагаться в одной плоскости, параллельные плоскости должны располагаться в одном трёхмерном пространстве и не содержать общих точек.
Две различные плоскости q и r параллельны тогда и только тогда, когда расстояние от точки P в плоскости q до ближайшей точки в плоскости r не зависит от положения точки P в плоскости q . Этого никогда не будет, если две плоскости не находятся в одном и том же трехмерном пространстве.
В неевклидовой геометрии чаще говорят о геодезических, чем о (прямых) линиях. Геодезическая – это кратчайший путь между двумя точками заданной геометрии. В физике это можно интерпретировать как путь, по которому движется частица, если к ней не приложена никакая сила. В неевклидовой геометрии ( эллиптическая или гиперболическая геометрия ) три упомянутых выше евклидовых свойства не эквивалентны, и только второе (линия m находится в той же плоскости, что и линия l, но не пересекает l) полезно в неевклидовой геометрии. поскольку оно не предполагает никаких измерений. В общей геометрии три вышеуказанных свойства дают три различных типа кривых: эквидистантные кривые , параллельные геодезические и геодезические, имеющие общий перпендикуляр соответственно.
В то время как в евклидовой геометрии две геодезические могут либо пересекаться, либо быть параллельными, в гиперболической геометрии есть три возможности. Две геодезические, принадлежащие одной плоскости, могут быть:
В литературе ультрапараллельные геодезические часто называют непересекающимися . Геодезические, пересекающиеся на бесконечности , называются предельной параллелью .
Как и на рисунке, через точку a, не лежащую на прямой l , проходят две ограничивающие параллельные линии, по одной для каждого направления идеальной точки линии l. Они разделяют линии, пересекающие линию l, и те, которые ультрапараллельны линии l .
Ультрапараллельные прямые имеют один общий перпендикуляр ( теорема об ультрапараллели ) и расходятся по обе стороны от этого общего перпендикуляра.
В сферической геометрии все геодезические представляют собой большие круги . Большие круги делят сферу на два равных полушария , и все большие круги пересекаются друг с другом. Таким образом, не существует геодезических, параллельных данной геодезической, поскольку все геодезические пересекаются. Эквидистантные кривые на сфере называются параллелями широты, аналогично линиям широты на земном шаре. Параллели широты могут быть образованы пересечением сферы плоскостью, параллельной плоскости, проходящей через центр сферы.
Если l, m, n — три различные прямые, то
В этом случае параллелизм является транзитивным отношением . Однако в случае l = n наложенные линии не считаются параллельными в евклидовой геометрии. Бинарное отношение между параллельными прямыми, очевидно, является симметричным отношением . Согласно принципам Евклида, параллелизм не является рефлексивным отношением и, следовательно, не может быть отношением эквивалентности . Тем не менее, в аффинной геометрии пучок параллельных прямых рассматривается как класс эквивалентности в множестве прямых, где параллелизм является отношением эквивалентности . [15] [16] [17]
С этой целью Эмиль Артин (1957) принял определение параллельности, согласно которому две прямые параллельны, если у них есть все общие точки или ни одна из них. [18] Тогда линия параллельна сама себе, так что рефлексивные и транзитивные свойства принадлежат этому типу параллелизма, создавая отношение эквивалентности на множестве линий. При изучении геометрии инцидентности этот вариант параллелизма используется в аффинной плоскости .
§359. […] ∥ параллель встречается в Opuscula mathematica hactenus inedita Отреда (1677) [стр. 197], посмертное произведение (§ 184) […] §368. Знаки параллельных линий. […] когда знак равенства Рекорда завоевал распространение на континенте, вертикальные линии стали использоваться для параллельности. Мы находим ∥ для «параллельного» у Керси ,[14] Касвелла , Джонса ,[15] Уилсона,[16] Эмерсона ,[17] Камбли,[18] и писателей последних пятидесяти лет, которых уже цитировали в связи с этим. с другими пиктограммами. Примерно до 1875 года это происходило не так часто […] Холл и Стивенс[1] использовали «par[1] или ∥» для параллельного […] [14] Джон Керси , Алгебра (Лондон, 1673), Книга IV, стр. 177. [15] У. Джонс , Synopsis palmarioum matheseos (Лондон, 1706). [16] Джон Уилсон, Тригонометрия (Эдинбург, 1714 г.), объяснение персонажей. [17] У. Эмерсон , Элементы геометрии (Лондон, 1763), с. 4. [18] Л. Камбли , Die Elementar-Mathematik , Часть 2: Planimetrie , 43. издание (Бреслау, 1876), с. 8. […] [1] Х.С. Холл и Ф.Х. Стивенс, Элементы Евклида , части I и II (Лондон, 1889), стр. 10. […][1]