费蜀定理（贝祖定理）证明与应用

定理

对于给定的正整数 $a,b$，方程 $ax+by=c$ 有解的充要条件为 $c$ 是 $\text{gcd(a, b)}$ 的整数倍。

证明

1. 充分性证明：
   设 $\gcd (a,b)=d,a=k1\times d,b=k2\times d,c=k3\times d$，其中 $k1,k2$ 互质。
   原等式等价于 $k1\times d\times x+k2\times d\times$