欧几里德算法，扩展算法

欧几里德算法又称辗转相除法，用于计算两个整数a,b的最大公约数。

公式表述

gcd(a,b)=gcd(b,a mod b)

扩展算法

对于不完全为 0 的非负整数 a，b，gcd（a，b）表示 a，b 的最大公约数，必然

存在整数对 x，y ，使得 gcd（a，b）=ax+by。