圆x^2 y^2=r^2上任一点到圆心的距离是r写出含有量词的命题