【算法中的数学】裴蜀定理（Bézout’s Identity）总结

裴蜀定理（Bézout’s Identity）总结

裴蜀定理是数论中的一个重要定理，描述了整数线性组合与最大公约数（GCD）之间的关系。

---

1. 裴蜀定理的内容

对于任意两个整数 $a$ 和 $b$，设它们的最大公约数为 $d=\gcd (a,b)$，那么：

• 存在整数 $x$ 和 $y$，使得：

$$ax+by=d$$

• 推论：
  • 方程 $ax+by=m$ 有整数解 当且仅当 $d\mid m$（即 $m$ 能被 $d$ 整除）。
  • 特别地，如果 $\gcd (a,b)=1$，则存在 $x,y$ 使得 $ax+by=1$。

推广到多个数：
对于 $n$ 个数 $a_1,a_2,\dots ,a_n$