Большая Советская энциклопедия - прямая линия

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.