Ta có: $M'$ đối xứng $M$ qua trục $d$
$\to D_d: M\to M'$
Mà $M$ chạy trên $(O)$ nên $M'$ chạy trên $(O_1)$ là ảnh của $(O)$ qua $D_d$
Mặt khác $M'\in (O')$. Vậy $M'=(O')\cap (O_1)$
* Cách dựng $M'$: xác định ảnh $O_1$ của $O$ qua $D_d$. Vẽ đường tròn $(O_1;R)$, nếu có giao điểm với $(O';R)$ thì đó là điểm $M$
* Cách dựng $M$: dựng điểm đối xứng $M'$ qua $d$