Прямая, начало координат и единичный отрезок: математические основы