数论——裴属定理

定理内容：
ax+by=c,x∈Z*,y∈Z*成立的条件是gcd(a,b)|c（c可以被gcd整除，即c = n*gcd）。Z*表示正整数集。

证明：（证明过程是学习了大佬的过程）

设s=gcd(a,b)，显然s∣a，并且s∣b

又因为x,y∈Z*

所以s∣ax,s∣by

显然要使得之前的式子成立，则必须满足c是a和b的公约数的倍数

又因为x和y是正整数

所以c必然是a,b最大公约数的倍数。

因此，证得该定理成立
 

例题；

题目描述
给定一个包含 nn 个元素的整数序列 AA，记作 A_1,A_2,A_3,...,A_nA1​,A2​,A3​,...,An​。

求另一个包含 nn 个元素的待定整数序列 XX，记 S=$\sum\limits_{i=1}^nA_i\times X_iS=i=1∑n​Ai​×Xi$​，使得 S>0S>0 且 SS 尽可能的小。

输入格式
第一行一个整数 nn，表示序列元素个数。

第二行 nn 个整数，表示序列 AA。

输出格式
一行一个整数，表示 S>0S>0 的前提下 SS 的最小值。

输入输出样例
输入：

4059 -1782

输出：

99
AC代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int main()
{
    int n;
    cin >> n;
    int a;
    int ans = 0;
    for(int i = 0;i < n;i++){
        cin >> a;
        a = abs(a);
        ans = __gcd(ans,a);
    }
    cout << ans;
}