二元一次不定方程的证明证:必要性 设x0,y0是ax+by=c的解,有ax0+by0=c,设d=(a,b),则有d|ax