Ответ:

Расстояние между точками на координатной прямой равно модулю разности их координат:

\(AB=|7.5-(-12.5)|=|20|=20\).

Ответ: 20 единиц.