（x-4)^2+(y+1)^2-17+a^2=0
(x-4)^2+(y+1)^2=17-a^2
17-a^>=0
a^2-17<=0
-根号17<=a<=根号17