裴蜀定理: 对任意a,b和最大公约数d,存在两个整数x,y使得等式成立
扩展欧几里得算法:用来求这样的一组整数解,然后通过这组解可以推出其他所有整数解
1.右边不是d的倍数则不存在整数解
2.右边是d的倍数:按照d求出一对整数解,然后对x,y分别乘以t/d. 则得到等式的一组整数解,然后再按照原来的公式加减相同的系数的k倍得到所有整数解。
注意:系数还是x对应b/d,y 对应a/d