Что такое настоящая прямая линия

Пряма́я — одно из фундаментальных понятий геометрии.

При систематическом изложении геометрии прямая линия обычно принимается за одно из исходных понятий, которое лишь косвенным образом определяется аксиомами геометрии. Согласно примеру Д. Гильберта («точкой можно назвать хоть стул»), может обозначать достаточно произвольные объекты, даже изображение которых будет зависеть от выбранной аксиоматики и/или модели геометрии. Например, в модели Пуанкаре геометрии Лобачевского прямыми являются полуокружности.

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

Аналитически прямая задаётся уравнением (в трёхмерном пространстве — системой уравнений) первой степени.

В современной аксиоматике евклидовой геометрии прямая является первичным понятием, задаваемым лишь перечнем его свойств — аксиомами.

Свойства прямой в евклидовой геометрии

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