两个非零整数的的线性组合（系数都是整数）等于一的充要条件是这两个整数互质

ax+by=1(a!=0,b!=0)的充要条件是   （a，b）=1；

 

证明：

先证：ax+by=1(a!=0,b!=0) -----> (a,b)=1

 

假设(a,b)=h,     则  h|ax，h|by ------> h|(ax+by)    ------>h<=1 ------->(a,b)=1

 

 

 

 

再证: (a,b)=1 ------>存在整数x，y使得ax+by=1(a!=0,b!=0)。

 

 

设 集合｛k| ax+by=k｝，且设d是｛k｝最小的那个正整数，设 e为除d的其它数，则有e=di+j（其中i为整数，0<=j<d);

 

因为 e属于｛k｝且d属于｛k}，很容易得知 di属于｛k}，j属于｛k};  因为d是｛k｝最小的那个正整数，切0<=j<d,所以j只能取0。这说明集合｛k}中的元素都是d的倍数。

 

我们设ax1+by1=e，则a（x1+1）+by1=e+a，则由上述结论的d|e，d|（e+a），则有d|a，同理得d|b ----->d=1;