Математическое определение модуля разности длин отрезков