半径=根号[(4-3)^2+(1-0)^2]=根号2
故圆C1方程是(x-3)^2+y^2=2.
C1关于Y=X的对称点是C2(0,3),则有C2的方程是x^2+(y-3)^2=2.
AB的最小值=C1C2-2R=3根号2-2根号2=根号2