一行代码实现最大公约数模板

数论有如下性质
c能整除a也能整除b
则c能整除x1a+x2b x1和x2是前面系数
现在证明 (a,b)最大公约数=(b,a%b)最大公约数
证明如下
a%b = a-cb c=a整除b
用gcd表示两个数最大公数
则gcd(a,b)=gcd(b,a-cb)
已知(a,b)中每个约数都能被a,b整数 则由数论性值 可以推出每个约数也能被a-cb整除
(b,a-cb)中每个约数能被b,a-cb整数 那也能被a-cb+c*b整除 由数论性值得到
则可以推左边每个约数=右边每个约数 所以(a,b)最大公约数=(b,a%b)最大公约数

现在一行代码实现最大公约数求法:

#include<iostream>
using namespace std;
int gcd(int a,int b){
	return b?gcd(b,a%b):a;//如果b不为0 继续求gcd(b,a%b) 反之则返回a 
}
int main(){
	int n1 = 100;//数1 
	int n2 = 30;//数2 
	cout<<gcd(n1,n2);
	return 0;
}