裴蜀定理

裴蜀定理
$Bezout定理：形如c_1{x}_1+c_2{x}_2+c_3{x}_3+\dots \dots +c_n{x}_n=m的方程有正整数解当且仅当gcd（x_1,x_2\dots \dots x_n）|m$
$证明：设gd=gcd（x_1，x_2，\dots \dots ，x_n）,则gd|c_1{x}_1......gd|c_n{x}_n,则gd|（c_1{x}_1+c_2{x}_2+\dots \dots c_n{x}_n），则gd|m，因为对于任意的x1......xn都可以找到一组c从左边推到右边，则一定可以找到一组c从右边推到左边，所以gd|（m）为充分必要条件$

#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
ll ans;
ll gcd(ll x,ll y){
	if(y==0) return 0;/*一定要加这句，不然可能RE*/
	return (x%y==0)?y:gcd(y,x%y);
}
int main(){
	ll n;
	scanf("%lld",&n);
	scanf("%lld",&ans);
	if(n==0){
	}
	if(ans<0) ans=-ans;
	for(ll i=2;i<=n;i++){
		ll val;
		scanf("%lld",&val);
		if(val<0) val=-val;
		ans=gcd(ans,val);
	}
	printf("%lld",ans);
}