Ответ:

По свойству сложения длин частей отрезка, если O лежит на отрезке AB, то длина AB равна сумме AO и OB.

Ответ: да.