Gọi đường tròn (O’) là ảnh của đường tròn (O) qua Đ_BC.

Ta có đường tròn tâm B và đường tròn tâm C cắt nhau tại hai điểm A và D.

Suy ra BC là đường trung trực của đoạn AD.

Do đó D là ảnh của A qua Đ_BC.

Vậy khi điểm A di động trên đường tròn cố định (O) thì điểm D di động trên đường tròn cố định (O’), với (O’) là ảnh của (O) qua Đ_BC.