;
R полуокружности MB = ;
Длина полуокружности AM = ;
Длина полуокружности MB = ;
Длина красной линии = , при перемещении точки M длина отрезка AB, а следовательно и длина красной линии не изменится, поэтому длина синей линии будет равна длине красной линии, независимо от положения точки M.