ACM_欧几里得(GCD) 扩展欧几里得(EXGCD)

引言

欧几里得算法: 又叫辗转相除法, 用于计算两个数的最大公约数, 在遇到需要算最大公约数, 以及下面的扩展欧几里得算法都会用到
本文将以:
1.代码
2.证明
3.其他
介绍欧几里得算法
扩展欧几里得算法 : ax + by = c 的满足条件的x, y 的解得一种算法
本文将以:
1.代码
2.证明
3.过程总结
4.其他
的方式介绍扩展欧几里得

欧几里得算法

欧几里得算法用来求最大公约数, 一般写成gcd : greatest common divisor
1.代码如下 :

输出3
主体部分就是一个递归;
2.证明 :
第一步: 证明一个数是a, b 的公约数, 那么这个数也是 b, a%b的公约数,.(为什么是b, a%b呢, 因为递归的下一步就是求这两个数的公约数) PS这里还不一定是最大公约数, 也可以反过来一个数是b, a%b的公约数, 那么这个数也是a b的公约数也可以类似证明(需要一点点的变通)
证明思路:
已知a % g == 0, b % g == 0 只需要证明 b % g == 0 并且 (a % b) % g == 0 就可以了;
过程:
假设gcd (a, b) = g, 说明a % g ==0, b % g == 0;
a % b = a - k*b; 而a % g == 0 && b % g == 0 所以 (a - k * b) % g == 0 (同模定理可百度)