行远山

摘要： 一.扩展欧几里得算法是求a*x+b*y=c的通解。 二.若a*x+b*y=c有解，设t=gcd(a,b),则c%t=0。 三.证明： 1.设a*x+b*y=t,当b=0时，t=a（为什么？因为gcd算法，if(b==0) return a;），则有a*x=a，易得x=1. 2.设a*x1+b*y1= 阅读全文