已知圆C：与直线相切，且圆D与圆C关
于直线对称，则圆D的方程是___________。