求圆(x-a)^2+(x-b)^2=r^2经过原点的充要条件,并加以证明.