假设n=sa=tb,(s,t∈Z),
ax+by=1——》x/b+y/a=1/ab
——》n/ab=n(x/b+y/a)=nx/b+ny/a=tx+sy,
t、x、s、y均为整数,所以tx+sy为整数,
——》ab整除n.