毕渥数（贝祖等式） - 数论中的重要定理

毕渥数（Bézout's identity），也被称为贝祖等式，是一个数论中的定理，其命名来源于法国数学家Étienne Bézout。毕渥数表示了两个整数的最大公约数与它们的线性组合之间的关系。

具体而言，对于任意两个非零整数a和b，存在整数x和y，使得ax + by = gcd(a, b)，其中gcd(a, b)表示a和b的最大公约数。

换句话说，毕渥数表明了两个整数的最大公约数可以通过对它们进行适当的线性组合来表示。这个定理在数论和代数中有着广泛的应用，例如在解线性同余方程、证明模反元素的存在性等方面。