Отрезком называется часть прямой, которая содержит две разные точки A и B этой прямой (концы отрезка) и все точки прямой, которые лежат между ними (внутренние точки отрезка).
Для обозначения отрезка с концами в точках A и B будем использовать символ [AB].
О точке C, принадлежащей отрезку AB, говорят также, что точка C лежит между точками A и B (если C – внутренняя точка отрезка), а также, что отрезок AB содержит точку C.
Свойство отрезка задается аксиомой:
Каждый отрезок имеет определенную длину, большую нуля. Длина отрезка равняется сумме длин частей, на которые он разбивается любой своей внутренней точкой. AB = AC + CB.
Расстоянием между двумя точками A и B называется длина отрезка AB.
При этом, если точки A и B совпадают, будем считать, что расстояние между ними равно нулю.
Два отрезка называются равными, если равны их длины.