Xem D là ảnh của C qua phép tịnh tiến theo vectơ \(\overrightarrow{BA}\). Do C chạy trên đường tròn (C) tâm A bán kính m, trừ ra giao điểm của (C) với đường thẳng AB, nên D thuộc đường tròn là ảnh của đường tròn nói trên qua phép tịnh tiến theo vectơ \(\overrightarrow{BA}\)