Dễ thấy \(\overrightarrow {CD} = \overrightarrow {AB} \) và \(A,B\) cố định nên \(D = {T_{\overrightarrow {BA} }}\left( C \right)\).
Do \(C\) chạy trên đường tròn \(\left( C \right)\) tâm \(A\) bán kính \(m\), trừ ra giao điểm của \(\left( C \right)\) 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} \).
