nyoj144 小珂的苦恼
#include<stdio.h>
inline int gcd(int a,int b)
{
return b?gcd(b,a%b):a;
}
int main()
{
int T,a,b,k,n;
scanf("%d",&T);
while(T--)
{
scanf("%d%d%d",&a,&b,&n);
k=gcd(a,b);
if(n%k) puts("No");
else puts("Yes");
}
return 0;
}
本题主要用到的是扩展欧几里德定理: 对于与不完全为 0 的非负整数 a，b，gcd（a，b）表示 a，b 的最大公约数那么存在唯一的整数 x，y.使得 gcd（a，b）=ax+by;
先介绍一下：
“扩展欧几里德原理”是由“欧几里德原理”扩展来的，有的书上叫“费蜀（Bezout）定理”，总之有个这个事
c=gcd(a,b)表示a，b两数的最大公约数，则存在：ax+by=c一定存在整数x，y使等式成立
先说一下“欧几里德原理”，其实就是“辗转相除法”，也就是中国老祖先的“更相减损之术”，这个算法的主要目的是求出两个数的最大公约数，具体是一个递归的过程，简单说来是：
gcd（a,b）=gcd(b,a mod b)
终止条件是：gcd（a,b）中的a mod b=0，然后输出b
下面是这个定理的推导过程:
证明“欧几里德原理（算法）”：
设a,b,c为三个不全为零的整数，且有整数t使：a=b*t+c，则a、b与b、c有相同的公约数，因而，gcd(a,b)=gcd(b,c)，即gcd(a,b)=gcd(b,a-b*t)（证明这个：d是a,b的公约数，则设a=d*i，b=d*j，由a=b*t+c => c=a-b*t => c=d*(i-j*t)，所以，d也是c的公约数）
欧几里德算法（辗转相除法）的工作过程如下：
1、a=b*q[1]+r[1]
2、b=r[1]*q[2]+r[2]
3、r[1]=r[2]*q[3]+r[3]
.
.
.
n、r[n-2]=r[n-1]*q[n]+r[n]
n+1、r[n-1]=r[n]*q[n+1]+r[n+1]
此时，r[n+1]=0，因为每次带余除法，余数至少减一（因为余数比除数小，这里以第一个式子为例，这个式子相当于a除以b商q[1]余r[1]，这里一定存在b>r[1]），即b>r[1]>r[2]>r[3]>…>r[n]>r[n+1]=0，而b为有限数，因此必有一个最多不超过b的正整数n存在，使得r[n]>0，而r[n+1]=0，故有
r[n] =gcd(r[n],r[n-1])=…=gcd(r[2],r[1])=gcd(r[1],b)=gcd(a,b)
这就是“欧几里德原理（算法）”的证明，
下面是扩展“欧几里德原理（算法）”的证明：
其实，刚才已经证明了，因为就是辗转相除法的递推过程，然后就是以此把上述递推式迭代累加，化简就不用了，只要写得有些规律，能看出a，b的系数及一些常数项就行了，我得到的是整数倍的a+整数倍的a+整数倍的c=c这个等式，然后再化简可以得到这样的结果c=r[n]=ax+by，此时就证明扩展欧几里德定理了。
有一种特殊情况，就是当gcd(a,b)=1时，存在ax+by=1，x,y存在唯一整数解。
结论（大家都可以记住的）：
a*x+b*y=gcd（a，b）x，y一定有整数解，且是唯一的！！
当然如果不好懂得话，可以这样粗略证明:
- 存在唯一的整数 x，y
- 使得 gcd（a，b）=ax+by
– a是gcd的倍数，可设a=i*gcd
– b是gcd的倍数，可设b=j*gcd
– 现在要用整数个a,b凑出gcd来
– 为了分析方便，不妨设a>b
– 不难看出：a-b可被表示出来，且它也是gcd的倍数
– 因此gcd(a,b)=gcd(b,a-b)=gcd(a,a-b)
– 实际上如果a=n个b+余数，则可以把n个b都减去
– 再怎么减，都是gcd的倍数
– 当n足够大时：a-nb=a mod b
– 因此gcd(a,b)=gcd(b,a mod b)
– 欧几里德定理证明结束
– 从上边证明过程可以看出a-b,a-2b,a-3b,……a-nb都可以被表示出来，且x,y都是整数解
– 当n足够大时：a-nb=a mod b
– 即 a mod b可被表示出来，且x,y为整数解
– gcd(a,b)=gcd(b,a mod b)等价，且x,y都为整数解
– 相同子问题
– 最终gcd可以被表示出来
这种题考的就是数学知识！！！表示无语！！
