斐蜀定理 内容 斐蜀定理又叫贝祖定理,它的内容是这样的: 若$a,bin N$,那么对于任意x,y,方程$ax+by=gcd(a,b)*k(kin N)$一定有解,且一定有一组解使$ax+by=gcd(a,b)$ 推论 a,b互素的充要条件是方程$ax+by=1$有整数解. 证明 令$d=gcd(a,b)$,则$d|a,d|b$ 那么就能得到$d|(ax+by)$ 于是我们设s为$ax+by$能得到的最小正整数值,则$d|s$. 令$q=adiv s$(此处为整除),$r=amod s$,则$a…