无电流空间利用安培环路定理可以得到 磁场的环路积分为零,环路积分可以化为磁场的散度的体积分,从而得到磁场的散度为零 ,因为磁 场线是平行的,可以设平行磁场方向为x轴,于是可以得到By =0,Bz=0,B=Bx.磁场的散度为零就可以写作dBx/dx=0,得到Bx为一个常数,于是就证明了该命题