т.е. из этого определения следует, что можно рассматривать отрезок

и двигать его при

с уверенностью, что он остаётся внутри

?

— это точка, а не отрезок. Когда

пробегает отрезок
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
(при фиксированных

), эта точка (зависящая от

) пробегает как раз отрезок, соединяющий точки

и

. И откуда Вы вообще условие

выкопали?
(Вообще, если даже простые вещи вызывают такие затруднения, я даже не представляю, как Вам объяснять док-во леммы. Я бы посоветовал попробовать поискать помощи не в интернете, а среди знакомых, потому что объяснять, чувствую, надо много и долго. Уж извините за прямоту.)