a) Phần thuận
Gọi O là điểm đối xứng với D qua C thì O là một điểm cố định
Tứ giác ABOC có AB // OC; AB = OC (vì cùng bằng CD) nên ABOC là hình bình hành
⟹ OB = AC = 2cm. Điểm B cách điểm O cố định một khoảng 2cm nên điểm B nằm trên đường tròn tâm O bán kính 2cm.
Giới hạn: Vì B, C, D không thẳng hàng nên B nằm trên đường tròn tâm O bán kính 2cm trừ giao điểm của đường tròn này với đường thẳng CD.
b) Phần đảo
Lấy điểm B bất kì trên đường tròn tâm O bán kính 2cm (trừ giao điểm của đường tròn này với đường thẳng CD). Suy ra OB = 2cm. Vẽ hình bình hành ABCD. Ta chứng minh hình bình hành có AC = 2cm
Thật vậy, AB // CD và AB = CD ⟹ AB // CO và AB = CO. Do đó tứ giác ABOC là hình bình hành, suy ra AC = OB = 2cm
c) Kết luận
Vậy quỹ tích của điểm B là đường tròn tâm O bán kính 2cm, trừ giao điểm của đường tròn này với đường thẳng CD.