Давайте для начала определимся с обозначениями. Расстояние от точки А до точки В будем обозначать как.
Пусть задана координатная прямая Ox (точка О – начало отсчета) и некоторая точка А на ней. Мы знаем, что каждой точке на координатной прямой соответствует единственное действительное число. Пусть точке А соответствует действительное число, то есть, точка А имеет координату
Как же определяется расстояние от начала отсчета до точки А? Вообще, измерение расстояния основано на сравнении отрезков - отрезка, соответствующего измеряемому расстоянию от точки до точки, и отрезка, принятого за единицу измерения.
Для точки А, которой соответствует целое число, все очень просто. Мы от точки О вдоль прямой OA последовательно откладываем единичные отрезки, пока не попадем в точку А. Количество единичных отрезков и дает нам расстояние между точками О и А.
Это достаточно очевидно. К примеру, чтобы попасть в точку А, которой соответствует число 2, нам нужно преодолеть расстояние в две единицы от начала отсчета в положительном направлении. Если точка А имеет координату -5, то нам придется отложить один за другим пять единичных отрезков в отрицательном направлении. То есть, в первом случае расстояние равно двум, а во втором случае расстояние от точки О до точки А равно пяти.
Если точке А соответствует рациональное число, то мы можем попасть из начала координат в точку А при помощи последовательного откладывания некоторого количества целых единичных отрезков и его части.
Полную информацию смотрите в файле.