裴蜀定理（贝祖等式）

简介

若 $a,b$ 是整数,且 $gcd(a,b)=d$ ，那么对于任意的整数 $x$ , $y$ , $ax+by$ 都一定是 $d$ 的倍数，特别地，一定存在整数$x$ , $y$ ，使 $ax+by=d$ 成立。

推论：$a$ , $b$互质的充要条件是存在整数 $x$ , $y$ ，使 $ax+by=1$.

证明

证明一：
令 $d=gcd(a,b)$ ，易知 $d|a,d|b$ .
又整除的性质，$\forall x,y\in Z$，有 $d|(ax+by)$.
设 s = m i n { a x + b y , a x + b y ∈ N + }    ⟹    d ∣ s s=min\{ax+by, ax+by\in N+\} \implies d|s s=min{ax+by,ax+by∈N+}⟹d∣s
令 $q=\lfloor \frac{a}{s}\rfloor$ , $r=a\mathrm{m}\mathrm{o}\mathrm{d}s=a-q\times s=(1-qx)a+(-qy)b$ ，则 $r$ 也为关于 $a$ 和 $b$ 的一个线性组合.
因为 $s$ 是最小正整数解， $0\le r<s⟹r=0$，则 $s|a$.
同理 $s|b$，可得 $s|d$.

证明二：
(1)若 $b=0⟹gcd(a,b)=a$，定理显然成立
(2)若 $b$ $/=$ $0$ 记 $d=gcd(a,b)$ ，对 $ax+by=d$ 两边同时除以 $d⟹a_{1}x+b_{1}y=1$ ，其中 $gcd(a_1,b_1)=1$ .
由欧几里得算法可知 $gcd(a,b)=gcd(b,a\%b)$ ，则 a 1 = b 1 x 1 + r 1 , a 1 % b 1 = r 1 , { r i ∈ Z ∣ 1 ≤ i } a_1=b_1x_1+r_1, a_1\%b_1=r_1, \{r_i\in Z | 1\le i \} a1​=b1​x1​+r1​,a1​%b1​=r1​,{ri​∈Z∣1≤i}，一直递推下去~~~

无意义的次序~~~	a	b
1	$a_1=b_1{x}_1+r_1$	$b_1=r_1{x}_2+r_2$
2	$b_1=r_1{x}_2+r_2$	$r_1=a_1\%b_1=r_2{x}_3+r_3$
3	$r_1=r_2{x}_3+r_3$	$r_2=b_1\%r_1=r_3{x}_4+r_4$
$⋮$	$⋮$	$⋮$
n-1	$r_{n-3}=r_{n-2}{x}_{n-1}+r_{n-1}$	$r_{n-2}=r_{n-4}\%r_{n-3}=r_{n-1}{x}_n+r_n$
n	$r_{n-2}=r_{n-1}{x}_n+r_n$	$r_{n-1}=r_{n-3}\%r_{n-2}=r_n{x}_{n+1}+r_{n+1}$
n+1	$r_{n-1}=r_n{x}_{n+1}+r_{n+1}$	$r_n=r_{n-2}\%r_{n-1}=r_{n+1}{x}_{n+2}+r_{n+2}$
n+2	$r_n=r_{n+1}{x}_{n+2}+r_{n+2}$	$r_{n+1}=\dots$（懒得写了）

现在，我们设 $r_{n+1}=0$，那么 $r_n=1⟹r_{n-2}=r_{n-1}{x}_n+1⟹r_{n-2}-r_{n-1}{x}_n=1$.
由上表第n-1个a的表达式得 $r_{n-1}=r_{n-3}-r_{n-2}{x}_{n-2}$，将此式的 $r_{n-1}$ 带入上式得 $r_{n-2}-(r_{n-3}-r_{n-2}{x}_{n-2})x_n=1$.
我们设 $m_1=-x_n,n_1=1+x_{n-1}{x}_n⟹m_1{r}_{n-3}+n_1{r}_{n-2}=1$，由于 $\forall x_i\in Z$，显然 $m_1,n_1\in Z$. 然后我们暴力推一下：

$m_0{r}_{n-2}+n_0{r}_{n-1}=1(m_0=-x_n,n_0=1)$
$m_1{r}_{n-3}+n_1{r}_{n-2}=1$
$m_2{r}_{n-4}+n_2{r}_{n-3}=1$
$m_3{r}_{n-5}+n_3{r}_{n-4}=1$
$⋮$
$m_{n-2}{r}_1+n_{n-2}{r}_2=1$
$m_{n-1}{b}_1+n_{n-1}{r}_1=1$
$m_n{a}_1+n_n{b}_1=1$

显然，$m_n,n_n\in Z⟹a_{1}x+b_{1}y=1$有整数解
$⟹ax+by=d$有整数解.

推论证明

充分性：
由证明二可得.

必要性：
假设 $k=gcd(a,b)$，且 $k>1$（$a,b$不互质）.
则 $a=mk,b=nk⟹mkx+nky=1$
等式两边同时除以 $k$得
$$mx+ny=\frac{1}{k}(k>1)$$
等式右边为小数，那么，当 $a,b$ 不互质时，一定不存在整数 $x,y$ ，满足 $ax+by=1$.

应用

洛谷P4549（模板题）

题目描述
给定一个 $n$ 长度的序列 $(A_1,\dots ,A_n)$ ，存在一组序列 $(x_1,\dots ,x_n)$满足 m i n { A 1 x 1 + A 2 x 2 + ⋯ + A n x n &gt; 0 } min\{A_1x_1 + A_2x_2 + \dots + A_nx_n \gt 0\} min{A1​x1​+A2​x2​+⋯+An​xn​>0}.
题解
先考虑 $n=2$，显然$A_1{x}_1+A_2{x}_2$ 的最小正整数解为 $gcd(A_2,A_2)$.
当 $n\ge 2$ 时，直接 $gcd$ 前两项再跟第三项 $gcd$ 就可以了（为什么拓展到多项也可以，因为我也不会嘤嘤嘤），预处理一下，当 $A_i<0$ 时，取 $abs(A_i)$，即相应的系数 $x_i$ 乘上 -1，不影响最终结果.

代码

#include <stdio.h>
#include <math.h>

int gcd(int a, int b)
{
        return b ? gcd(b, a%b) : a;
}

int main(void)
{
        int n, a[25], ans;
        scanf("%d", &n);
        for (int i = 0; i < n; i++)
        {
                scanf("%d", a+i);
                a[i] = abs(a[i]);
        }
        for (int i = 0; i < n-1; i++)
        {
                ans = gcd(a[i], a[i+1]);
                a[i+1] = ans;
        }
        printf("%d", ans);
        return 0;
}