Vì \(MABN\) là hình bình hành nên \( \vec{MN}=\vec{AB}\) không đổi.
\( \Rightarrow {T_{\overrightarrow {AB} }}\left( M \right) = N\).
Ta có ảnh của 1 đường tròn qua một phép tịnh tiến là đường tròn bằng nó nên khi \(M\) chạy trên đường tròn \((O)\) thì \(N\) chạy trên đường tròn \((O')\) là ảnh của \((O)\) qua phép tịnh tiến theo \(\vec{AB}\), đường tròn này là xác định (đpcm).