Do tứ giác ABMM' là hình bình hành nên \(\overrightarrow{BA}=\overrightarrow{MM'}\). Từ đó suy ra M' là ảnh của M qua phép tịnh tiến theo vectơ \(\overrightarrow{BA}\). Từ đó suy ra tập hợp các điểm M' là đường tròn (C'), ảnh của (C) qua phép tịnh tiến theo vectơ \(\overrightarrow{BA}\)