求过(4,0)圆x^2+y^2=4的方程.用导数方法,含推导过程.