В геометрии прямая линия , обычно сокращенно , представляет собой бесконечно длинный объект без ширины, глубины или кривизны , идеализацию таких физических объектов, как линейка , натянутая струна или луч света . Линии — это пространства первого измерения , которые могут быть встроены в пространства второго, третьего или более высокого измерения. Слово линия в повседневной жизни может также относиться к отрезку линии , который является частью линии, ограниченной двумя точками (ее конечными точками ).
« Элементы » Евклида определяют прямую линию как «длину без ширины», которая «равномерно лежит относительно точек на себе», и вводят несколько постулатов как основные недоказуемые свойства, на которых основывается остальная геометрия. Евклидова линия и евклидова геометрия — термины, введенные во избежание путаницы с обобщениями, введенными с конца 19 века, такими как неевклидова , проективная и аффинная геометрия .
В греческой дедуктивной геометрии « Начал » Евклида общая линия (теперь называемая кривой ) определяется как «длина без ширины», а прямая линия (теперь называемая отрезком линии ) определяется как линия, «которая лежит равномерно с точками на себе». [1] : 291 Эти определения апеллируют к физическому опыту читателей, опираясь на термины, которые сами по себе не определены, и на определения никогда не ссылаются явно в остальной части текста. В современной геометрии линия обычно либо рассматривается как примитивное понятие со свойствами , заданными аксиомами [1] :95 , либо определяется как набор точек, подчиняющихся линейным отношениям, например, когда действительные числа считаются примитивными, а геометрия устанавливается аналитически в числовых координатах .
В аксиоматической формулировке евклидовой геометрии, такой как формулировка Гильберта (современные математики добавили к первоначальным аксиомам Евклида, чтобы заполнить воспринимаемые логические пробелы), [1] : 108 утверждается, что линия обладает определенными свойствами, которые связывают ее с другими линиями и точками . Например, для любых двух различных точек существует уникальная линия, содержащая их, и любые две различные прямые пересекаются не более чем в одной точке. [1] : 300 В двух измерениях (т. е. на евклидовой плоскости ) две прямые, которые не пересекаются, называются параллельными . В более высоких измерениях две линии, которые не пересекаются, параллельны, если они содержатся в плоскости , или перекошены, если это не так.
На евклидовой плоскости линию можно представить как границу между двумя областями. [2] : 104 Любой набор конечного числа прямых разбивает плоскость на выпуклые многоугольники (возможно, неограниченные); этот раздел известен как расположение линий .
В трехмерном пространстве уравнение первой степени с переменными x , y и z определяет плоскость, поэтому два таких уравнения, при условии, что плоскости, которые они порождают, не параллельны, определяют линию, которая является пересечением плоскостей. В более общем смысле, в n -мерном пространстве n -1 уравнений первой степени в n координатных переменных определяют линию при подходящих условиях.
В более общем евклидовом пространстве Rn ( и аналогично в любом другом аффинном пространстве ) прямая L, проходящая через две разные точки a и b , является подмножеством
Три точки называются коллинеарными, если они лежат на одной прямой. Три точки обычно определяют плоскость , но в случае трех коллинеарных точек этого не происходит.
В аффинных координатах , в n -мерном пространстве точки X = ( x 1 , x 2 , ..., x n ), Y = ( y 1 , y 2 , ..., y n ) и Z = ( z 1 , z 2 , ..., z n ) коллинеарны, если матрица
Эквивалентно для трех точек на плоскости, точки лежат на одной прямой тогда и только тогда, когда наклон между одной парой точек равен наклону между любой другой парой точек (в этом случае наклон между оставшейся парой точек будет равен другим наклонам). . В более широком смысле, k точек на плоскости коллинеарны тогда и только тогда, когда любые ( k –1) пары точек имеют одинаковые попарные наклоны.
В евклидовой геометрии евклидово расстояние d ( a , b ) между двумя точками a и b может использоваться для выражения коллинеарности между тремя точками следующим образом: [3] [4]
Однако существуют другие понятия расстояния (например, манхэттенское расстояние ), для которых это свойство неверно.
В геометриях, где понятие прямой является примитивным понятием , как это может иметь место в некоторых синтетических геометриях , необходимы другие методы определения коллинеарности.
В некотором смысле, [а] все линии в евклидовой геометрии равны, в том смысле, что без координат их невозможно отличить друг от друга. Однако линии могут играть особую роль по отношению к другим объектам геометрии и подразделяться на типы в соответствии с этим соотношением. Например, относительно коники ( круга , эллипса , параболы или гиперболы ) линии могут быть:
В контексте определения параллелизма в евклидовой геометрии трансверсаль — это линия, пересекающая две другие линии, которые могут быть или не быть параллельны друг другу.
Для более общих алгебраических кривых линии также могут быть:
По отношению к треугольникам имеем:
Для выпуклого четырехугольника с не более чем двумя параллельными сторонами линия Ньютона — это линия, соединяющая середины двух диагоналей . [7]
Для шестиугольника с вершинами, лежащими на конике, у нас есть линия Паскаля , а в особом случае, когда коника представляет собой пару прямых, у нас есть линия Паппуса .
Параллельные прямые – это линии в одной плоскости, которые никогда не пересекаются. Пересекающиеся линии имеют одну общую точку. Совпадающие прямые совпадают друг с другом — каждая точка, находящаяся на одной из них, находится и на другой.
Перпендикулярные линии – это линии, пересекающиеся под прямым углом . [8]
В трехмерном пространстве косые линии — это линии, которые не лежат в одной плоскости и, следовательно, не пересекаются друг с другом.
Понятие линии часто рассматривается в геометрии как примитивное понятие в аксиоматических системах [1] :95, что означает, что оно не определяется другими понятиями. [9] В тех ситуациях, когда линия является определенным понятием, как в координатной геометрии , некоторые другие фундаментальные идеи принимаются в качестве примитивов. Когда концепция линии является примитивной, свойства линий определяются аксиомами , которым они должны удовлетворять.
В неаксиоматической или упрощенной аксиоматической трактовке геометрии концепция примитивного понятия может быть слишком абстрактной, чтобы с ней можно было иметь дело. В этом случае можно дать описание или мысленный образ примитивного понятия, дать основу для построения понятия, на которой формально будут базироваться (невысказанные) аксиомы. Некоторые авторы могут называть описания этого типа определениями в этом неформальном стиле изложения. Это неверные определения, и их нельзя использовать в формальных доказательствах утверждений. «Определение» линии в «Началах» Евклида попадает в эту категорию. [1] :95 Даже в случае, когда рассматривается конкретная геометрия (например, евклидова геометрия ), среди авторов нет общепринятого согласия относительно того, каким должно быть неформальное описание линии, когда предмет не рассматривается формально.
Линии в декартовой плоскости или, в более общем плане, в аффинных координатах характеризуются линейными уравнениями. Точнее, каждая линия (включая вертикальные линии) представляет собой набор всех точек, координаты которых ( x , y ) удовлетворяют линейному уравнению; то есть,
Далее можно предположить либо c = 1 , либо c = 0 , разделив все на c , если оно не равно нулю.
Существует много вариантов написания уравнения прямой, которые можно преобразовать из одного в другое с помощью алгебраических манипуляций. Вышеупомянутую форму иногда называют стандартной формой . Если постоянный член поставить слева, уравнение примет вид
Эти формы обычно называются по типу информации (данных) о строке, которая необходима для записи формы. Некоторые из важных данных линии — это ее наклон, точка пересечения по оси X , известные точки на линии и точка пересечения по оси Y.
Уравнение линии, проходящей через две разные точки , можно записать как
Наклон линии, проходящей через точки и , определяется выражением и можно записать уравнение этой линии .
Обратите внимание: линии в трех измерениях также можно описать как одновременные решения двух линейных уравнений .
Параметрические уравнения также используются для задания линий, особенно в трехмерных и более измерениях , поскольку линии более чем в двух измерениях не могут быть описаны одним линейным уравнением.
В трех измерениях линии часто описываются параметрическими уравнениями:
Параметрические уравнения для линий в более высоких измерениях аналогичны тем, что они основаны на задании одной точки на линии и вектора направления.
Нормальная форма (также называемая нормальной формой Гессе [10] в честь немецкого математика Людвига Отто Гессе ) основана на нормальном сегменте для данной прямой, который определяется как отрезок, проведенный из начала координат , перпендикулярный прямой. . Этот сегмент соединяет начало координат с ближайшей к началу точки точкой линии. Нормальная форма уравнения прямой на плоскости имеет вид:
В отличие от форм пересечения наклона и пересечения, эта форма может представлять любую линию, но также требует указания только двух конечных параметров и p . Если p > 0 , то определяется однозначно по модулю 2 π . С другой стороны, если линия проходит через начало координат ( c = p = 0 ), c /| с | член для вычисления и , и отсюда следует, что он определен только по модулю π .
Векторное уравнение линии, проходящей через точки A и B, имеет вид (где λ — скаляр ).
Если a — вектор OA , а b — вектор OB , то уравнение прямой можно записать: .
Луч, начинающийся в точке A , описывается пределом λ. Один луч получается, если λ ≥ 0, а противоположный луч исходит из λ ≤ 0.
В декартовой плоскости полярные координаты ( r , θ ) связаны с декартовыми координатами параметрическими уравнениями: [11]
В полярных координатах уравнение прямой, не проходящей через начало координат — точку с координатами (0, 0) , — можно записать
Может оказаться полезным выразить уравнение через угол между осью X и прямой. В этом случае уравнение принимает вид
Эти уравнения можно вывести из нормальной формы линейного уравнения, задав , а затем применив тождество угловой разности для синуса или косинуса.
Эти уравнения также можно доказать геометрически , применив определения синуса и косинуса прямоугольного треугольника к прямоугольному треугольнику , у которого точка прямой и начало координат являются вершинами, а линия и ее перпендикуляр, проходящий через начало координат, являются сторонами.
Предыдущие формы не применимы для линии, проходящей через начало координат, но можно записать более простую формулу: полярные координаты точек линии, проходящей через начало координат и образующей угол с осью x , представляют собой пары, такие что
В современной математике, учитывая множество геометрий, понятие прямой тесно связано со способом описания геометрии. Например, в аналитической геометрии линия на плоскости часто определяется как набор точек, координаты которых удовлетворяют заданному линейному уравнению , но в более абстрактной ситуации, такой как геометрия падения , линия может быть независимым объектом, отличным от множество точек, лежащих на нем.
Когда геометрия описывается набором аксиом , понятие линии обычно остается неопределенным (так называемый примитивный объект). Свойства линий затем определяются аксиомами, которые к ним относятся. Одним из преимуществ этого подхода является гибкость, которую он дает пользователям геометрии. Таким образом, в дифференциальной геометрии линию можно интерпретировать как геодезическую (кратчайший путь между точками), а в некоторых проективных геометриях линия представляет собой двумерное векторное пространство (все линейные комбинации двух независимых векторов). Эта гибкость выходит за рамки математики и, например, позволяет физикам рассматривать путь светового луча как линию.
Во многих моделях проективной геометрии представление линии редко соответствует понятию «прямой кривой», как оно визуализируется в евклидовой геометрии. В эллиптической геометрии мы видим типичный пример этого. [1] : 108 В сферическом представлении эллиптической геометрии линии представлены большими кругами сферы с обозначенными диаметрально противоположными точками. В другой модели эллиптической геометрии линии представлены евклидовыми плоскостями , проходящими через начало координат. Несмотря на то, что эти представления визуально различны, они удовлетворяют всем свойствам (например, две точки, определяющие уникальную линию), которые делают их подходящими представлениями для линий в этой геометрии.
«Короткость» и «прямолинейность» линии, интерпретируемые как свойство минимизировать расстояние вдоль линии между любыми двумя ее точками (см. неравенство треугольника ), могут быть обобщены и приводят к понятию геодезических в метрических пространствах .
Учитывая прямую и любую точку А на ней, мы можем рассматривать А как разлагающую эту линию на две части. Каждая такая часть называется лучом , а точка А — ее начальной точкой . Его также называют полупрямой, одномерным полупространством . Точка А считается членом луча. [b] Интуитивно, луч состоит из тех точек на линии, которые проходят через A и продолжаются бесконечно, начиная с A , только в одном направлении вдоль линии. Однако для того, чтобы использовать это понятие луча в доказательствах, требуется более точное определение.
Учитывая различные точки A и B , они определяют единственный луч с начальной точкой A. Поскольку две точки определяют уникальную линию, этот луч состоит из всех точек между A и B (включая A и B ) и всех точек C на линии, проходящей через A и B , таких, что B находится между A и C. [12] Иногда это также выражается как набор всех точек C на линии, определяемой A и B, таких, что A не находится между B и C. [13] Точка D на линии, определяемой A и B , но не на луче с начальной точкой A, определенной B , будет определять другой луч с начальной точкой A. По отношению к лучу АВ луч AD называется противоположным лучом .
Таким образом, мы бы сказали, что две разные точки, A и B , определяют линию и разложение этой линии в непересекающееся объединение открытого отрезка ( A , B ) и двух лучей, BC и AD (точка D не нарисована). на диаграмме, но находится левее А на линии АВ ). Это не противоположные лучи, поскольку они имеют разные начальные точки.
В евклидовой геометрии два луча с общим концом образуют угол . [14]
Определение луча зависит от понятия промежуточности точек на линии. Отсюда следует, что лучи существуют только для геометрий, для которых существует это понятие, обычно это евклидова геометрия или аффинная геометрия над упорядоченным полем . С другой стороны, лучи не существуют ни в проективной геометрии , ни в геометрии над неупорядоченным полем, как комплексные числа или любое конечное поле .
Сегмент линии — это часть линии, которая ограничена двумя различными конечными точками и содержит каждую точку линии между ее конечными точками. В зависимости от того, как определен сегмент линии, любая из двух конечных точек может быть или не быть частью сегмента линии. Два или более сегментов линии могут иметь некоторые из тех же отношений, что и линии, например быть параллельными, пересекаться или наклоняться, но в отличие от линий они могут не быть ни одним из них, если они копланарны и либо не пересекаются, либо коллинеарны .
Точка на числовой прямой соответствует действительному числу и наоборот. [15] Обычно целые числа располагаются в строке через равные интервалы: положительные числа располагаются справа, отрицательные — слева. В качестве расширения этой концепции можно провести воображаемую линию , представляющую мнимые числа, перпендикулярно числовой линии в нуле. [16] Две линии образуют комплексную плоскость , геометрическое представление набора комплексных чисел .