裴蜀定理（贝祖定理）

〜(￣△￣〜) yy

已于 2024-08-11 13:08:59 修改

阅读量402

点赞数 9

分类专栏：数论文章标签：算法

于 2024-08-05 21:08:45 首次发布

本文链接：https://blog.csdn.net/qq_74908899/article/details/140934024

版权

8 篇文章 1 订阅

订阅专栏

裴蜀定理

对于两个不全为0的整数a,b

1：有任意的整数x,y满足gcd(a,b)|ax+by

2：存在整数x,y使得ax+by = gcd(a,b)

第一条很好理解：

$gcd(a,b)|a$ 且 $gcd(a,b)|b$

同理 $gcd(a,b)|ax$ 且 $gcd(a,b)|by$

则有 $gcd(a,b)|ax+by$

对于第二条：

假设 $a > b,gcd(a,b) = d$

令第i次取余的结果为 $r_{i}$

根据模运算a%b = r可得a - kb = r，则

$a = k_{1}b+r_{1} \ \ \ b = k_{2}r_{1}+r_{2}\ \ \ r_{1} = k_{3}r_{2}+r_{3}......$
$r_{n-3} = k_{n-1}r_{n-2} + r_{n-1}\ \ \ r_{n-2} = k_{n}r_{n-1} + r_{n}\ \ \ r_{n-1} = k_{n+1}r_{n}$

根据gcd的退出条件b = 0可以得知 $r_{n}$ 即为gcd的结果d

然后开始倒推：

$r_{n-2} = k_{n}r_{n-1} + d \ \ d= r_{n-2} - k_{n}r_{n-1}$ ①
$r_{n-3} = k_{n-1}r_{n-2} + r_{n-1} \Rightarrow r_{n-1} = r_{n-3} - k_{n-1}r_{n-2}$ 代入回①
$d = r_{n-2} - k_{n}(r_{n-3}-k_{n-1}r_{n-2})$ ②
$r_{n-4} = k_{n-2}r_{n-3} + r_{n-2} \Rightarrow r_{n-2} = r_{n-4} - k_{n-2}r_{n-3}$ 代入回②
$d = r_{n-3}(k_{n-2}(1+k_nk_{n-1})-k_n) + r_{n-4}$ ③
$r_{n-5} = k_{n-3}r_{n-2} + r_{n-3} \Rightarrow r_{n-3} = r_{n-5} - k_{n-3}r_{n-4}$ 代入回③
$......$

每步消掉一个 $r_i$ ，最后只剩下 $a,b$

最终会得到一个类似 $d = ax + by$ 的式子，其中 $x,y$ 都为 $k_i$ 组成的式子

因为 $k_i$ 是某次取余减去的倍数，一定是个整数，所以 $x,y$ 一定都为整数，定理2得证

由此可以得到一条推论：

可以用反证法证明，此处不再继续证明

裴蜀定理在数论和计算几何等其他重要的推论和证明中都会用到

对于一组不全为0的数 $a_1,a_2......a_n$ ，存在一组整数系数 $x_1,x_2......x_n$ ，使得：

$a_1x_1 + a_2x_2+......+a_nx_n = gcd(a_1,a_2......a_n)$

同样的对于一组不全为0的数 $a_1,a_2......a_n$ ，若存在一组整数 $x_1,x_2......x_n$ ，使得：

$a_1x_1 + a_2x_2+......+a_nx_n = d$ 则必定 $gcd(a_1,a_2......a_n)|d$

简单点说，有一组不全为0的数 $a_1,a_2......a_n$ ，每个数可以取任意整数个(可以为负)

则取出来的结果一定是 $gcd(a_1,a_2......a_n)$ 的倍数

对于求解这类问题的大于0的最小整数解时，可以将 $a_i$ 全部取绝对值，最后求出gcd即为答案

int ans = abs(a[1]);
for(int i = 2;i <= n;i++)
{
    a[i] = abs(a[i]);
	ans = __gcd(ans,a[i]);
}

关注

专栏目录