【阶段1】【定理证明】辗转相除法极简单证明

辗转相除法用法：

          用较大数除以较小数，再用出现的余数（第一余数）去除除数，再用出现的余数（第二余数）去除第一余数，如此反复，直到最后余数是0为止。如果是求两个数的最大公约数，那么最后的除数就是这两个数的最大公约数。 （来自360百科）

例子：求两个正数8251和6105的最大公因数。
解：8251 /  6105 ＝1……2146
6105  /   2146＝2……1813
2146  /  1813＝1……333
1813  /   333＝5……148
333  /  148＝2……37
148  /  37＝4……0
则37为8251与6105的最大公因数。

证明如下：

设我们要求A，B的最大公约数C。（A为较大数，B为较小数）

则有，A|C   B|C  （定义  |   的意思是A/C=#@￥！#……0，即能被整除）

A/B=K……D  转化一下就有：A=BK+D

观察A=BK+D这个式子我们发现，BK|C（因为B|C），A|C即 (BK+D)|C  所以D|C

因此，两个数的最大公约数，等于较大数除以较小数的余数与较小数的最大公约数

换句话说，求B和D的最大公约数，等价于求A、B的最大公约数

所以我们能在数字相除还有余数的时候不断地将问题等价，最后得解

c++代码

inline ll gcd(ll x,ll y)//xd，yx 
{
	if(x%y==0)return y;
	else return gcd(y,x%y);
}