А куда вы подставляли? Понятно и так, без этой проверки, что длина отрезка равна сумме длин его частей. А вам подставлять надо было в равенство