Ta có vecto MM' + vecto MA = vecto MB
=> MM'BA là hình bình hành
vì A , B cố định => vecto AB cố định
xét phép tịnh tiến qua vecto AB biến M => M'
=> vecto MM' = vecto AB
=> M' là ảnh của M
Mặt khác điểm M chạy trên đường tròn (O) nên M' sẽ chạy trên đường tròn (O') là ảnh của
(O) thông qua phép tịnh tiến vecto AB
Vậy quỹ tích M' là đường tròn (O')